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-edgecross24-057.opb

Jump to solvers results

General information on the benchmark

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