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

Jump to solvers results

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-sporttournament36.opb
MD5SUM3b21e15e85ee7a4ec8d93ea9970660a0
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-201
Best CPU time to get the best result obtained on this benchmark1800.1
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 1608
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 1732
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 1732
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)1224
Sum of products size (including duplicates)2448
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)4119331SAT (TO)-201 1800.1 1800.4
Sat4j PB 2.3.6 Res+CP PB16 (complete)4119329SAT (TO)-189 1800.53 897.77
Sat4j PB 2.3.6 Resolution PB16 (complete)4119330SAT (TO)-164 1800.05 1780.14
toysat 2016-05-02 (complete)4119328? (TO) 1800.11 1800.53

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