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_2.opb

Jump to solvers results

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_60_2.opb
MD5SUM16914dfad82872f4c1ab9b61e8ec867a
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-44
Best CPU time to get the best result obtained on this benchmark1797.39
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -44
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)74976
Sum of products size (including duplicates)149952
Number of different products37488
Sum of products size74976

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjective functionCPU timeWall clock time
SCIP spx E_2 2011-06-10 (fixed) (complete)3488656SAT-44 1797.39 1797.36
SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete)3450736SAT (TO)-44 1800.42 1800.39
clasp 2.0-R4191-patched (fixed) (complete)3491969SAT (TO)-34 1800.06 1800.01
clasp 2.0-R4191 [DEPRECATED] (complete)3469478SAT (TO)-34 1800.11 1800.12
bsolo 3.2 (complete)3462844SAT-33 1798.05 1797.99
Sat4j CuttingPlanes 2.3.0 (complete)3456248SAT (TO)-29 1800.27 1796.19
Sat4j Res//CP 2.3.0 (complete)3454056SAT (TO)-29 1800.3 906.502
Sat4j Resolution 2.3.0 (complete)3458440SAT (TO)-24 1800.13 1798.38
SCIP spx 2 2011-06-10 (fixed) (complete)3485214SAT-8 1797.35 1797.33
MinisatID 2.4.8 [DEPRECATED] (complete)3464504? (TO)-25 1800.07 1800.03
MinisatID 2.4.8-gmp [DEPRECATED] (complete)3466164? (TO)-22 1800.08 1800.14
MinisatID 2.5.2 (fixed) (complete)3490377? (exit code) 0.000999 0.00575209
MinisatID 2.5.2-gmp (fixed) (complete)3496477? (exit code) 0.001999 0.00603894
borg pb-opt-11.04.03 (complete)3481593? (MO) 709.31 703.028
SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete)3452396? (TO) 1802.11 1802.05

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: -44
Solution found:
-x957 -x888 -x825 -x525 -x976 -x912 -x968 -x757 -x654 x880 -x635 -x790 -x992 -x640 -x764 -x715 -x959 x771 -x724 -x701 x671 -x977 -x872 -x684
-x707 -x991 -x962 -x864 -x838 -x993 -x940 -x782 -x527 -x828 -x842 x829 -x883 -x922 x886 -x745 -x536 -x821 -x909 -x1000 -x879 -x541 -x928
-x979 -x808 -x681 -x672 -x667 -x561 -x531 -x935 x908 -x712 -x986 -x980 -x770 -x822 -x759 -x930 -x920 -x834 -x811 -x784 -x750 x970 -x660
-x641 -x716 -x933 x837 -x584 -x877 -x860 -x552 -x895 -x740 -x555 -x943 -x965 -x739 -x614 -x794 -x819 -x753 -x998 -x836 -x682 -x526 -x659
-x695 -x866 -x874 -x575 -x551 -x855 -x896 -x574 -x869 x936 -x735 -x954 -x688 -x605 -x814 -x995 -x964 -x951 -x916 -x859 -x773 -x755 -x726
-x639 -x633 -x577 -x569 -x559 -x987 -x931 -x815 -x683 x919 -x848 -x593 -x626 -x956 -x687 -x609 -x873 -x543 -x572 -x627 -x756 -x616 -x669
-x948 -x871 -x862 -x846 x839 -x795 x751 -x728 x721 -x689 -x604 -x602 -x566 x905 -x881 -x737 -x676 -x917 -x744 x847 -x625 -x852 -x793 -x624
-x850 -x692 -x590 -x595 -x932 -x804 -x981 -x556 -x899 -x675 -x611 -x818 -x511 x958 -x945 x900 -x889 x830 -x806 -x696 -x694 -x685 -x648 -x553
-x537 -x528 -x597 -x777 -x679 -x937 -x521 -x698 -x722 -x796 -x978 -x985 -x853 x947 -x560 -x994 -x890 -x990 -x863 -x565 -x596 -x950 -x643
-x788 -x960 -x533 x619 -x767 -x504 -x925 -x786 -x717 -x703 -x661 -x629 -x623 -x585 -x539 -x509 -x923 -x826 -x513 -x844 x904 -x827 -x772
-x955 -x841 -x927 x749 -x649 -x586 -x857 -x911 -x708 -x677 -x758 -x666 -x902 -x520 -x736 -x601 -x620 -x709 -x545 -x730 -x729 -x939 -x725
-x941 -x914 x975 -x952 x910 -x903 -x901 -x854 -x849 -x845 x813 -x779 -x760 -x754 -x733 -x713 -x663 -x647 -x612 -x607 -x588 -x546 -x523 -x752
-x802 -x615 -x512 -x657 x840 -x600 -x972 -x785 x665 -x893 -x723 -x568 -x571 -x792 -x579 -x732 -x727 -x982 -x632 -x741 -x646 -x706 -x699
-x807 -x817 -x510 -x973 -x823 -x638 -x988 -x831 -x876 -x851 -x532 -x861 -x833 x882 x642 -x502 -x997 -x969 -x953 -x944 -x942 -x921 -x906
-x897 -x894 -x867 -x835 -x820 -x805 -x798 -x781 -x775 -x762 -x678 -x658 -x651 -x621 -x618 -x608 -x603 -x583 -x581 -x563 -x549 -x534 -x529
x524 -x517 -x515 -x505 -x673 -x875 -x589 x907 -x506 -x693 -x690 -x535 -x924 -x598 x984 x812 -x747 -x983 -x578 -x710 x989 -x516 -x519 -x799
-x719 -x809 -x656 -x766 -x870 -x582 -x918 -x652 x938 -x961 -x704 -x885 -x734 -x686 -x705 -x738 -x558 -x763 -x971 -x644 -x518 -x691 -x787
-x769 -x718 -x522 -x544 -x963 -x501 x996 x934 -x926 -x913 -x891 -x884 x856 -x832 -x801 x800 -x780 -x765 -x748 -x743 -x742 -x714 -x702 -x674
-x670 -x664 -x637 -x636 -x634 -x630 -x622 -x617 -x613 -x610 -x599 -x592 -x580 -x554 -x548 -x547 -x542 -x540 -x530 -x508 -x887 -x606 -x949
-x824 -x810 -x967 -x567 -x700 -x946 -x645 -x776 -x591 -x915 -x557 -x966 -x761 -x507 -x929 x668 -x858 -x898 x974 -x878 -x653 -x697 -x662
-x803 -x783 x587 -x514 -x564 -x797 -x631 -x711 x892 x768 -x816 -x570 -x573 -x503 -x731 -x868 -x774 -x655 -x550 -x538 -x594 -x650 -x680 -x843
-x628 -x746 -x778 -x865 -x999 -x562 -x576 -x789 -x720 -x791 -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