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

Result page for benchmark
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-opt1217.opb

Jump to solvers results

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-opt1217.opb
MD5SUM0d06ca66c5954e6533e2fcc6f3f13fb8
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-16384
Best CPU time to get the best result obtained on this benchmark1792.69
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -16384
Optimality of the best value was proved NO
Number of variables787
Total number of constraints65
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)48
Number of constraints which are nor clauses,nor cardinality constraints17
Minimum length of a constraint16
Maximum length of a constraint67
Number of terms in the objective function 19
Biggest coefficient in the objective function 262144
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524287
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 393216
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 917503
Number of bits of the biggest sum of numbers20
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
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)2703747SAT-16384 1792.69 1793.24
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver (complete)2665570SAT (TO)-16384 1802.13 1802.6
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)2667000SAT (TO)-16384 1802.13 1802.71
SCIPnone SCIP 1.2.1.2 without any LP solver (complete)2664140SAT (TO)-16383 1802.17 1802.75
PB/CT 0.1 fixed (complete)2682202SAT (TO)-14336 1800.03 1800.51
PB/CT 0.1 (complete)2668608SAT (TO)-14336 1800.05 1800.51
bsolo 3.2 Card (complete)2656544SAT-14335 1798.03 1798.67
SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)2660554SAT (TO)-12288 1800.21 1782.91
bsolo 3.2 Cl (complete)2657469SAT-12287 1798.02 1798.56
pb_cplex 2010-06-29 (complete)2695952? (TO) 1800.04 1715.42
PBPASSolver 2010-06-13 (complete)2674024? (TO) 1800.1 1800.91
wbo 1.4b (fixed) (complete)2680608? (TO) 1800.14 1800.91
SAT4J PB Resolution 2.2.0 2010-05-26 (complete)2659077? (TO) 1800.19 1797.97
SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)2662436? (TO) 1804.07 1060.66
wbo 1.4b (complete)2655965Wrong UNSAT 181.408 181.475

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