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

Jump to solvers results

General information on the benchmark

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