PB'11 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 benchmark1800.08
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
pwbo 1.1 (complete)3500074SAT (TO)-16384 1800.08 900.026
SCIP spx E_2 2011-06-10 (fixed) (complete)3488909SAT (TO)-16384 1800.11 1800.08
SCIP spx 2 2011-06-10 (fixed) (complete)3485467SAT (TO)-16384 1800.16 1800.11
SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete)3450989SAT (TO)-16384 1800.18 1800.13
SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete)3452649SAT (TO)-16384 1800.18 1800.12
Sat4j CuttingPlanes 2.3.0 (complete)3456679SAT (TO)-16384 1800.22 1795.48
bsolo 3.2 (complete)3463097SAT-14335 1798.01 1797.99
Sat4j Res//CP 2.3.0 (complete)3454487SAT (TO)-12288 1800.25 1069.92
clasp 2.0-R4191 (complete)3468204SAT (TO)-6144 1800.08 1800.02
MinisatID 2.4.8 [DEPRECATED] (complete)3464757? (TO)-16383 1800.07 1800.01
MinisatID 2.4.8-gmp [DEPRECATED] (complete)3466595? (TO)-16383 1800.11 1800.12
MinisatID 2.5.2 (fixed) (complete)3490630? (TO)-15359 1800.07 1800.01
MinisatID 2.5.2-gmp (fixed) (complete)3496908? (TO)-14335 1800.06 1802.01
borg pb-opt-11.04.03 (complete)3481821? (MO) 204.23 218.982
wbo 1.6 (complete)3460885? (TO) 1800.07 1800.16
Sat4j Resolution 2.3.0 (complete)3458871? (TO) 1800.1 1795.74

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