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

Result page for benchmark
crafted/skvortsov/battleship/
battleship-15-29-sat.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-15-29-sat.cnf
MD5SUM89115b5a973735d51018fb3202154f32
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.022995
Satisfiable
(Un)Satisfiability was proved
Number of variables435
Number of clauses3270
Sum of the clauses size12615
Maximum clause length29
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23045
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5225

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
sattime+ 2011-03-02 (incomplete)3499887SAT 0.022995 0.0237221
sattime 2011-03-02 (incomplete)3427213SAT 0.026995 0.027201
ppfolio par (complete)3275631SAT 0.081987 0.0314559
sathys 2011-04-01 (complete)3439025SAT 0.155975 0.155514
Plingeling 587f (fixed) (complete)3394552SAT 54.3307 7.00128
SApperloT2010 2011-05-15 (fixed) (complete)3439023SAT 54.5597 54.5596
glucose 2 (complete)3303466SAT 62.5865 62.5874
Satisfiability Solver Selector 2011-03-18 (complete)3275630SAT 277.986 278.025
jMiniSat 2011 (complete)3439027SAT 875.248 873.902
claspmt 2.0-R4095 [DEPRECATED] (complete)3322455SAT 950.084 136.112
claspmt 2.0-R4095-patched (fixed) (complete)3381060SAT 970.625 121.653
PicoSAT 941 (complete)3439024SAT 1493.6 1493.56
RestartSAT B95 (complete)3421136SAT 1532.22 1532.22
SAT07 reference solver: minisat SAT 2007 (complete)3275634SAT 2053.66 2053.64
ppfolio seq (complete)3275632SAT 4954.89 4954.69
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3499430? (exit code) 4998.66 4998.43
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3275633? (TO) 5000.02 4999.91
clasp 2.0-R4092-crafted (complete)3423093? (TO) 5000.04 4999.92
MPhaseSAT 2011-02-15 (complete)3445757? (TO) 5000.08 4999.92
CryptoMiniSat Strange-Night2-st (fixed) (complete)3421893? (TO) 5000.1 5000.05
QuteRSat 2011-05-12 (fixed) (complete)3421135? (TO) 5000.1 4999.96
priss 1.0 (complete)3499429? (TO) 20398.2 5100.02
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3421593? (TO) 40000.6 5006.01
SArTagnan 2011-05-15 (fixed) (complete)3439026? (TO) 40001 5011.41
Sol 2011-04-04 (complete)3394553Signal 2114.07 2105.56

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 0