SAT 2011 Competition: main competition (phase 1): 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.021995
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
adaptg2wsat2011 2011-03-02 (incomplete)3261662SAT 0.021995 0.0229869
shortsattime2011 2011-03-02 (incomplete)3261660SAT 0.021996 0.0223689
sattime2011 2011-03-02 (incomplete)3261658SAT 0.023995 0.0284531
sattime 2011-03-02 (incomplete)3261659SAT 0.025995 0.0255939
shortsattime+ 2011-03-02 (incomplete)3261663SAT 0.025996 0.0273679
ppfolio seq (complete)3261690SAT 0.028994 0.0295089
sattime+ 2011-03-02 (incomplete)3261664SAT 0.045992 0.0464021
sathys 2011-04-01 (complete)3261687SAT 0.154976 0.155772
ppfolio par (complete)3261689SAT 0.228964 0.205059
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449680SAT 8.00378 8.04652
RestartSAT A75 (complete)3261666SAT 51.4662 51.4662
SApperloT2010 2011-05-15 (fixed) (complete)3379723SAT 54.5657 54.571
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3261695SAT 54.9626 54.9671
glucose 2 (complete)3261692SAT 63.8623 63.8682
Lingeling 587 [DEPRECATED] (complete)3261683SAT 80.3018 80.3047
Lingeling 587f (fixed) (complete)3371623SAT 83.1574 83.1555
SArTagnan 2011-05-15 (fixed) (complete)3385967SAT 247.642 83.0905
Satisfiability Solver Selector 2011-03-18 (complete)3261691SAT 278.078 278.114
Plingeling 587 [DEPRECATED] (complete)3261682SAT 357.268 90.1797
Plingeling 587f (fixed) (complete)3371023SAT 358.117 90.3236
claspmt 2.0-R4095-patched (fixed) (complete)3373123SAT 441.094 110.561
claspmt 2.0-R4095 [DEPRECATED] (complete)3299502SAT 444.648 111.346
jMiniSat 2011 (complete)3279900SAT 928.913 927.957
riss Auto (1200 s timeout) (complete)3472911? (TO) 1200.04 1200.03
riss 1.0 (complete)3261675? (TO) 1299.97 1300.01
riss Exp (complete)3261676? (TO) 1299.98 1300.01
CryptoMiniSat TechDemo-Alpha-st (complete)3261670? (TO) 1299.98 1300.01
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274447? (TO) 1300 1300.01
SAT07 reference solver: minisat SAT 2007 (complete)3274448? (TO) 1300 1300.01
riss Auto (complete)3261677? (TO) 1300.02 1300.01
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370423? (TO) 1300.02 1300.03
QuteRSat 2011-03-01 [DEPRECATED] (complete)3261684? (TO) 1300.03 1300.05
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3261674? (TO) 1300.04 1300.02
SApperloT 2011-03-23 (complete)3261697? (TO) 1300.04 1300.01
rcl 2011-04-01 (complete)3261686? (TO) 1300.04 1300.01
PicoSAT 941 (complete)3261681? (TO) 1300.04 1300.01
Black Hole SAT 2011-03-08 (complete)3261668? (TO) 1300.04 1300.01
RestartSAT B95 (complete)3261665? (TO) 1300.04 1300.01
MPhaseSAT_M 2011-02-16 (complete)3261656? (TO) 1300.04 1300.01
MPhaseSAT 2011-02-15 (complete)3261654? (TO) 1300.04 1300.01
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3261672? (TO) 1300.05 1300.03
UmSat 2011-02-25 [DEPRECATED] (complete)3261667? (TO) 1300.05 1300.02
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3261655? (TO) 1300.05 1300.01
clasp 2.0-R4092-crafted (complete)3300402? (TO) 1300.05 1300.01
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274446? (TO) 1300.05 1300.01
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368023? (TO) 1300.06 1300.04
MPhaseSAT64 2011-05-14 (fixed) (complete)3375523? (TO) 1300.06 1300.02
tts 5-4 (complete)3261693? (TO) 1300.06 1300.07
march_rw 2011-03-02 (complete)3261657? (TO) 1300.06 1300.03
UmSat 2011-05-12 (fixed) (complete)3379123? (TO) 1300.07 1300.02
QuteRSat 2011-05-12 (fixed) (complete)3376723? (TO) 1300.08 1300.05
synit_sat 2011-03-03 (complete)3261661? (TO) 1300.08 1300.05
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3261688? (TO) 1302.34 1300.05
Sol 2011-04-04 (complete)3261685? (TO) 1303.71 1300.08
priss UP (complete)3261678? (TO) 2349.12 1300.02
priss 1.0 (complete)3261680? (TO) 4800.1 1201.72
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3261671? (TO) 4800.13 1201.7
CryptoMiniSat TechDemo-Alpha-mt (complete)3261669? (TO) 4800.14 1202.33
ttsth 5-4 (complete)3261694? (TO) 4800.14 1202.98
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366823? (TO) 4800.24 1203.8
priss Auto (complete)3261679? (TO) 4800.24 1201.82
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3261673? (TO) 4800.26 1201.76
STRUCTure 0.1 (hbr=2) (complete)3311847? (TO) 4800.26 1207.34
STRUCTure 0.1 (complete)3313047? (TO) 4800.27 1207.34
SArTagnan 2011-03-24 [DEPRECATED] (complete)3261696? (TO) 4800.37 1201.76
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369223? (TO) 4800.5 1203.77

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