SAT 2011 Competition: main competition (phase 2): 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.021995
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
ppfolio seq (complete)3275577SAT 0.021995 0.0229791
sattime+ 2011-03-02 (incomplete)3499876SAT 0.022996 0.023904
ppfolio par (complete)3275576SAT 0.061989 0.0235569
sattime 2011-03-02 (incomplete)3427202SAT 0.299953 0.301854
sathys 2011-04-01 (complete)3438970SAT 0.480926 0.496538
glucose 2 (complete)3303455SAT 1.36379 1.36521
SAT07 reference solver: minisat SAT 2007 (complete)3275579SAT 7.99978 7.99941
Plingeling 587f (fixed) (complete)3394530SAT 154.814 19.8901
Satisfiability Solver Selector 2011-03-18 (complete)3275575SAT 277.482 277.511
SApperloT2010 2011-05-15 (fixed) (complete)3438968SAT 569.489 569.476
PicoSAT 941 (complete)3438969SAT 621.974 621.952
RestartSAT B95 (complete)3421114SAT 1429.02 1428.99
jMiniSat 2011 (complete)3438972SAT 1747.75 1746.54
claspmt 2.0-R4095-patched (fixed) (complete)3381049SAT 8420.42 1054.73
claspmt 2.0-R4095 [DEPRECATED] (complete)3322444SAT 8622.11 1080.68
SArTagnan 2011-05-15 (fixed) (complete)3438971SAT 24727.4 3098.36
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3499408? (exit code) 4999.26 4999.08
clasp 2.0-R4092-crafted (complete)3423082? (TO) 5000.03 4999.92
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3275578? (TO) 5000.08 5000.01
MPhaseSAT 2011-02-15 (complete)3445746? (TO) 5000.09 5000.12
QuteRSat 2011-05-12 (fixed) (complete)3421113? (TO) 5000.13 4999.98
CryptoMiniSat Strange-Night2-st (fixed) (complete)3421882? (TO) 5000.14 5000.06
priss 1.0 (complete)3499407? (TO) 20400.1 5100.02
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3421582? (TO) 40000.8 5010.6
Sol 2011-04-04 (complete)3394531Signal 2935.6 2919.41

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