SAT 2011 Competition: main competition (phase 1): 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)3261527SAT 0.038993 0.0395751
shortsattime+ 2011-03-02 (incomplete)3261531SAT 0.040992 0.0440041
adaptg2wsat2011 2011-03-02 (incomplete)3261530SAT 0.042992 0.0476911
shortsattime2011 2011-03-02 (incomplete)3261528SAT 0.043993 0.045432
MPhaseSAT_M 2011-02-16 (complete)3261524SAT 0.045993 0.0529531
ppfolio seq (complete)3261558SAT 0.046992 0.063398
MPhaseSAT 2011-02-15 (complete)3261522SAT 0.047992 0.0508879
sattime+ 2011-03-02 (incomplete)3261532SAT 0.048992 0.0508281
sattime2011 2011-03-02 (incomplete)3261526SAT 0.05399 0.0541149
sathys 2011-04-01 (complete)3261555SAT 0.218966 0.220131
Plingeling 587f (fixed) (complete)3371098SAT 0.470927 0.247855
ppfolio par (complete)3261557SAT 0.501922 0.12891
Plingeling 587 [DEPRECATED] (complete)3261550SAT 0.606906 0.228429
SArTagnan 2011-03-24 [DEPRECATED] (complete)3261564SAT 2.78657 0.706212
SArTagnan 2011-05-15 (fixed) (complete)3386042SAT 3.03354 1.02861
march_rw 2011-03-02 (complete)3261525SAT 8.39972 8.4028
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449677SAT 13.4929 13.6762
Satisfiability Solver Selector 2011-03-18 (complete)3261559SAT 26.521 26.5921
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274438SAT 59.6559 59.6642
SApperloT2010 2011-05-15 (fixed) (complete)3379798SAT 382.309 382.299
riss Auto (1200 s timeout) (complete)3472908? (TO) 1200.1 1200.15
riss Auto (complete)3261545? (TO) 1299.97 1300.01
rcl 2011-04-01 (complete)3261554? (TO) 1299.98 1300.01
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3261540? (TO) 1300.01 1300.03
glucose 2 (complete)3261560? (TO) 1300.02 1300.01
riss 1.0 (complete)3261543? (TO) 1300.02 1300.01
RestartSAT B95 (complete)3261533? (TO) 1300.04 1300.01
SAT07 reference solver: minisat SAT 2007 (complete)3274439? (TO) 1300.04 1300.01
clasp 2.0-R4092-crafted (complete)3300477? (TO) 1300.04 1300.01
riss Exp (complete)3261544? (TO) 1300.04 1300.01
PicoSAT 941 (complete)3261549? (TO) 1300.05 1300.01
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3261542? (TO) 1300.05 1300.02
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3261523? (TO) 1300.05 1300.01
synit_sat 2011-03-03 (complete)3261529? (TO) 1300.05 1300.05
Black Hole SAT 2011-03-08 (complete)3261536? (TO) 1300.05 1300.01
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274437? (TO) 1300.05 1300.01
RestartSAT A75 (complete)3261534? (TO) 1300.05 1300.01
SApperloT 2011-03-23 (complete)3261565? (TO) 1300.05 1300.01
CryptoMiniSat TechDemo-Alpha-st (complete)3261538? (TO) 1300.06 1300.01
UmSat 2011-05-12 (fixed) (complete)3379198? (TO) 1300.06 1300.03
MPhaseSAT64 2011-05-14 (fixed) (complete)3375598? (TO) 1300.06 1300.02
Lingeling 587f (fixed) (complete)3371698? (TO) 1300.06 1300.02
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368098? (TO) 1300.06 1300.03
Lingeling 587 [DEPRECATED] (complete)3261551? (TO) 1300.06 1300.04
UmSat 2011-02-25 [DEPRECATED] (complete)3261535? (TO) 1300.06 1300.02
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370498? (TO) 1300.07 1300.03
QuteRSat 2011-03-01 [DEPRECATED] (complete)3261552? (TO) 1300.08 1300.04
tts 5-4 (complete)3261561? (TO) 1300.1 1300.08
QuteRSat 2011-05-12 (fixed) (complete)3376798? (TO) 1300.1 1300.05
jMiniSat 2011 (complete)3279975? (TO) 1300.88 1300.02
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3261556? (TO) 1302.46 1300.03
Sol 2011-04-04 (complete)3261553? (TO) 1311.32 1300.01
priss UP (complete)3261546? (TO) 2376.26 1300.02
priss Auto (complete)3261547? (TO) 4800.07 1201.72
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3261539? (TO) 4800.16 1201.8
STRUCTure 0.1 (complete)3313122? (TO) 4800.16 1207.33
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366898? (TO) 4800.2 1203.62
CryptoMiniSat TechDemo-Alpha-mt (complete)3261537? (TO) 4800.22 1203.63
priss 1.0 (complete)3261548? (TO) 4800.26 1201.92
STRUCTure 0.1 (hbr=2) (complete)3311922? (TO) 4800.27 1207.33
ttsth 5-4 (complete)3261562? (TO) 4800.33 1203.62
claspmt 2.0-R4095 [DEPRECATED] (complete)3299577? (TO) 4800.36 1201.73
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3261541? (TO) 4800.36 1201.76
claspmt 2.0-R4095-patched (fixed) (complete)3373198? (TO) 4800.4 1204.83
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369298? (TO) 4800.45 1203.68
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3261563No Cert. 391.843 391.847

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