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

Result page for benchmark
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_60_5.opb

Jump to solvers results

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_60_5.opb
MD5SUM13c8aeb5c21aab422ad1cf9309500df6
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-43
Best CPU time to get the best result obtained on this benchmark1797.29
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -40
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)75000
Sum of products size (including duplicates)150000
Number of different products37500
Sum of products size75000

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjective functionCPU timeWall clock time
SCIP spx E_2 2011-06-10 (fixed) (complete)3488638SAT-43 1797.29 1797.23
SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete)3450718SAT (TO)-42 1801.24 1801.19
clasp 2.0-R4191-patched (fixed) (complete)3491951SAT (TO)-33 1800.04 1800.01
clasp 2.0-R4191 [DEPRECATED] (complete)3469460SAT (TO)-33 1800.07 1800.03
bsolo 3.2 (complete)3462826SAT-32 1798.04 1798.02
Sat4j CuttingPlanes 2.3.0 (complete)3456230SAT (TO)-30 1800.3 1796.52
Sat4j Res//CP 2.3.0 (complete)3454038SAT (TO)-28 1800.37 905.791
Sat4j Resolution 2.3.0 (complete)3458422SAT (TO)-21 1800.21 1798.49
MinisatID 2.4.8 [DEPRECATED] (complete)3464486? (TO)-26 1800.08 1800.03
MinisatID 2.4.8-gmp [DEPRECATED] (complete)3466146? (TO)-20 1800.09 1802.04
MinisatID 2.5.2 (fixed) (complete)3490359? (exit code) 0.000999 0.00568291
MinisatID 2.5.2-gmp (fixed) (complete)3496459? (exit code) 0.001999 0.00602212
borg pb-opt-11.04.03 (complete)3481575? (MO) 706.21 699.598
SCIP spx 2 2011-06-10 (fixed) (complete)3485196? (TO) 1800.09 1800.03
SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete)3452378? (TO) 1802.09 1802.04

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: -43
Solution found:
-x645 -x770 -x684 -x782 x902 -x761 -x808 -x657 x929 x974 -x885 -x893 x629 -x812 -x631 -x757 -x825 -x819 -x773 -x686 -x842 -x517 -x994 -x707
x855 -x621 x986 -x675 -x655 -x671 x957 -x850 -x775 -x824 -x530 -x741 -x925 -x873 -x703 -x697 -x588 -x557 -x784 -x973 -x894 -x927 -x858 -x943
-x918 -x876 -x988 -x793 -x641 -x837 -x587 -x1000 -x971 x831 -x947 x909 -x510 -x828 -x690 -x789 -x601 -x667 -x663 -x905 x985 -x678 -x571
-x907 -x681 x993 -x951 -x783 -x632 -x614 -x605 -x689 -x942 -x880 -x845 -x654 -x668 -x995 -x896 -x891 -x772 -x711 -x670 -x656 -x644 x584
-x549 -x524 -x823 -x563 -x794 -x623 -x683 x967 -x900 -x877 -x810 x776 x763 -x818 -x964 -x892 -x848 -x814 x712 -x693 -x661 -x582 -x916 -x796
-x976 x749 -x843 -x930 -x834 -x750 -x600 -x700 -x948 -x701 x977 -x875 -x694 -x760 -x889 -x640 -x950 -x739 -x735 -x706 -x685 -x679 -x522
-x512 -x924 -x744 -x769 -x660 -x748 -x962 -x955 -x833 -x642 -x729 -x546 -x966 -x785 -x698 -x786 -x759 -x903 -x604 -x983 -x865 -x771 -x826
-x932 -x982 -x913 -x906 -x898 -x846 -x827 -x805 -x791 -x737 -x731 -x730 -x722 -x708 -x691 -x687 x674 -x662 -x630 -x576 -x541 -x803 -x838
-x853 -x532 -x753 x802 -x965 -x665 -x599 -x696 -x790 -x840 -x778 -x801 -x720 -x734 -x864 -x984 -x960 -x768 -x854 -x958 x589 -x615 -x836
-x953 -x969 -x952 -x933 -x910 -x878 -x872 -x859 -x816 -x767 x755 -x752 -x743 -x738 -x733 -x713 -x704 -x669 -x648 -x637 -x606 -x597 -x575
-x567 -x548 -x539 -x523 -x513 -x505 -x883 -x881 -x540 -x917 -x970 -x609 -x914 x946 -x959 -x920 -x931 -x725 -x981 -x718 -x835 -x806 -x634
-x811 -x534 x923 -x649 -x787 -x919 -x688 -x746 -x651 -x912 -x756 -x857 -x561 -x503 -x999 -x939 -x936 -x890 -x860 -x852 -x798 -x797 -x780
-x740 -x732 -x721 -x705 -x695 -x682 -x677 -x618 -x613 -x562 -x560 x509 -x992 -x639 -x558 -x709 -x926 -x991 -x518 -x569 -x908 -x652 -x886
-x822 -x899 -x751 -x516 -x820 x764 -x867 -x566 -x578 -x716 -x692 -x815 -x570 x765 -x944 -x545 x998 -x626 -x956 -x636 -x542 -x622 -x635 -x564
-x619 -x602 -x742 -x978 x938 x996 -x868 -x552 -x581 -x502 -x997 -x945 -x863 x856 -x841 -x839 -x830 -x788 -x758 -x754 x710 -x643 x638 -x625
-x612 -x607 -x603 -x596 -x593 -x577 -x559 x556 -x550 -x547 -x544 -x535 -x529 -x526 -x519 -x514 -x627 -x715 -x922 -x568 -x508 -x533 -x598
-x897 -x979 -x504 x870 x963 -x525 -x937 x813 -x747 -x610 -x551 -x592 -x871 -x807 -x520 -x515 -x647 -x844 -x579 -x719 -x659 -x590 -x792 -x935
-x653 -x887 -x595 -x664 -x980 -x799 x779 -x975 -x762 -x804 -x888 -x745 -x591 -x851 -x940 -x869 -x501 -x972 x949 -x904 -x901 x895 -x879 -x821
-x817 -x795 -x781 -x726 -x673 -x672 -x658 -x646 -x620 -x617 -x583 -x580 -x565 -x555 -x537 -x536 -x531 -x528 -x507 -x934 -x628 -x717 -x543
-x990 -x928 -x724 -x586 -x554 -x989 -x774 -x723 -x616 -x594 -x702 -x608 -x624 -x736 -x666 -x714 -x538 -x954 -x866 -x511 -x572 -x941 -x862
-x800 -x809 -x585 -x728 -x847 -x968 -x553 -x884 -x961 x832 -x874 -x680 -x506 -x915 -x987 x829 -x727 -x521 -x911 -x699 -x861 -x849 -x527
-x882 -x574 -x650 x921 -x633 -x777 -x573 -x611 -x766 -x676 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488
-x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465
-x464 -x463 -x462 -x461 -x460 -x459 x458 -x457 -x456 -x455 -x454 -x453 x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442
-x441 -x440 -x439 -x438 -x437 -x436 -x435 x434 -x433 -x432 x431 x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 x419 x418
-x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 x404 -x403 -x402 x401 -x400 -x399 -x398 -x397 x396 -x395 -x394
-x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 x381 -x380 -x379 -x378 x377 -x376 x375 -x374 x373 x372 -x371 -x370
x369 -x368 -x367 -x366 x365 x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 x353 -x352 -x351 -x350 -x349 -x348 x347 -x346
-x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323
-x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 x310 -x309 -x308 -x307 -x306 x305 -x304 -x303 -x302 -x301 -x300
-x299 x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 x287 -x286 -x285 -x284 -x283 -x282 x281 -x280 -x279 -x278 x277 -x276
-x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 x267 -x266 -x265 -x264 -x263 x262 -x261 -x260 -x259 -x258 x257 -x256 -x255 -x254 x253 -x252
-x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 x234 -x233 x232 -x231 -x230 x229 -x228
-x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 x211 -x210 -x209 x208 -x207 -x206 -x205 -x204
-x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181
-x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158
-x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135
-x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112
-x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87
-x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59
-x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31
-x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1