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

Result page for benchmark
crafted/skvortsov/battleship/
battleship-16-31-sat.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-16-31-sat.cnf
MD5SUM34c6b89fff5c4d1bd23006ea2314b10d
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.028995
Satisfiable
(Un)Satisfiability was proved
Number of variables496
Number of clauses3976
Sum of the clauses size15376
Maximum clause length31
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23720
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5256

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
SArTagnan 2011-03-24 [DEPRECATED] (complete)3260948SAT 0.022996 0.010551
shortsattime+ 2011-03-02 (incomplete)3260915SAT 0.028995 0.030464
sattime+ 2011-03-02 (incomplete)3260916SAT 0.029994 0.030297
shortsattime2011 2011-03-02 (incomplete)3260912SAT 0.031994 0.0333519
sattime2011 2011-03-02 (incomplete)3260910SAT 0.032994 0.0382061
ppfolio seq (complete)3260942SAT 0.039993 0.0419
sattime 2011-03-02 (incomplete)3260911SAT 0.045992 0.0462711
adaptg2wsat2011 2011-03-02 (incomplete)3260914SAT 0.062989 0.0629581
SArTagnan 2011-05-15 (fixed) (complete)3385968SAT 0.080986 0.0274299
sathys 2011-04-01 (complete)3260939SAT 0.087986 0.0891721
ppfolio par (complete)3260941SAT 0.442932 0.205402
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366824SAT 9.09762 2.28881
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3260923SAT 9.1826 2.30496
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449660SAT 21.0108 21.0671
SApperloT2010 2011-05-15 (fixed) (complete)3379724SAT 30.6093 30.6126
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3260947SAT 33.9178 33.9216
march_rw 2011-03-02 (complete)3260909SAT 150.355 150.356
RestartSAT A75 (complete)3260918SAT 161.123 161.12
Satisfiability Solver Selector 2011-03-18 (complete)3260943SAT 218.7 218.826
priss UP (complete)3260930SAT 245.536 164.629
Lingeling 587f (fixed) (complete)3371624SAT 260.66 260.652
Lingeling 587 [DEPRECATED] (complete)3260935SAT 267.701 267.694
rcl 2011-04-01 (complete)3260938SAT 298.525 298.512
riss Auto (1200 s timeout) (complete)3472891SAT 321.175 321.173
priss 1.0 (complete)3260932SAT 348.743 87.344
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3260940SAT 384.45 383.422
claspmt 2.0-R4095-patched (fixed) (complete)3373124SAT 394.441 98.8745
claspmt 2.0-R4095 [DEPRECATED] (complete)3299503SAT 398.698 99.8505
riss Auto (complete)3260929SAT 516.768 516.752
riss 1.0 (complete)3260927SAT 564.273 564.258
UmSat 2011-05-12 (fixed) (complete)3379124SAT 664.246 664.227
PicoSAT 941 (complete)3260933SAT 749.164 749.148
UmSat 2011-02-25 [DEPRECATED] (complete)3260919SAT 774.345 774.361
jMiniSat 2011 (complete)3279901SAT 909.929 908.802
Plingeling 587 [DEPRECATED] (complete)3260934SAT 1158.21 290.613
SAT07 reference solver: minisat SAT 2007 (complete)3274388SAT 1166.72 1166.68
Plingeling 587f (fixed) (complete)3371024SAT 1171.47 295.139
priss Auto (complete)3260931SAT 2019.75 505.745
STRUCTure 0.1 (hbr=2) (complete)3311848SAT 4692.53 1180.34
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274387? (TO) 1300 1300.01
MPhaseSAT 2011-02-15 (complete)3260906? (TO) 1300 1300.01
glucose 2 (complete)3260944? (TO) 1300.02 1300.01
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370424? (TO) 1300.03 1300.03
RestartSAT B95 (complete)3260917? (TO) 1300.03 1300.01
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274386? (TO) 1300.03 1300.01
MPhaseSAT_M 2011-02-16 (complete)3260908? (TO) 1300.03 1300.01
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3260907? (TO) 1300.04 1300.01
clasp 2.0-R4092-crafted (complete)3300403? (TO) 1300.04 1300.01
riss Exp (complete)3260928? (TO) 1300.04 1300.01
MPhaseSAT64 2011-05-14 (fixed) (complete)3375524? (TO) 1300.05 1300.01
SApperloT 2011-03-23 (complete)3260949? (TO) 1300.05 1300.01
Black Hole SAT 2011-03-08 (complete)3260920? (TO) 1300.05 1300.01
CryptoMiniSat TechDemo-Alpha-st (complete)3260922? (TO) 1300.05 1300.02
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3260926? (TO) 1300.06 1300.02
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3260924? (TO) 1300.06 1300.03
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368024? (TO) 1300.07 1300.04
QuteRSat 2011-05-12 (fixed) (complete)3376724? (TO) 1300.07 1300.05
tts 5-4 (complete)3260945? (TO) 1300.09 1300.06
QuteRSat 2011-03-01 [DEPRECATED] (complete)3260936? (TO) 1300.09 1300.05
synit_sat 2011-03-03 (complete)3260913? (TO) 1300.09 1300.05
Sol 2011-04-04 (complete)3260937? (TO) 1305.93 1300.05
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369224? (TO) 4800.15 1202.87
CryptoMiniSat TechDemo-Alpha-mt (complete)3260921? (TO) 4800.28 1201.83
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3260925? (TO) 4800.34 1201.77
ttsth 5-4 (complete)3260946? (TO) 4800.49 1204.53
STRUCTure 0.1 (complete)3313048? (TO) 4800.51 1207.31

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 0