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

Jump to solvers results

General information on the benchmark

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