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

Result page for benchmark
crafted/skvortsov/battleship/
battleship-17-33-sat.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-17-33-sat.cnf
MD5SUMff3a31481d1bf95f014a91f5192a55fa
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.038993
Satisfiable
(Un)Satisfiability was proved
Number of variables561
Number of clauses4777
Sum of the clauses size18513
Maximum clause length33
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 24488
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5289

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
sattime 2011-03-02 (incomplete)3427210SAT 0.038993 0.038762
MPhaseSAT 2011-02-15 (complete)3445754SAT 0.044993 0.0466429
ppfolio seq (complete)3275617SAT 0.051991 0.0535989
sattime+ 2011-03-02 (incomplete)3499884SAT 0.05399 0.054716
sathys 2011-04-01 (complete)3439010SAT 0.217966 0.254633
ppfolio par (complete)3275616SAT 0.296954 0.0485701
SArTagnan 2011-05-15 (fixed) (complete)3439011SAT 0.485925 0.087065
Plingeling 587f (fixed) (complete)3394546SAT 0.71589 0.229524
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3499424SAT 24.0673 24.0702
Satisfiability Solver Selector 2011-03-18 (complete)3275615SAT 30.5064 30.5491
SApperloT2010 2011-05-15 (fixed) (complete)3439008SAT 382.769 382.772
glucose 2 (complete)3303463? (TO) 5000 4999.92
clasp 2.0-R4092-crafted (complete)3423090? (TO) 5000.05 4999.92
RestartSAT B95 (complete)3421130? (TO) 5000.05 4999.92
Sol 2011-04-04 (complete)3394547? (TO) 5000.05 4930.82
PicoSAT 941 (complete)3439009? (TO) 5000.07 5000.12
SAT07 reference solver: minisat SAT 2007 (complete)3275619? (TO) 5000.07 5000.01
CryptoMiniSat Strange-Night2-st (fixed) (complete)3421890? (TO) 5000.08 4999.95
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3275618? (TO) 5000.09 5000.01
jMiniSat 2011 (complete)3439012? (TO) 5000.09 4995.43
QuteRSat 2011-05-12 (fixed) (complete)3421129? (TO) 5000.12 4999.97
priss 1.0 (complete)3499423? (TO) 20399.5 5100.02
claspmt 2.0-R4095 [DEPRECATED] (complete)3322452? (TO) 35624.1 5100.14
claspmt 2.0-R4095-patched (fixed) (complete)3381057? (TO) 40000.7 5012.66
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3421590? (TO) 40000.9 5008.94

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 0