SAT 2009 Competition: main competition (phase 1): solvers results per benchmarks

Result page for benchmark
CRAFTED/
edgematching/all/em_7_3_6_all.cnf

Jump to solvers results

General information on the benchmark

NameCRAFTED/
edgematching/all/em_7_3_6_all.cnf
MD5SUM3264a66e18d5550049c950d1156ee464
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.524919
Satisfiable
(Un)Satisfiability was proved
Number of variables1473
Number of clauses30387
Sum of the clauses size75224
Maximum clause length25
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 221205
Number of clauses of size 37024
Number of clauses of size 4708
Number of clauses of size 51300
Number of clauses of size over 5150

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
picosat 913 (complete)1561993SAT 0.524919 0.525989
SApperloT hrp (complete)1561997SAT 2.51062 2.52656
ManySAT 1.1 aimd 0/2009-03-20 (complete)1562000SAT 3.9384 2.07199
LySAT i/2009-03-20 (complete)1561998SAT 4.16737 4.17351
minisat_cumr p-2009-03-18 (complete)1833771SAT 4.48032 4.48471
kw 2009-03-20 (complete)1561988SAT 4.66329 4.66428
glucose 1.0 (complete)1561990SAT 5.31819 5.32927
precosat 236 (complete)1561994SAT 5.46717 5.47031
clasp 1.2.0-SAT09-32 (complete)1561995SAT 5.9051 5.91078
CircUs 2009-03-23 (complete)1562027SAT 6.542 6.54471
SAT07 reference solver: March KS 2007-02-08 (complete)1731757SAT 8.12476 8.12836
VARSAT-industrial 2009-03-22 (complete)1562022SAT 8.31873 8.32283
Rsat 2009-03-22 (complete)1562028SAT 8.99763 9.00831
ManySAT 1.1 aimd 1/2009-03-20 (complete)1562001SAT 10.0435 10.0508
MXC 2009-03-10 (complete)1561991SAT 11.1793 11.183
HydraSAT 2009-03-22-Base (complete)1562007SAT 12.896 12.9025
HydraSAT-Flat 2009-03-22-Flat (complete)1562006SAT 13.157 13.1615
SApperloT base (complete)1561996SAT 18.5432 18.5468
satake 2009-03-22 (complete)1562036SAT 21.8617 11.1265
HydraSAT-Multi 2009-03-22-Multi (complete)1562005SAT 27.4688 27.4934
MiniSat 2.1 (Sat-race'08 Edition) (complete)1562029SAT 31.3932 31.4033
ManySAT 1.1 aimd 2/2009-03-20 (complete)1562002SAT 32.1411 16.1972
TNM 2009-03-22 (incomplete)1562016SAT 32.773 32.7844
adaptg2wsat2009 2009-03-23 (incomplete)1562025SAT 34.6997 34.7072
MiniSAT 09z 2009-03-22 (complete)1833772SAT 40.9018 40.9208
LySAT c/2009-03-20 (complete)1561999SAT 42.0406 42.0592
SATzilla2009_I 2009-03-22 (complete)1562013SAT 43.6934 43.7306
CSat 2009-03-22 (complete)1562004SAT 48.4356 48.463
hybridGM7 7 (incomplete)1562019SAT 58.2951 58.318
iPAWS 2009-03-22 (incomplete)1562003SAT 75.4635 75.4846
SATzilla2009_C 2009-03-22 (complete)1562012SAT 79.6969 79.7508
MoRsat 2009-03-03 (complete)1561989SAT 90.7092 90.7436
SAT07 reference solver: minisat SAT 2007 (complete)1731755SAT 121.417 121.475
IUT_BMB_SAT 1.0 (complete)1562010SAT 126.317 126.361
SAT07 reference solver: SATzilla CRAFTED (complete)1731756SAT 133.594 133.636
adaptg2wsat2009++ 2009-03-23 (incomplete)1562026SAT 139.177 139.221
SATzilla2009_R 2009-03-22 (complete)1562011SAT 269.943 270.17
Hybrid2 2009-03-22 (incomplete)1562014SAT 283.992 284.07
gNovelty+-T 2009-03-22 (incomplete)1562033SAT 300.159 150.576
hybridGM 1 (incomplete)1562017SAT 359.814 359.964
hybridGM3 3 (incomplete)1562018SAT 364.298 364.401
gnovelty+ 2009-03-22 (incomplete)1562020SAT 874.927 875.258
ttsth-5-0 2009-03-19 (complete)1562032? (MO) 383.548 192.58
tts tts-5-0 (complete)1561992? (MO) 502.71 502.884
march_nn nn (complete)1562009? (TO) 1200.05 1200.41
march_hi hi (complete)1562008? (TO) 1200.06 1200.41
NCVWr 2009-03-22 (incomplete)1562015? (TO) 1200.06 1200.41
VARSAT-random 2009-03-22 (complete)1562023? (TO) 1200.06 1200.51
gNovelty+-V.2-T 2009-03-22 (incomplete)1562035? (TO) 1200.06 601.414
gnovelty+2 2009-03-22 (incomplete)1562031? (TO) 1200.07 1200.51
slstc 1.0 (incomplete)1562024? (TO) 1200.08 1200.41
VARSAT-crafted 2009-03-22 (complete)1562021? (TO) 1200.09 1200.51
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1562034? (TO) 1200.12 601.413
SAT4J CORE 2.1 RC1 (complete)1561987? (TO) 1200.35 1199.77
gnovelty+2-H 2009-03-22 (incomplete)1562030Wrong Cert. 12.3621 12.3662

Additionnal information

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

Solution found:
-1 -2 -3 4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 23 -24 -25 -26 -27 28 -29 -30 -31 -32 -33 -34 -35 -36 -37 -38
-39 -40 -41 -42 -43 -44 -45 -46 -47 -48 49 -50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 -61 -62 -63 -64 -65 -66 -67 -68 -69 -70 -71 -72 -73
-74 -75 -76 -77 -78 -79 80 -81 -82 -83 -84 -85 -86 -87 -88 -89 -90 -91 -92 -93 -94 -95 -96 97 -98 -99 -100 -101 -102 -103 -104 -105 106 -107
-108 109 -110 -111 -112 -113 -114 -115 -116 -117 -118 -119 -120 -121 -122 -123 -124 -125 -126 -127 -128 -129 -130 -131 132 -133 -134 -135
-136 -137 -138 -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 -154 -155 -156 -157 -158 -159 -160 -161 -162 -163
-164 -165 -166 -167 -168 -169 -170 171 -172 -173 -174 -175 -176 -177 -178 -179 -180 -181 -182 -183 -184 -185 -186 -187 -188 -189 -190 -191
-192 -193 -194 -195 -196 -197 -198 -199 -200 -201 -202 203 -204 -205 -206 -207 -208 -209 -210 -211 -212 -213 -214 -215 -216 -217 218 -219
-220 -221 -222 -223 -224 -225 -226 -227 -228 -229 -230 -231 -232 -233 -234 -235 -236 237 -238 -239 -240 -241 -242 -243 -244 -245 -246 -247
-248 -249 -250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 261 -262 -263 -264 -265 -266 -267 -268 -269 -270 -271 -272 -273 -274 -275
-276 -277 -278 -279 280 -281 -282 -283 -284 -285 -286 -287 -288 -289 -290 -291 -292 -293 -294 -295 -296 -297 298 -299 -300 -301 -302 -303
-304 -305 -306 -307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320 -321 -322 -323 -324 -325 -326 -327 -328 -329 330 -331
-332 -333 -334 -335 -336 -337 -338 -339 -340 -341 -342 -343 -344 -345 -346 -347 -348 -349 -350 -351 -352 -353 354 -355 -356 -357 -358 -359
-360 -361 -362 -363 -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 -374 -375 -376 -377 -378 -379 -380 -381 -382 -383 -384 -385 -386 387
-388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 399 -400 -401 -402 -403 -404 -405 -406 -407 -408 -409 -410 -411 -412 -413 -414 -415
-416 -417 -418 -419 -420 -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 436 -437 -438 -439 -440 -441 -442 -443
-444 -445 -446 -447 -448 -449 -450 -451 -452 453 -454 -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 -469 -470 -471
472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 486 -487 -488 -489 -490 -491 -492 -493 -494 -495 -496 -497 -498 -499
-500 -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 -516 -517 -518 -519 -520 521 -522 -523 -524 -525 -526 -527
-528 -529 -530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 554 -555
-556 -557 -558 -559 -560 -561 -562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 -573 -574 -575 -576 -577 578 -579 -580 -581 -582 -583
-584 -585 -586 -587 -588 -589 -590 -591 592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603 -604 -605 -606 -607 -608 -609 -610 -611
-612 -613 -614 -615 -616 -617 -618 -619 620 -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 -631 -632 633 -634 -635 -636 -637 -638 -639
-640 -641 -642 -643 -644 -645 -646 -647 -648 -649 -650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 -661 -662 -663 664 -665 -666 -667
-668 -669 -670 -671 -672 -673 -674 675 -676 -677 -678 -679 -680 -681 -682 -683 -684 -685 -686 -687 -688 -689 -690 -691 -692 -693 -694 -695
-696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 -707 -708 -709 -710 -711 -712 -713 -714 -715 -716 -717 -718 -719 720 -721 -722 -723
-724 -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 -741 -742 -743 -744 -745 -746 747 -748 -749 -750 -751
-752 -753 -754 -755 -756 -757 -758 759 -760 -761 -762 -763 -764 -765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777 778 -779
-780 -781 -782 -783 -784 -785 -786 -787 -788 -789 -790 -791 -792 -793 -794 795 -796 -797 -798 -799 -800 -801 -802 -803 -804 -805 -806 -807
-808 -809 -810 -811 -812 -813 -814 -815 -816 -817 -818 -819 -820 -821 -822 -823 -824 -825 -826 -827 -828 -829 -830 -831 -832 -833 -834 -835
836 -837 -838 -839 -840 -841 -842 -843 -844 -845 -846 -847 -848 -849 -850 -851 -852 -853 -854 855 -856 -857 -858 -859 -860 -861 -862 -863
864 -865 -866 -867 -868 -869 -870 -871 -872 -873 -874 -875 -876 -877 -878 -879 -880 -881 -882 -883 -884 -885 -886 -887 -888 -889 -890 -891
-892 -893 -894 -895 896 -897 -898 -899 -900 -901 -902 -903 -904 -905 -906 -907 -908 -909 -910 -911 -912 -913 -914 915 -916 -917 -918 -919
-920 -921 -922 -923 -924 -925 -926 -927 -928 -929 -930 -931 -932 -933 -934 -935 936 -937 -938 -939 -940 -941 -942 -943 -944 -945 -946 -947
-948 949 -950 -951 -952 -953 -954 -955 -956 -957 -958 -959 960 -961 -962 -963 -964 -965 -966 -967 -968 -969 -970 -971 -972 -973 -974 -975
-976 -977 -978 -979 -980 -981 -982 -983 -984 -985 -986 -987 -988 -989 -990 991 -992 -993 -994 -995 -996 -997 -998 -999 -1000 -1001 -1002
1003 -1004 -1005 -1006 -1007 -1008 -1009 -1010 -1011 -1012 -1013 -1014 -1015 -1016 -1017 -1018 -1019 -1020 -1021 -1022 -1023 -1024 -1025
-1026 -1027 -1028 -1029 -1030 -1031 -1032 -1033 -1034 -1035 -1036 1037 1038 -1039 -1040 -1041 1042 -1043 -1044 -1045 1046 -1047 -1048 1049
-1050 -1051 1052 -1053 -1054 -1055 1056 -1057 1058 -1059 -1060 1061 -1062 -1063 1064 -1065 -1066 -1067 -1068 -1069 -1070 -1071 1072 -1073
-1074 -1075 -1076 1077 -1078 -1079 -1080 1081 -1082 -1083 -1084 -1085 -1086 -1087 1088 -1089 -1090 -1091 -1092 1093 -1094 -1095 -1096 1097
-1098 -1099 -1100 -1101 1102 -1103 -1104 -1105 -1106 -1107 1108 -1109 -1110 -1111 -1112 -1113 1114 -1115 -1116 -1117 -1118 -1119 -1120 1121
-1122 -1123 -1124 -1125 -1126 1127 -1128 -1129 -1130 -1131 1132 -1133 -1134 -1135 -1136 1137 -1138 -1139 -1140 -1141 -1142 -1143 1144 -1145
-1146 -1147 1148 -1149 -1150 -1151 -1152 -1153 1154 -1155 -1156 -1157 -1158 1159 -1160 -1161 -1162 -1163 -1164 -1165 1166 -1167 -1168 1169
-1170 -1171 -1172 -1173 -1174 -1175 1176 -1177 -1178 -1179 -1180 -1181 1182 -1183 -1184 -1185 -1186 -1187 -1188 -1189 -1190 1191 -1192 -1193
-1194 1195 -1196 -1197 -1198 -1199 -1200 1201 -1202 -1203 -1204 1205 -1206 -1207 1208 -1209 -1210 -1211 -1212 1213 -1214 -1215 -1216 -1217
-1218 -1219 -1220 -1221 1222 -1223 -1224 -1225 -1226 1227 -1228 -1229 -1230 -1231 -1232 -1233 1234 -1235 -1236 -1237 -1238 1239 -1240 -1241
-1242 -1243 -1244 1245 -1246 -1247 -1248 1249 -1250 -1251 -1252 1253 -1254 -1255 -1256 -1257 1258 -1259 -1260 -1261 -1262 -1263 -1264 -1265
-1266 1267 -1268 -1269 -1270 -1271 1272 -1273 -1274 -1275 1276 -1277 -1278 -1279 -1280 -1281 1282 -1283 -1284 -1285 -1286 -1287 -1288 1289
-1290 1291 -1292 -1293 -1294 -1295 -1296 -1297 1298 -1299 -1300 -1301 -1302 1303 -1304 -1305 -1306 -1307 -1308 -1309 1310 -1311 1312 -1313
-1314 -1315 -1316 -1317 -1318 -1319 -1320 -1321 1322 -1323 1324 -1325 -1326 -1327 -1328 -1329 -1330 -1331 -1332 1333 -1334 -1335 -1336 -1337
1338 -1339 -1340 -1341 -1342 -1343 -1344 -1345 1346 -1347 -1348 1349 -1350 -1351 -1352 -1353 1354 -1355 -1356 1357 -1358 -1359 -1360 -1361
-1362 -1363 -1364 -1365 -1366 1367 -1368 -1369 1370 -1371 -1372 -1373 -1374 -1375 -1376 -1377 1378 -1379 -1380 -1381 1382 -1383 -1384 -1385
1386 -1387 -1388 -1389 -1390 -1391 -1392 1393 -1394 -1395 -1396 -1397 1398 -1399 -1400 -1401 -1402 -1403 -1404 -1405 1406 -1407 -1408 -1409
-1410 -1411 -1412 1413 -1414 1415 -1416 -1417 -1418 -1419 -1420 -1421 1422 1423 -1424 -1425 -1426 -1427 -1428 -1429 -1430 -1431 1432 -1433
-1434 -1435 -1436 1437 -1438 -1439 -1440 1441 -1442 -1443 -1444 -1445 -1446 -1447 -1448 1449 -1450 -1451 -1452 -1453 1454 -1455 -1456 -1457
1458 -1459 1460 -1461 -1462 1463 -1464 -1465 1466 -1467 1468 -1469 -1470 1471 -1472 -1473 0