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

Result page for benchmark
crafted/skvortsov/battleship/
battleship-14-26-sat.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-14-26-sat.cnf
MD5SUM1e53251276ed6dee048eca4aa337d77b
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.013997
Satisfiable
(Un)Satisfiability was proved
Number of variables364
Number of clauses2562
Sum of the clauses size9828
Maximum clause length26
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22366
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5196

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
shortsattime+ 2011-03-02 (incomplete)3261267SAT 0.013997 0.0168261
shortsattime2011 2011-03-02 (incomplete)3261264SAT 0.014997 0.0164799
sattime2011 2011-03-02 (incomplete)3261262SAT 0.016996 0.017381
sattime 2011-03-02 (incomplete)3261263SAT 0.018997 0.0202481
adaptg2wsat2011 2011-03-02 (incomplete)3261266SAT 0.12598 0.126615
sattime+ 2011-03-02 (incomplete)3261268SAT 0.142977 0.143016
sathys 2011-04-01 (complete)3261291SAT 0.480926 0.481538
glucose 2 (complete)3261296SAT 1.49777 1.50365
SAT07 reference solver: minisat SAT 2007 (complete)3274415SAT 8.65968 8.66029
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449669SAT 19.846 19.9099
Satisfiability Solver Selector 2011-03-18 (complete)3261295SAT 24.8062 24.8365
SApperloT 2011-03-23 (complete)3261301SAT 53.2939 53.2989
Plingeling 587 [DEPRECATED] (complete)3261286SAT 75.9325 19.5595
Plingeling 587f (fixed) (complete)3371096SAT 76.2584 19.8606
Lingeling 587f (fixed) (complete)3371696SAT 85.461 85.4613
Lingeling 587 [DEPRECATED] (complete)3261287SAT 89.7084 89.7065
rcl 2011-04-01 (complete)3261290SAT 198.07 198.068
ppfolio par (complete)3261293SAT 227.07 56.9039
tts 5-4 (complete)3261297SAT 339.459 339.453
ppfolio seq (complete)3261294SAT 442.142 442.228
UmSat 2011-05-12 (fixed) (complete)3379196SAT 490.626 490.615
UmSat 2011-02-25 [DEPRECATED] (complete)3261271SAT 505.908 505.895
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3261299SAT 569.828 569.818
SApperloT2010 2011-05-15 (fixed) (complete)3379796SAT 575.853 575.845
PicoSAT 941 (complete)3261285SAT 680.25 680.232
RestartSAT A75 (complete)3261270SAT 692.43 692.421
ttsth 5-4 (complete)3261298SAT 979.541 246.318
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369296SAT 2464.78 719.521
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3261277SAT 2490.07 730.307
claspmt 2.0-R4095 [DEPRECATED] (complete)3299575SAT 3852.92 964.698
claspmt 2.0-R4095-patched (fixed) (complete)3373196SAT 3854.26 967.269
riss Auto (1200 s timeout) (complete)3472900? (TO) 1200.05 1200.05
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274414? (TO) 1299.99 1300.01
CryptoMiniSat TechDemo-Alpha-st (complete)3261274? (TO) 1300.01 1300.01
RestartSAT B95 (complete)3261269? (TO) 1300.01 1300.01
MPhaseSAT_M 2011-02-16 (complete)3261260? (TO) 1300.02 1300.01
riss 1.0 (complete)3261279? (TO) 1300.03 1300.01
Black Hole SAT 2011-03-08 (complete)3261272? (TO) 1300.03 1300.01
riss Exp (complete)3261280? (TO) 1300.04 1300.01
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370496? (TO) 1300.05 1300.02
clasp 2.0-R4092-crafted (complete)3300475? (TO) 1300.05 1300.01
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3261278? (TO) 1300.05 1300.02
MPhaseSAT64 2011-05-14 (fixed) (complete)3375596? (TO) 1300.05 1300.02
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3261259? (TO) 1300.05 1300.01
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274413? (TO) 1300.06 1300.01
riss Auto (complete)3261281? (TO) 1300.06 1300.01
QuteRSat 2011-05-12 (fixed) (complete)3376796? (TO) 1300.06 1300.04
march_rw 2011-03-02 (complete)3261261? (TO) 1300.06 1300.03
MPhaseSAT 2011-02-15 (complete)3261258? (TO) 1300.06 1300.01
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3261276? (TO) 1300.07 1300.03
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368096? (TO) 1300.07 1300.04
synit_sat 2011-03-03 (complete)3261265? (TO) 1300.08 1300.04
QuteRSat 2011-03-01 [DEPRECATED] (complete)3261288? (TO) 1300.08 1300.04
jMiniSat 2011 (complete)3279973? (TO) 1300.89 1300.02
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3261292? (TO) 1302.04 1300.03
Sol 2011-04-04 (complete)3261289? (TO) 1304.7 1300.06
priss UP (complete)3261282? (TO) 2337.64 1300.02
priss Auto (complete)3261283? (TO) 4800.01 1201.72
STRUCTure 0.1 (complete)3313120? (TO) 4800.26 1207.33
SArTagnan 2011-05-15 (fixed) (complete)3386040? (TO) 4800.31 1204.98
STRUCTure 0.1 (hbr=2) (complete)3311920? (TO) 4800.34 1207.53
CryptoMiniSat TechDemo-Alpha-mt (complete)3261273? (TO) 4800.37 1201.73
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366896? (TO) 4800.38 1203.5
priss 1.0 (complete)3261284? (TO) 4800.4 1201.82
SArTagnan 2011-03-24 [DEPRECATED] (complete)3261300? (TO) 4800.42 1201.78
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3261275? (TO) 4800.46 1201.79

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 0