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 benchmark304
Best CPU time to get the best result obtained on this benchmark0.010997
Has Objective FunctionYES
(Un)Satisfiability was provedYES
Best value of the objective function 304
Optimality of the best value was proved YES
Number of variables257
Total number of constraints97
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)97
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint44
Number of terms in the objective function 173
Biggest coefficient in the objective function 100
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 8448
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 100
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 8448
Number of bits of the biggest sum of numbers14
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
PB10: pb_cplex 2010-06-29 (complete)3732973OPT304 0.010997 0.0123411
SCIP spx standard SCIP with SoPlex standard fixed (complete)3693291OPT304 0.016996 0.0175069
PB09: SCIPspx SCIP with SoPLEX 1.4.1(24.4.2009) (complete)3732970OPT304 0.021995 0.0235751
SCIP spx E SCIP Exp with SoPlex fixed (complete)3692125OPT304 0.021996 0.0229471
SCIP spx SCIP with SoPlex fixed (complete)3690959OPT304 0.021996 0.0236641
PB10: SCIPspx SCIP with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3732974OPT304 0.021996 0.0227469
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3732976OPT304 0.028995 0.0295879
PB12: minisatp 1.0-2-g022594c (complete)3723572OPT304 0.134979 0.136053
PB09: bsolo 3.1 (complete)3732969OPT304 0.175972 0.176372
bsolo 3.2 (complete)3707961OPT304 0.191969 0.193469
PB07: minisat+ 1.14 (complete)3721290OPT304 0.536918 0.540271
pb2sat 2012-05-19 (complete)3696483OPT304 0.752885 0.755888
pb2satCp2 2012-05-19 (complete)3694887OPT304 1.03484 1.03919
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3687854OPT304 1.06184 1.70651
PB11: Sat4j Res//CP 2.3.0 (complete)3732975OPT304 1.09283 1.68226
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3732972OPT304 1.17382 3.20312
npSolver 1.0 (fixed) (complete)3750428OPT304 2.03269 2.18423
npSolver 1.0 (complete)3701271OPT304 2.05269 2.06299
wbo 1.7 (complete)3705169OPT304 16.9214 16.9152
wbo 1.72 (complete)3727470OPT304 17.1524 17.1931
pwbo 2.02 (complete)3725949OPT304 29.3185 14.6999
pwbo 2.0 (complete)3703648OPT304 50.2294 25.1961
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3732968SAT304 643.856 638.269
PB07: bsolo 3.0.17 (complete)3732967SAT (TO)304 1800.03 1800.31
clasp 2.0.6-R5325 (opt) (complete)3709127SAT (TO)304 1800.03 1800.31
SAT4J PB specific settings 2.3.2 snapshot (complete)3710723SAT (TO)304 1800.09 1794.16
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3732971SAT (TO)304 1800.4 1794.87
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3687855SAT (TO)305 1800.65 1795.06
PB07: Pueblo 1.4 (incomplete)3720120SAT1432 1783 1783.27
npSolver inc-topdown-quickBound (complete)3702867? (problem) 0.107982 0.237829
npSolver inc (complete)3699675? (problem) 0.107983 0.228163
npSolver inc-topDown (complete)3698079? (problem) 0.108982 0.243821
npSolver inc-topdown-quickBound (fixed) (complete)3752024? (problem) 0.12398 0.218794
npSolver inc (fixed) (complete)3748832? (problem) 0.126979 0.208773
npSolver inc-topDown (fixed) (complete)3747236? (problem) 0.127979 0.244472
PB07: PB-clasp 2007-04-10 (complete)3732966? (TO) 1594.41 1900.02
toysat 2012-06-01 (complete)3725168? (TO) 1800.08 1800.41
toysat 2012-05-17 (complete)3706795? (TO) 1800.11 1800.41

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