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

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

Jump to solvers results

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-14-27-sat.cnf
MD5SUM9c54c57be5bec760a361df7b3a13ea07
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.015996
Satisfiable
(Un)Satisfiability was proved
Number of variables378
Number of clauses2653
Sum of the clauses size10206
Maximum clause length27
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22457
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
sattime+ 2011-03-02 (incomplete)3499881SAT 0.015996 0.0161089
sattime 2011-03-02 (incomplete)3427207SAT 0.015997 0.0184201
ppfolio seq (complete)3275602SAT 0.021996 0.0221499
glucose 2 (complete)3303460SAT 0.053991 0.05399
sathys 2011-04-01 (complete)3438995SAT 0.12398 0.1248
ppfolio par (complete)3275601SAT 0.149976 0.0245761
SApperloT2010 2011-05-15 (fixed) (complete)3438993SAT 1.9427 1.94398
Plingeling 587f (fixed) (complete)3394540SAT 10.4094 1.38581
SAT07 reference solver: minisat SAT 2007 (complete)3275604SAT 12.862 12.8617
PicoSAT 941 (complete)3438994SAT 14.0969 14.1145
jMiniSat 2011 (complete)3438997SAT 31.3682 30.9453
SArTagnan 2011-05-15 (fixed) (complete)3438996SAT 37.5403 4.74732
Satisfiability Solver Selector 2011-03-18 (complete)3275600SAT 42.93 43.0979
Sol 2011-04-04 (complete)3394541SAT 44.5642 44.3128
RestartSAT B95 (complete)3421124SAT 84.2792 84.2779
claspmt 2.0-R4095-patched (fixed) (complete)3381054SAT 282.033 35.357
claspmt 2.0-R4095 [DEPRECATED] (complete)3322449SAT 303.224 43.4605
priss 1.0 (complete)3499417SAT 10428 2607.06
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3499418? (exit code) 4998.87 4998.64
MPhaseSAT 2011-02-15 (complete)3445751? (TO) 5000.03 4999.92
clasp 2.0-R4092-crafted (complete)3423087? (TO) 5000.05 4999.92
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3275603? (TO) 5000.06 4999.91
QuteRSat 2011-05-12 (fixed) (complete)3421123? (TO) 5000.09 4999.98
CryptoMiniSat Strange-Night2-st (fixed) (complete)3421887? (TO) 5000.13 5000.16
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3421587? (TO) 40000.8 5010.74

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 0