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-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark0.004998
Has Objective FunctionYES
(Un)Satisfiability was provedYES
Best value of the objective function 8
Optimality of the best value was proved YES
Number of variables716
Total number of constraints1923
Number of constraints which are clauses1923
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint31
Number of terms in the objective function 331
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 331
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 331
Number of bits of the biggest sum of numbers9
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
wbo 1.72 (complete)3727617OPT8 0.004998 0.0148501
wbo 1.7 (complete)3705316OPT8 0.005998 0.015436
pwbo 2.02 (complete)3726096OPT8 0.006998 0.017387
pwbo 2.0 (complete)3703795OPT8 0.006998 0.01751
PB10: pb_cplex 2010-06-29 (complete)3735903OPT8 0.040993 0.044251
PB12: minisatp 1.0-2-g022594c (complete)3723719OPT8 0.05999 0.063947
PB07: bsolo 3.0.17 (complete)3735897OPT8 0.064989 0.0720389
SCIP spx standard SCIP with SoPlex standard fixed (complete)3693438OPT8 0.073988 0.074535
PB10: SCIPspx SCIP with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3735904OPT8 0.113981 0.116388
SCIP spx SCIP with SoPlex fixed (complete)3691106OPT8 0.114981 0.115859
npSolver inc (complete)3699822OPT8 0.116981 0.123356
SCIP spx E SCIP Exp with SoPlex fixed (complete)3692272OPT8 0.116982 0.118357
PB09: SCIPspx SCIP with SoPLEX 1.4.1(24.4.2009) (complete)3735900OPT8 0.119981 0.120773
npSolver 1.0 (fixed) (complete)3750575OPT8 0.136978 0.140196
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3735906OPT8 0.136978 0.1384
pb2sat 2012-05-19 (complete)3696630OPT8 0.155975 0.160181
PB09: bsolo 3.1 (complete)3735899OPT8 0.163974 0.164591
bsolo 3.2 (complete)3708108OPT8 0.163974 0.166294
PB07: minisat+ 1.14 (complete)3721585OPT8 0.178972 0.179303
npSolver 1.0 (complete)3701418OPT8 0.196969 0.19762
pb2satCp2 2012-05-19 (complete)3695034OPT8 0.232964 0.242329
PB07: Pueblo 1.4 (incomplete)3720344OPT8 0.32695 0.330006
clasp 2.0.6-R5325 (opt) (complete)3709274OPT8 2.30665 2.30795
SAT4J PB specific settings 2.3.2 snapshot (complete)3710870OPT8 3.88241 2.74965
PB11: Sat4j Res//CP 2.3.0 (complete)3735905OPT8 4.75728 3.8392
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3735898OPT8 6.16306 5.68962
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3735901OPT8 8.09277 7.513
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3688445OPT8 8.37473 6.60982
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3735902OPT8 8.43472 7.33813
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3688444OPT8 9.09262 5.91632
PB07: PB-clasp 2007-04-10 (complete)3735896OPT8 11.3973 11.4423
toysat 2012-05-17 (complete)3706942OPT8 11.6342 11.6363
toysat 2012-06-01 (complete)3725315OPT8 11.9122 11.9178
npSolver inc (fixed) (complete)3748979? (problem) 0.037993 0.104366
npSolver inc-topDown (fixed) (complete)3747383? (problem) 0.039993 0.128245
npSolver inc-topdown-quickBound (fixed) (complete)3752171? (problem) 0.039993 0.130331
npSolver inc-topDown (complete)3698226? (problem) 0.045992 0.141117
npSolver inc-topdown-quickBound (complete)3703014? (problem) 0.049992 0.154434

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: 8
Solution found:
x85 -x87 -x89 -x91 -x93 -x95 -x97 -x99 -x101 -x103 -x105 -x107 -x109 -x111 -x113 -x115 -x117 -x119 -x121 -x123 -x125 -x127 -x129 -x131 -x132
-x134 -x136 -x138 -x140 -x142 -x144 -x146 -x148 -x150 x152 -x153 -x155 -x157 -x159 -x161 -x163 -x165 -x167 -x169 -x171 -x173 -x175 -x177
-x179 -x181 -x183 -x185 -x187 -x189 -x191 -x193 -x195 -x196 -x198 -x200 -x202 -x204 -x206 -x208 -x210 -x212 x213 -x215 -x217 -x219 -x221
-x223 -x225 -x227 -x229 -x231 -x233 -x235 -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x263 -x265 -x267
-x269 -x271 -x273 -x275 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 -x311 x313
-x315 -x317 -x319 -x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355 -x357 -x358
-x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x403
-x405 -x407 -x409 -x411 -x413 x414 -x416 -x418 -x420 -x422 -x423 -x425 -x427 -x429 -x431 x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446
-x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x463 -x465 -x467 x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x485 -x487 -x489
-x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534
-x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x574 -x576 -x578
-x580 -x582 -x583 -x584 -x586 -x588 -x590 -x592 -x593 -x594 -x595 -x597 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618
-x620 -x622 -x623 -x625 -x627 -x629 -x630 -x632 -x634 -x636 -x637 x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660
-x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x679 -x681 -x683 -x685 -x687 -x689 -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x704
-x705 -x707 -x709 -x711 -x713 -x714 -x716 x84 -x86 -x88 -x90 -x92 -x94 -x96 -x98 -x100 -x102 -x104 -x106 -x108 -x110 -x112 -x114 -x116 -x118
-x120 -x122 -x124 -x126 -x128 -x130 -x133 -x135 -x137 -x139 -x141 -x143 -x145 x1 -x147 -x149 x151 -x154 -x156 -x158 -x160 -x162 -x164 -x166
-x168 -x170 -x172 -x174 -x2 -x176 -x178 -x180 -x182 -x184 -x186 -x188 -x190 -x192 -x194 -x197 -x199 -x201 x3 -x203 -x205 -x207 -x209 -x211
-x214 -x4 -x216 -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 -x234 -x236 -x238 -x240 -x5 -x242 -x244 -x246 -x248 -x250 -x252 -x254 -x256
-x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 -x292 -x294 -x296 -x298 -x300 -x302
-x304 -x306 -x308 -x310 x312 -x6 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x7 -x344 -x346
-x348 -x350 -x352 -x354 -x356 -x359 -x361 -x363 -x365 -x8 -x367 -x369 -x371 -x373 -x375 -x377 -x9 -x379 -x381 -x383 -x385 -x387 -x389 -x391
-x393 -x395 -x397 -x10 -x399 -x401 -x404 -x406 x11 -x408 -x410 -x412 -x415 -x417 -x419 -x12 -x421 -x424 -x426 -x428 x13 -x430 -x433 -x14
-x435 -x437 -x439 -x441 -x443 -x445 -x447 -x449 -x451 -x15 -x453 -x455 -x457 -x459 -x16 -x461 -x464 x17 -x466 -x469 -x471 -x473 -x475 -x477
-x479 -x481 -x483 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525
-x18 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x19 -x547 -x549 -x551 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x20
-x570 -x572 -x21 -x575 -x577 -x579 -x581 -x585 -x587 -x589 -x22 -x591 -x23 -x24 -x596 -x25 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x613
-x615 -x617 -x619 -x26 -x621 -x27 -x28 -x624 -x626 -x29 -x628 -x631 -x633 -x635 -x30 -x31 -x32 x33 x34 x35 x36 -x37 -x639 -x641 -x643 -x645
-x647 x38 -x649 -x651 -x653 -x39 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x40 x41 x42 -x43 x44 -x671 -x45 -x673 -x675 -x46 -x677
-x47 -x680 -x682 -x684 -x686 -x688 -x48 -x49 -x50 -x51 -x691 -x693 -x52 -x53 x54 x55 x56 x57 -x58 -x695 -x697 -x699 -x701 -x703 x59 -x60 x61
x62 -x706 -x708 -x710 -x712 -x63 x64 x65 -x66 -x67 -x68 x69 x70 x71 -x72 x73 -x74 -x715 -x75 x76 x77 x78 -x79 x80 x81 x82 x83