PB'12 competition: satisfaction and optimization track: solvers results per benchmarks

Result page for benchmark

Jump to solvers results

General information on the benchmark

Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark34
Best CPU time to get the best result obtained on this benchmark0.002998
Has Objective FunctionYES
(Un)Satisfiability was provedYES
Best value of the objective function 34
Optimality of the best value was proved YES
Number of variables240
Total number of constraints646
Number of constraints which are clauses634
Number of constraints which are cardinality constraints (but not clauses)12
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint20
Number of terms in the objective function 240
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 240
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 240
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjective functionCPU timeWall clock time
pwbo 2.0 (complete)3703535OPT34 0.002998 0.014992
wbo 1.72 (complete)3727357OPT34 0.002998 0.0144451
wbo 1.7 (complete)3705056OPT34 0.003998 0.014597
PB09: bsolo 3.1 (complete)3732199OPT34 0.013997 0.0142149
bsolo 3.2 (complete)3707848OPT34 0.013997 0.0153491
PB10: pb_cplex 2010-06-29 (complete)3732203OPT34 0.018996 0.020825
clasp 2.0.6-R5325 (opt) (complete)3709014OPT34 0.019996 0.0212151
PB07: bsolo 3.0.17 (complete)3732197OPT34 0.019996 0.0229389
pwbo 2.02 (complete)3725836OPT34 0.022996 0.0151239
PB10: SCIPspx SCIP with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3732204OPT34 0.034994 0.0362351
PB07: Pueblo 1.4 (incomplete)3720050OPT34 0.035994 0.0362249
PB09: SCIPspx SCIP with SoPLEX 1.4.1(24.4.2009) (complete)3732200OPT34 0.037993 0.039399
SCIP spx E SCIP Exp with SoPlex fixed (complete)3692012OPT34 0.039992 0.0419019
SCIP spx SCIP with SoPlex fixed (complete)3690846OPT34 0.039993 0.0417659
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3732206OPT34 0.042992 0.0437459
SCIP spx standard SCIP with SoPlex standard fixed (complete)3693178OPT34 0.047992 0.0497201
pb2satCp2 2012-05-19 (complete)3694774OPT34 0.05799 0.0579881
npSolver inc-topdown-quickBound (fixed) (complete)3751911OPT34 0.069989 0.0733091
npSolver inc-topDown (fixed) (complete)3747123OPT34 0.070988 0.070705
npSolver inc-topdown-quickBound (complete)3702754OPT34 0.071988 0.0737851
npSolver inc-topDown (complete)3697966OPT34 0.073988 0.0739639
PB12: minisatp 1.0-2-g022594c (complete)3723459OPT34 0.105982 0.107441
PB07: PB-clasp 2007-04-10 (complete)3732196OPT34 0.12498 0.125563
npSolver inc (fixed) (complete)3748719OPT34 0.137978 0.141959
pb2sat 2012-05-19 (complete)3696370OPT34 0.146977 0.151269
npSolver inc (complete)3699562OPT34 0.157975 0.161583
PB07: minisat+ 1.14 (complete)3721220OPT34 0.176972 0.177103
npSolver 1.0 (fixed) (complete)3750315OPT34 0.177972 0.186872
toysat 2012-06-01 (complete)3725055OPT34 0.18997 0.190662
npSolver 1.0 (complete)3701158OPT34 0.199969 0.199953
toysat 2012-05-17 (complete)3706682OPT34 0.202968 0.204616
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3732198OPT34 0.613905 0.329299
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3687715OPT34 0.643901 0.339363
SAT4J PB specific settings 2.3.2 snapshot (complete)3710610OPT34 0.663898 0.351997
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3732201OPT34 0.663898 0.359785
PB11: Sat4j Res//CP 2.3.0 (complete)3732205OPT34 1.24281 1.23774
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3687714OPT34 1.3138 1.23251
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3732202OPT34 1.3338 2.21368

Additionnal information

This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).

objective function: 34
Solution found:
-x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 x30
-x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 x57 -x58 -x59
x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88
-x89 -x90 -x91 -x92 x93 -x94 -x95 x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114
-x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137
-x138 x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 x160 -x161
-x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 x185
-x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 x208
-x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231
-x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240