PB'09 competition: solvers results per benchmarks

Result page for benchmark
/PURE-SAT/SAT09/CRAFTED/
edgematching/all/em_7_4_9_all.opb

Jump to solvers results

General information on the benchmark

Name/PURE-SAT/SAT09/CRAFTED/
edgematching/all/em_7_4_9_all.opb
MD5SUM9a5d69e530920eef84eb048c2f48d093
Bench CategoryPURE-SAT (instances containing only clauses)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark4.63229
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1677
Total number of constraints40187
Number of constraints which are clauses40187
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 constraint2
Maximum length of a constraint25
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 26
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
bsolo 3.1 cl (complete)1885133SAT 4.63229 4.63596
SAT4J Pseudo CP 2.1.1 (complete)1885125SAT 13.6169 12.0507
pbclasp 2009-04-24 (complete)1885129SAT 27.7358 27.66
bsolo 3.1 pb (complete)1885134SAT 45.2711 45.2895
SAT4J Pseudo Resolution 2.1.1 (complete)1885126SAT 79.9898 78.9563
BoolVar 2009-04-26 (complete)1885130SAT 127.053 127.145
wbo 1.0 (complete)1885131SAT 162.591 162.643
bsolo 3.1 (complete)1885132SAT 1667.09 1667.77
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete)1885128? 1799.11 1799.71
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete)1885127? (TO) 1800.3 1800.8

Additionnal information

This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).

obj: 0
Solution found:
x1 -x105 -x934 -x1038 -x2 x106 -x935 -x1039 -x3 -x107 x936 -x1040 -x4 -x108 -x937 x1041 x5 -x25 -x45 -x65 -x85 -x109 -x254 -x274 -x419 -x439
-x584 -x604 -x749 -x769 -x914 -x938 -x958 -x978 -x998 -x1018 -x6 x26 -x46 -x66 -x86 -x110 -x255 -x275 -x420 -x440 -x585 -x605 -x750 -x770
-x915 -x939 -x959 -x979 -x999 -x1019 -x7 -x27 x47 -x67 -x87 -x111 -x256 -x276 -x421 -x441 -x586 -x606 -x751 -x771 -x916 -x940 -x960 -x980
-x1000 -x1020 -x8 -x28 -x48 x68 -x88 -x112 -x257 -x277 -x422 -x442 -x587 -x607 -x752 -x772 -x917 -x941 -x961 -x981 -x1001 -x1021 -x9 -x29
-x49 -x69 x89 -x113 -x258 -x278 -x423 -x443 -x588 -x608 -x753 -x773 -x918 -x942 -x962 -x982 -x1002 -x1022 -x10 -x30 -x50 -x70 -x90 x114
-x259 -x279 -x424 -x444 -x589 -x609 -x754 -x774 -x919 -x943 -x963 -x983 -x1003 -x1023 -x11 -x31 -x51 -x71 -x91 -x115 -x260 x280 -x425 -x445
-x590 -x610 -x755 -x775 -x920 -x944 -x964 -x984 -x1004 -x1024 -x12 -x32 -x52 -x72 -x92 -x116 -x261 -x281 -x426 x446 -x591 -x611 -x756 -x776
-x921 -x945 -x965 -x985 -x1005 -x1025 -x13 -x33 -x53 -x73 -x93 -x117 -x262 -x282 -x427 -x447 -x592 x612 -x757 -x777 -x922 -x946 -x966 -x986
-x1006 -x1026 -x14 -x34 -x54 -x74 -x94 -x118 -x263 -x283 -x428 -x448 -x593 -x613 -x758 x778 -x923 -x947 -x967 -x987 -x1007 -x1027 -x15 -x35
-x55 -x75 -x95 -x119 x264 -x284 -x429 -x449 -x594 -x614 -x759 -x779 -x924 -x948 -x968 -x988 -x1008 -x1028 -x16 -x36 -x56 -x76 -x96 -x120
-x265 -x285 x430 -x450 -x595 -x615 -x760 -x780 -x925 -x949 -x969 -x989 -x1009 -x1029 -x17 -x37 -x57 -x77 -x97 -x121 -x266 -x286 -x431 -x451
x596 -x616 -x761 -x781 -x926 -x950 -x970 -x990 -x1010 -x1030 -x18 -x38 -x58 -x78 -x98 -x122 -x267 -x287 -x432 -x452 -x597 -x617 x762 -x782
-x927 -x951 -x971 -x991 -x1011 -x1031 -x19 -x39 -x59 -x79 -x99 -x123 -x268 -x288 -x433 -x453 -x598 -x618 -x763 -x783 x928 -x952 -x972 -x992
-x1012 -x1032 -x20 -x40 -x60 -x80 -x100 -x124 -x269 -x289 -x434 -x454 -x599 -x619 -x764 -x784 -x929 x953 -x973 -x993 -x1013 -x1033 -x21 -x41
-x61 -x81 -x101 -x125 -x270 -x290 -x435 -x455 -x600 -x620 -x765 -x785 -x930 -x954 x974 -x994 -x1014 -x1034 -x22 -x42 -x62 -x82 -x102 -x126
-x271 -x291 -x436 -x456 -x601 -x621 -x766 -x786 -x931 -x955 -x975 x995 -x1015 -x1035 -x23 -x43 -x63 -x83 -x103 -x127 -x272 -x292 -x437 -x457
-x602 -x622 -x767 -x787 -x932 -x956 -x976 -x996 x1016 -x1036 -x24 -x44 -x64 -x84 -x104 -x128 -x273 -x293 -x438 -x458 -x603 -x623 -x768 -x788
-x933 -x957 -x977 -x997 -x1017 x1037 x129 -x154 -x179 -x204 -x229 -x294 -x319 -x344 -x369 -x394 -x459 -x484 -x509 -x534 -x559 -x624 -x649
-x674 -x699 -x724 -x789 -x814 -x839 -x864 -x889 -x130 x155 -x180 -x205 -x230 -x295 -x320 -x345 -x370 -x395 -x460 -x485 -x510 -x535 -x560
-x625 -x650 -x675 -x700 -x725 -x790 -x815 -x840 -x865 -x890 -x131 -x156 x181 -x206 -x231 -x296 -x321 -x346 -x371 -x396 -x461 -x486 -x511
-x536 -x561 -x626 -x651 -x676 -x701 -x726 -x791 -x816 -x841 -x866 -x891 -x132 -x157 -x182 x207 -x232 -x297 -x322 -x347 -x372 -x397 -x462
-x487 -x512 -x537 -x562 -x627 -x652 -x677 -x702 -x727 -x792 -x817 -x842 -x867 -x892 -x133 -x158 -x183 -x208 x233 -x298 -x323 -x348 -x373
-x398 -x463 -x488 -x513 -x538 -x563 -x628 -x653 -x678 -x703 -x728 -x793 -x818 -x843 -x868 -x893 -x134 -x159 -x184 -x209 -x234 x299 -x324
-x349 -x374 -x399 -x464 -x489 -x514 -x539 -x564 -x629 -x654 -x679 -x704 -x729 -x794 -x819 -x844 -x869 -x894 -x135 -x160 -x185 -x210 -x235
-x300 x325 -x350 -x375 -x400 -x465 -x490 -x515 -x540 -x565 -x630 -x655 -x680 -x705 -x730 -x795 -x820 -x845 -x870 -x895 -x136 -x161 -x186
-x211 -x236 -x301 -x326 x351 -x376 -x401 -x466 -x491 -x516 -x541 -x566 -x631 -x656 -x681 -x706 -x731 -x796 -x821 -x846 -x871 -x896 -x137
-x162 -x187 -x212 -x237 -x302 -x327 -x352 x377 -x402 -x467 -x492 -x517 -x542 -x567 -x632 -x657 -x682 -x707 -x732 -x797 -x822 -x847 -x872
-x897 -x138 -x163 -x188 -x213 -x238 -x303 -x328 -x353 -x378 x403 -x468 -x493 -x518 -x543 -x568 -x633 -x658 -x683 -x708 -x733 -x798 -x823
-x848 -x873 -x898 -x139 -x164 -x189 -x214 -x239 -x304 -x329 -x354 -x379 -x404 x469 -x494 -x519 -x544 -x569 -x634 -x659 -x684 -x709 -x734
-x799 -x824 -x849 -x874 -x899 -x140 -x165 -x190 -x215 -x240 -x305 -x330 -x355 -x380 -x405 -x470 x495 -x520 -x545 -x570 -x635 -x660 -x685
-x710 -x735 -x800 -x825 -x850 -x875 -x900 -x141 -x166 -x191 -x216 -x241 -x306 -x331 -x356 -x381 -x406 -x471 -x496 x521 -x546 -x571 -x636
-x661 -x686 -x711 -x736 -x801 -x826 -x851 -x876 -x901 -x142 -x167 -x192 -x217 -x242 -x307 -x332 -x357 -x382 -x407 -x472 -x497 -x522 x547
-x572 -x637 -x662 -x687 -x712 -x737 -x802 -x827 -x852 -x877 -x902 -x143 -x168 -x193 -x218 -x243 -x308 -x333 -x358 -x383 -x408 -x473 -x498
-x523 -x548 x573 -x638 -x663 -x688 -x713 -x738 -x803 -x828 -x853 -x878 -x903 -x144 -x169 -x194 -x219 -x244 -x309 -x334 -x359 -x384 -x409
-x474 -x499 -x524 -x549 -x574 x639 -x664 -x689 -x714 -x739 -x804 -x829 -x854 -x879 -x904 -x145 -x170 -x195 -x220 -x245 -x310 -x335 -x360
-x385 -x410 -x475 -x500 -x525 -x550 -x575 -x640 x665 -x690 -x715 -x740 -x805 -x830 -x855 -x880 -x905 -x146 -x171 -x196 -x221 -x246 -x311
-x336 -x361 -x386 -x411 -x476 -x501 -x526 -x551 -x576 -x641 -x666 x691 -x716 -x741 -x806 -x831 -x856 -x881 -x906 -x147 -x172 -x197 -x222
-x247 -x312 -x337 -x362 -x387 -x412 -x477 -x502 -x527 -x552 -x577 -x642 -x667 -x692 x717 -x742 -x807 -x832 -x857 -x882 -x907 -x148 -x173
-x198 -x223 -x248 -x313 -x338 -x363 -x388 -x413 -x478 -x503 -x528 -x553 -x578 -x643 -x668 -x693 -x718 x743 -x808 -x833 -x858 -x883 -x908
-x149 -x174 -x199 -x224 -x249 -x314 -x339 -x364 -x389 -x414 -x479 -x504 -x529 -x554 -x579 -x644 -x669 -x694 -x719 -x744 x809 -x834 -x859
-x884 -x909 -x150 -x175 -x200 -x225 -x250 -x315 -x340 -x365 -x390 -x415 -x480 -x505 -x530 -x555 -x580 -x645 -x670 -x695 -x720 -x745 -x810
x835 -x860 -x885 -x910 -x151 -x176 -x201 -x226 -x251 -x316 -x341 -x366 -x391 -x416 -x481 -x506 -x531 -x556 -x581 -x646 -x671 -x696 -x721
-x746 -x811 -x836 x861 -x886 -x911 -x152 -x177 -x202 -x227 -x252 -x317 -x342 -x367 -x392 -x417 -x482 -x507 -x532 -x557 -x582 -x647 -x672
-x697 -x722 -x747 -x812 -x837 -x862 x887 -x912 -x153 -x178 -x203 -x228 -x253 -x318 -x343 -x368 -x393 -x418 -x483 -x508 -x533 -x558 -x583
-x648 -x673 -x698 -x723 -x748 -x813 -x838 -x863 -x888 x913 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 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 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 x1132 -x1133
-x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 x1142 -x1143 -x1144 -x1145 -x1146 -x1147 x1148 -x1149 -x1150 -x1151 -x1152 -x1153
-x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 x1169 -x1170 -x1171 -x1172 -x1173
x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 x1191 -x1192 -x1193
-x1194 -x1195 -x1196 -x1197 -x1198 x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213
-x1214 -x1215 -x1216 -x1217 x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 x1225 x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233
-x1234 -x1235 -x1236 -x1237 x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 x1251 -x1252 -x1253
-x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 x1261 -x1262 -x1263 -x1264 x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273
-x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 x1281 -x1282 -x1283 -x1284 -x1285 x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293
-x1294 -x1295 x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313
-x1314 -x1315 -x1316 -x1317 x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 x1326 -x1327 -x1328 -x1329 -x1330 x1331 -x1332 x1333
-x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -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 -x1378 -x1379 -x1380 -x1381 x1382 -x1383 -x1384 -x1385 -x1386 -x1387 x1388 -x1389 -x1390 -x1391 -x1392 -x1393
x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413
x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 x1429 -x1430 -x1431 -x1432 -x1433
-x1434 -x1435 -x1436 -x1437 -x1438 x1439 -x1440 -x1441 -x1442 -x1443 x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453
x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 x1465 -x1466 x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473
-x1474 -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 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