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 CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.084986
Has Objective FunctionNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables400
Total number of constraints602
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 40
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)4984
Sum of products size (including duplicates)9968
Number of different products2492
Sum of products size4984

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
toysat 2012-05-17 (complete)3706143SAT 0.084986 0.0864439
toysat 2012-06-01 (complete)3724516SAT 0.084986 0.086113
PB10: pb_cplex 2010-06-29 (complete)3737859SAT 0.394939 0.397845
PB11: borg pb-dec-11.04.03 (complete)3737861SAT 0.683895 0.778287
npSolver inc-topDown (fixed) (complete)3746584SAT 0.764883 0.767037
npSolver inc-topdown-quickBound (fixed) (complete)3751372SAT 0.791879 0.798017
npSolver inc (fixed) (complete)3748180SAT 0.793878 0.796646
npSolver 1.0 (fixed) (complete)3749776SAT 0.836872 0.837985
PB07: minisat+ 1.14 (complete)3721764SAT 1.2838 1.2877
SAT4J PB specific settings 2.3.2 snapshot (complete)3710071SAT 1.84172 0.811454
SCIP spx standard SCIP with SoPlex standard fixed (complete)3693055SAT 3.79142 3.79343
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3737856SAT 3.90441 3.14415
PB09: bsolo 3.1 (complete)3737854SAT 5.02024 5.02088
PB09: SCIPspx SCIP with SoPLEX 1.4.1(24.4.2009) (complete)3737855SAT 9.91949 9.93105
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3688802SAT 12.862 5.40879
SCIP spx SCIP with SoPlex fixed (complete)3690723SAT 14.3068 14.3097
PB11: Sat4j Res//CP 2.3.0 (complete)3737862SAT 17.0314 7.96589
PB10: SCIPspx SCIP with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3737860SAT 17.7953 17.8059
SCIP spx E SCIP Exp with SoPlex fixed (complete)3691889SAT 19.0921 19.1018
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3737858SAT 22.7215 11.6942
PB07: PB-clasp 2007-04-10 (complete)3737851SAT 38.9391 38.9199
bsolo 3.2 (complete)3707725SAT 61.6506 61.6614
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3737863SAT 71.3711 71.3868
pwbo 2.0 (complete)3704578SAT 102.86 102.969
clasp 2.0.6-R5325 (dec) (complete)3708891SAT 132.301 132.329
wbo 1.72 (complete)3727921SAT 263.587 263.628
wbo 1.7 (complete)3705620SAT 274.497 274.56
pwbo 2.02 (complete)3726879SAT 277.095 277.159
PB07: Pueblo 1.4 (incomplete)3720515SAT 852.979 853.129
PB12: minisatp 1.0-2-g022594c (complete)3722920? 0.004998 0.0074779
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3737853? 0.875866 0.482703
pb2sat 2012-05-19 (complete)3695831? (problem) 0.043992 0.177007
npSolver inc (complete)3699023? (problem) 0.043992 0.195475
npSolver 1.0 (complete)3700619? (problem) 0.043993 0.18317
npSolver inc-topdown-quickBound (complete)3702215? (problem) 0.046992 0.195307
npSolver inc-topDown (complete)3697427? (problem) 0.046992 0.297696
pb2satCp2 2012-05-19 (complete)3694235? (problem) 0.049992 0.560619
PB07: bsolo 3.0.17 (complete)3737852? (TO) 1800.08 1800.51
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3688803? (TO) 1800.54 1777.85
PB10: borg-pb 10.05.30 (complete)3737857No Cert. 1.87571 1.82351

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: 0
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 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258
-x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 x281
-x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304
-x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 -x315 -x316 x317 -x318 -x319 -x320 x321 x322 -x323 -x324 -x325 x326 -x327 -x328
x329 -x330 -x331 -x332 -x333 -x334 x335 -x336 -x337 -x338 x339 -x340 -x341 x342 x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352
-x353 x354 -x355 -x356 -x357 x358 x359 -x360 -x361 -x362 -x363 x364 x365 x366 -x367 -x368 x369 -x370 x371 -x372 x373 -x374 -x375 x376 x377
x378 x379 -x380 x381 -x382 x383 x384 x385 x386 -x387 -x388 -x389 x390 -x391 x392 -x393 -x394 x395 -x396 -x397 -x398 x399 -x400