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

Result page for benchmark
PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-edgecross20-040.opb

Jump to solvers results

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-edgecross20-040.opb
MD5SUM2c9b1f02b7d0475dfb91a9177b77e35e
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark157
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables381
Total number of constraints4561
Number of constraints which are clauses4560
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 965
Biggest coefficient in the objective function 377
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 2409
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 377
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 2409
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)711
Sum of products size (including duplicates)1422
Number of different products0
Sum of products size0

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjective functionCPU timeWall clock time
minisatp 2012-10-02 git-d91742b (complete)4119607SAT (TO)157 1800.01 1800.3
Sat4j PB 2.3.6 Resolution PB16 (complete)4119606SAT (TO)206 1800.98 1773.34
Sat4j PB 2.3.6 Res+CP PB16 (complete)4119605SAT (TO)227 1800.66 921.154
toysat 2016-05-02 (complete)4119604? (TO) 1800.08 1800.61

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