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

Jump to solvers results

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-sporttournament32.opb
MD5SUM2c087d749e90bc6bd30965d7d10eb2ac
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-153
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables0
Total number of constraints0
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint-1
Maximum length of a constraint0
Number of terms in the objective function 1286
Biggest coefficient in the objective function 2
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 1378
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1378
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)960
Sum of products size (including duplicates)1920
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)4119435SAT (TO)-153 1800.02 1800.3
Sat4j PB 2.3.6 Res+CP PB16 (complete)4119433SAT (TO)-150 1800.03 898.867
Sat4j PB 2.3.6 Resolution PB16 (complete)4119434SAT (TO)-126 1804.16 1834.86
toysat 2016-05-02 (complete)4119432? (TO) 1800.05 1800.51

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: -153
Solution found:
x497 x1 x209 x498 x243 -x499 -x500 -x501 x2 -x107 -x502 -x503 -x504 x505 x3 x86 -x506 -x507 -x508 -x509 x4 -x510 -x511 -x512 -x513 -x5 -x63
-x514 x135 -x515 -x259 -x516 -x517 x6 -x31 x518 x37 x519 x520 -x521 -x7 -x11 -x522 x17 -x523 -x524 -x525 -x8 -x87 -x526 x110 -x527 -x528
-x297 -x529 -x9 x164 -x530 x229 -x531 -x263 -x532 x533 x10 x26 -x534 -x47 x535 x536 -x537 x108 -x538 -x539 -x540 -x12 x193 -x541 x196 -x542
-x302 -x543 -x544 x13 -x91 -x545 -x270 -x546 -x547 -x548 x14 -x24 -x549 -x246 -x550 -x15 -x114 -x551 x143 -x552 -x309 -x553 -x554 -x16 -x128
-x555 -x155 -x556 -x288 -x557 -x558 -x258 -x559 -x560 -x561 -x18 -x68 -x562 -x144 -x563 x169 -x564 -x565 x19 -x35 -x566 x567 x20 x100 x568
x185 -x569 -x249 -x570 -x571 -x21 x191 -x572 x296 -x573 -x574 -x575 x22 -x576 -x170 -x577 -x202 -x578 -x579 x23 -x580 -x70 -x581 -x582 -x583
x25 -x584 x57 -x585 x123 -x586 -x45 x587 x80 -x588 -x214 x589 x217 -x590 x27 -x591 -x203 -x592 -x235 -x593 x594 x28 x42 -x595 -x93 -x596
-x597 -x598 -x29 x30 -x599 -x44 -x600 x150 -x601 -x602 -x58 -x603 -x183 -x604 -x605 -x606 x32 -x607 -x236 -x608 -x271 -x609 x610 x33 x55
-x611 -x116 -x612 -x613 -x614 x34 -x615 -x56 -x616 -x75 -x617 -x618 x36 -x619 -x324 -x620 -x621 -x154 -x622 -x623 -x624 -x38 -x39 -x625 x49
-x626 x138 -x627 -x628 -x50 -x629 x66 -x630 -x197 -x631 x40 -x632 -x273 -x633 -x310 -x634 -x635 x41 -x636 -x146 -x637 -x638 -x639 -x275
-x640 -x641 -x642 x43 -x643 -x120 -x644 -x645 -x646 -x73 -x647 -x96 -x648 x46 -x649 x284 -x650 -x651 -x652 x48 -x653 -x127 -x654 -x655 -x250
-x656 -x657 -x658 -x51 -x659 -x139 x660 x232 -x661 x52 -x662 -x663 -x664 -x665 -x666 -x667 -x234 -x668 -x669 x53 -x670 -x312 -x671 -x672
-x673 x54 -x674 -x173 -x675 -x676 -x677 -x117 -x678 -x679 -x680 -x681 x148 -x682 -x683 -x94 -x684 -x124 -x685 x59 -x686 -x244 -x687 -x688
-x689 -x60 x61 -x690 -x99 -x691 -x692 x693 x289 -x694 -x695 -x696 x62 -x697 -x698 -x699 -x700 -x88 -x701 -x702 x64 -x703 -x137 -x704 -x705
x706 x65 x67 x707 x112 x708 x268 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 x69 -x717 -x718 -x719 -x205 -x720 -x313 -x721 -x722 -x723
x71 -x72 -x724 -x725 -x726 -x727 -x121 -x728 -x729 -x730 x74 -x731 -x178 -x732 -x733 -x734 -x151 -x735 -x736 x76 -x737 -x285 -x738 -x739
-x77 -x78 -x740 x182 -x741 -x79 -x742 x181 -x743 -x184 -x744 x81 -x745 -x746 x747 x216 -x748 -x749 -x750 -x751 -x752 -x753 -x82 -x754 -x755
-x756 -x757 x83 -x758 -x759 -x760 -x761 x84 -x222 -x762 -x763 -x764 -x765 x85 -x766 -x767 -x768 -x769 -x106 x770 x109 -x771 -x772 -x773
-x774 -x89 -x775 -x776 -x777 -x778 -x262 -x779 -x90 -x780 -x781 -x782 -x783 x92 -x784 -x785 -x786 -x238 -x787 -x274 -x788 -x317 -x789 -x790
-x95 -x791 x210 -x792 -x793 -x149 -x794 x180 -x795 -x796 -x97 -x797 -x325 -x798 -x799 x98 -x800 -x801 x213 -x802 x803 x101 x804 x251 -x805
x806 x103 x807 x219 -x808 -x809 -x102 -x810 -x811 -x812 -x813 -x814 -x815 -x816 x104 -x132 x817 -x818 -x819 x820 x105 -x821 -x822 -x823
-x824 -x825 -x826 -x827 -x134 -x828 -x829 x830 x224 -x831 -x111 x832 -x833 -x834 -x835 -x836 -x301 x837 x227 x838 x267 -x839 -x840 -x113
-x841 -x842 -x843 -x844 x115 -x845 -x846 -x847 -x237 -x848 -x277 -x849 -x118 -x850 -x851 x119 -x852 -x278 -x853 -x854 -x855 -x856 x319 -x857
-x858 -x859 -x179 -x860 -x861 -x862 -x241 -x863 -x122 -x864 -x212 -x865 -x323 -x866 -x867 -x868 -x869 x125 -x870 -x871 -x872 x126 -x873
-x874 x248 -x875 -x876 -x129 -x877 -x290 -x878 -x879 x131 -x880 -x253 -x881 -x882 -x130 -x883 -x884 -x885 -x886 -x887 -x888 -x889 x133 -x890
-x220 -x891 -x892 -x893 -x894 -x895 x136 -x896 -x897 -x898 -x899 -x900 -x901 -x902 x163 -x903 x264 -x904 -x140 -x905 -x906 x231 -x907 -x908
-x909 -x228 -x910 -x911 -x912 -x141 -x142 -x913 -x305 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 x145 -x922 -x923 -x924 -x316 -x925
-x926 -x147 -x927 -x928 x280 -x929 -x930 -x931 -x211 -x932 -x933 -x934 -x935 x282 -x936 -x937 -x938 -x245 -x939 x152 -x940 -x941 -x153 -x942
x287 -x943 -x215 -x944 x286 -x945 -x156 -x946 -x947 x158 -x948 -x292 -x949 -x950 -x157 -x951 -x952 -x953 -x954 -x955 -x956 -x957 x159 -x161
-x958 -x254 -x959 -x960 -x961 -x160 x162 -x962 -x257 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 x974 x165 x198 -x975
-x976 -x977 x978 x166 -x979 -x265 -x980 -x981 -x982 x167 -x168 x983 -x984 -x985 -x986 -x987 -x988 -x989 -x272 -x990 -x991 -x172 -x992 x171
-x993 -x994 -x995 -x996 -x174 -x997 -x998 -x175 -x999 -x1000 -x1001 x276 -x1002 -x1003 x240 -x1004 -x1005 -x176 -x1006 x239 -x1007 -x1008
x1009 x177 x242 x1010 -x1011 -x1012 -x1013 -x1014 -x1015 x321 -x1016 x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x186
x1026 x187 -x1027 -x1028 -x1029 -x1030 -x1031 -x189 -x1032 -x1033 x188 -x291 x1034 x294 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x190
-x295 -x1041 -x1042 -x1043 x1044 -x1045 x192 -x194 -x1046 -x1047 -x1048 x1049 x195 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057
-x1058 -x1059 -x303 -x1060 x1061 -x1062 x1063 x199 x200 x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x201 x311 -x1071 -x1072 -x1073
-x1074 -x1075 -x1076 x204 -x1077 -x206 -x1078 -x1079 -x1080 -x207 -x1081 -x1082 -x1083 x315 -x1084 -x1085 x208 -x1086 x1087 -x1088 -x1089
x1090 -x1091 -x283 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 x1106 x218 -x1107
-x1108 -x1109 -x1110 x1111 x252 x1112 x255 -x1113 -x1114 -x1115 x1116 x221 x223 x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124
-x1125 -x1126 -x1127 x1128 x225 x226 -x1129 -x260 -x1130 -x1131 -x1132 -x1133 -x1134 x1135 x230 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141
-x1142 -x1143 -x1144 -x1145 x1146 x233 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 x314 -x1157 -x1158 -x1159
-x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 x322 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 x247 -x1176 -x1177
-x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 x256 x1193 -x1194 -x1195 -x1196
-x1197 -x1198 -x1199 -x1200 -x1201 -x299 -x1202 -x1203 -x1204 x261 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 x1214 x266
-x1215 -x1216 -x1217 -x1218 -x1219 -x1220 x1221 x269 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233
-x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 x279 -x1241 -x1242 -x281 -x1243 x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251
x1252 x326 -x1253 -x1254 -x1255 x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 x293 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270
-x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 x298 -x1280 -x1281 -x1282 -x1283 x300 -x1284 -x1285 -x1286 -x1287 -x1288
-x1289 -x1290 -x1291 -x1292 x304 -x1293 -x1294 -x306 -x1295 -x1296 -x1297 -x1298 x307 -x1299 -x1300 x1301 x308 -x1302 -x1303 -x1304 -x1305
-x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 x318 -x1320 -x320 -x1321 -x1322 -x1323
-x1324 -x1325 x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 x1338 x1339 -x1340 -x1341 -x1342 -x1343
-x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363
-x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383
-x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403
-x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423
-x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443
-x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x332 -x342 -x350 -x373 -x374 -x341 -x382 -x335
-x388 -x389 x336 x337 -x362 -x396 -x376 x344 x345 -x351 -x365 -x408 -x409 -x416 -x368 -x413 -x421 -x423 -x356 -x428 -x429 -x433 -x435 -x359
-x411 -x441 -x371 -x383 -x417 -x434 -x443 -x447 -x380 -x458 -x328 -x407 -x399 -x453 -x327 -x410 -x430 -x455 -x386 -x450 -x338 -x363 -x445
-x469 -x426 -x375 -x391 -x460 -x446 -x400 -x402 -x329 -x470 -x346 -x444 -x394 -x370 -x372 -x468 -x358 -x381 -x333 -x403 -x347 -x437 -x471
-x385 -x401 -x473 -x393 -x456 -x475 -x464 -x387 -x412 -x360 -x439 -x432 -x340 -x419 -x378 -x477 -x422 -x379 -x331 -x367 -x330 -x463 -x478
-x459 -x395 -x334 -x405 -x440 -x479 -x414 -x352 -x366 -x480 -x481 -x482 -x474 -x355 -x442 -x483 -x452 -x424 -x431 -x404 -x484 -x398 -x485
-x476 -x406 -x427 -x364 -x487 -x392 -x488 -x448 -x449 -x369 -x397 -x436 -x491 -x390 -x472 -x420 -x377 -x467 -x354 x493 -x357 -x425 -x494
-x492 -x349 -x415 -x384 -x466 -x454 -x462 -x495 -x339 -x461 -x343 -x457 -x490 -x348 -x465 -x451 -x418 -x486 -x489 x496 -x438 -x353 -x361