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

Result page for benchmark
CRAFTED/rbsat/random/unforced/
rbsat-v1375c111739g4.cnf

Jump to solvers results

General information on the benchmark

NameCRAFTED/rbsat/random/unforced/
rbsat-v1375c111739g4.cnf
MD5SUMb2f1edd9e4045a375bcfedb2d5e5bd0e
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark51.2682
Satisfiable
(Un)Satisfiability was proved
Number of variables1375
Number of clauses111739
Sum of the clauses size224743
Maximum clause length25
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2111684
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 555

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
sattime 2011-03-02 (incomplete)3258227SAT 51.2682 51.2691
shortsattime2011 2011-03-02 (incomplete)3258228SAT 100.095 100.096
sattime+ 2011-03-02 (incomplete)3258232SAT 502.571 502.559
shortsattime+ 2011-03-02 (incomplete)3258231SAT 738.961 738.94
sattime2011 2011-03-02 (incomplete)3258226SAT 772.359 772.349
adaptg2wsat2011 2011-03-02 (incomplete)3258230SAT 807.032 807.009
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3258223? 29.3055 29.3117
riss Auto (1200 s timeout) (complete)3472667? (TO) 1200.04 1200.02
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3448836? (TO) 1200.08 1202.13
Satisfiability Solver Selector 2011-03-18 (complete)3258259? (TO) 1298.33 1300.02
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370570? (TO) 1299.37 1300.02
riss Auto (complete)3258245? (TO) 1299.99 1300.01
SApperloT 2011-03-23 (complete)3258265? (TO) 1299.99 1300.02
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3273254? (TO) 1300 1300.01
sathys 2011-04-01 (complete)3258255? (TO) 1300.01 1300.01
ppfolio seq (complete)3258258? (TO) 1300.02 1300.02
glucose 2 (complete)3258260? (TO) 1300.02 1300.01
clasp 2.0-R4092-crafted (complete)3300549? (TO) 1300.03 1300.01
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3258242? (TO) 1300.03 1300.02
MPhaseSAT_M 2011-02-16 (complete)3258224? (TO) 1300.04 1300.01
march_rw 2011-03-02 (complete)3258225? (TO) 1300.04 1300.02
synit_sat 2011-03-03 (complete)3258229? (TO) 1300.04 1300.03
PicoSAT 941 (complete)3258249? (TO) 1300.04 1300.01
riss 1.0 (complete)3258243? (TO) 1300.04 1300.01
CryptoMiniSat TechDemo-Alpha-st (complete)3258238? (TO) 1300.04 1300.01
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3258263? (TO) 1300.04 1300.02
rcl 2011-04-01 (complete)3258254? (TO) 1300.04 1300.01
Black Hole SAT 2011-03-08 (complete)3258236? (TO) 1300.04 1300.01
RestartSAT B95 (complete)3258233? (TO) 1300.05 1300.02
QuteRSat 2011-05-12 (fixed) (complete)3376870? (TO) 1300.05 1300.03
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368170? (TO) 1300.05 1300.02
SAT07 reference solver: minisat SAT 2007 (complete)3273255? (TO) 1300.05 1300.02
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3273253? (TO) 1300.05 1300.01
MPhaseSAT 2011-02-15 (complete)3258222? (TO) 1300.05 1300.01
Lingeling 587 [DEPRECATED] (complete)3258251? (TO) 1300.05 1300.01
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3258240? (TO) 1300.05 1300.02
RestartSAT A75 (complete)3258234? (TO) 1300.05 1300.02
riss Exp (complete)3258244? (TO) 1300.06 1300.01
Lingeling 587f (fixed) (complete)3371770? (TO) 1300.06 1300.02
MPhaseSAT64 2011-05-14 (fixed) (complete)3375670? (TO) 1300.06 1300.01
UmSat 2011-05-12 (fixed) (complete)3379270? (TO) 1300.07 1300.04
QuteRSat 2011-03-01 [DEPRECATED] (complete)3258252? (TO) 1300.07 1300.02
UmSat 2011-02-25 [DEPRECATED] (complete)3258235? (TO) 1300.07 1300.04
SApperloT2010 2011-05-15 (fixed) (complete)3379870? (TO) 1300.09 1300.03
tts 5-4 (complete)3258261? (TO) 1300.16 1300.11
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3258256? (TO) 1300.88 1300.06
jMiniSat 2011 (complete)3280047? (TO) 1301.56 1300.02
Sol 2011-04-04 (complete)3258253? (TO) 1312.02 1300.04
priss UP (complete)3258246? (TO) 2335.95 1300.02
priss Auto (complete)3258247? (TO) 4800.1 1201.72
priss 1.0 (complete)3258248? (TO) 4800.16 1202.62
ppfolio par (complete)3258257? (TO) 4800.19 1201.71
STRUCTure 0.1 (complete)3313194? (TO) 4800.21 1207.04
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366970? (TO) 4800.22 1203.65
SArTagnan 2011-03-24 [DEPRECATED] (complete)3258264? (TO) 4800.22 1201.8
ttsth 5-4 (complete)3258262? (TO) 4800.22 1202.51
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3258241? (TO) 4800.26 1201.54
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3258239? (TO) 4800.27 1201.74
SArTagnan 2011-05-15 (fixed) (complete)3386114? (TO) 4800.29 1203.99
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369370? (TO) 4800.32 1203.16
claspmt 2.0-R4095 [DEPRECATED] (complete)3299649? (TO) 4800.35 1202.13
CryptoMiniSat TechDemo-Alpha-mt (complete)3258237? (TO) 4800.35 1201.62
Plingeling 587f (fixed) (complete)3371170? (TO) 4800.37 1204.27
Plingeling 587 [DEPRECATED] (complete)3258250? (TO) 4800.39 1201.75
claspmt 2.0-R4095-patched (fixed) (complete)3373270? (TO) 4800.39 1204.03
STRUCTure 0.1 (hbr=2) (complete)3311994? (TO) 4800.42 1207.24

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 0