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