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

Result page for benchmark
crafted/skvortsov/battleship/
battleship-14-27-sat.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-14-27-sat.cnf
MD5SUM9c54c57be5bec760a361df7b3a13ea07
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.014997
Satisfiable
(Un)Satisfiability was proved
Number of variables378
Number of clauses2653
Sum of the clauses size10206
Maximum clause length27
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22457
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5196

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
adaptg2wsat2011 2011-03-02 (incomplete)3261442SAT 0.014997 0.020908
sattime+ 2011-03-02 (incomplete)3261444SAT 0.014997 0.01615
sattime 2011-03-02 (incomplete)3261439SAT 0.016997 0.01853
shortsattime2011 2011-03-02 (incomplete)3261440SAT 0.017996 0.023895
sattime2011 2011-03-02 (incomplete)3261438SAT 0.018996 0.0188659
shortsattime+ 2011-03-02 (incomplete)3261443SAT 0.024995 0.024729
glucose 2 (complete)3261472SAT 0.051991 0.056119
ppfolio seq (complete)3261470SAT 0.096984 0.256053
ppfolio par (complete)3261469SAT 0.112982 0.037803
sathys 2011-04-01 (complete)3261467SAT 0.125979 0.126729
SArTagnan 2011-05-15 (fixed) (complete)3386041SAT 0.205968 0.0712701
tts 5-4 (complete)3261473SAT 1.20681 1.2091
SApperloT2010 2011-05-15 (fixed) (complete)3379797SAT 1.9397 1.94547
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3261475SAT 2.12268 2.12559
ttsth 5-4 (complete)3261474SAT 2.65859 1.16383
STRUCTure 0.1 (complete)3313121SAT 3.60445 1.152
Lingeling 587f (fixed) (complete)3371697SAT 9.10062 9.10229
Lingeling 587 [DEPRECATED] (complete)3261463SAT 9.10761 9.10694
Plingeling 587 [DEPRECATED] (complete)3261462SAT 9.2126 2.36562
Plingeling 587f (fixed) (complete)3371097SAT 9.31958 2.42289
SAT07 reference solver: minisat SAT 2007 (complete)3274430SAT 11.6682 11.6698
RestartSAT A75 (complete)3261446SAT 13.7999 13.8022
SApperloT 2011-03-23 (complete)3261477SAT 14.5218 14.5223
PicoSAT 941 (complete)3261461SAT 14.8027 14.8036
UmSat 2011-05-12 (fixed) (complete)3379197SAT 15.0317 15.0335
UmSat 2011-02-25 [DEPRECATED] (complete)3261447SAT 15.0367 15.037
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449674SAT 19.61 19.7369
jMiniSat 2011 (complete)3279974SAT 30.5803 30.0988
Satisfiability Solver Selector 2011-03-18 (complete)3261471SAT 42.41 42.5307
STRUCTure 0.1 (hbr=2) (complete)3311921SAT 43.4964 11.2107
Sol 2011-04-04 (complete)3261465SAT 44.7412 44.6162
priss UP (complete)3261458SAT 53.0969 31.9351
rcl 2011-04-01 (complete)3261466SAT 55.5226 55.5265
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3261453SAT 77.1243 22.681
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369297SAT 78.1001 24.5433
RestartSAT B95 (complete)3261445SAT 86.5988 86.5978
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3261468SAT 103.41 102.716
claspmt 2.0-R4095-patched (fixed) (complete)3373197SAT 126.652 31.7415
claspmt 2.0-R4095 [DEPRECATED] (complete)3299576SAT 127.131 31.8436
march_rw 2011-03-02 (complete)3261437SAT 128.521 128.519
riss Exp (complete)3261456SAT 409.002 408.987
riss Auto (1200 s timeout) (complete)3472905? (TO) 1200.06 1200.05
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274428? (TO) 1299.99 1300.01
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274429? (TO) 1300.01 1300.01
riss 1.0 (complete)3261455? (TO) 1300.03 1300.01
riss Auto (complete)3261457? (TO) 1300.03 1300.01
QuteRSat 2011-03-01 [DEPRECATED] (complete)3261464? (TO) 1300.03 1300.04
CryptoMiniSat TechDemo-Alpha-st (complete)3261450? (TO) 1300.04 1300.01
MPhaseSAT64 2011-05-14 (fixed) (complete)3375597? (TO) 1300.04 1300.01
clasp 2.0-R4092-crafted (complete)3300476? (TO) 1300.04 1300.01
MPhaseSAT_M 2011-02-16 (complete)3261436? (TO) 1300.04 1300.01
MPhaseSAT 2011-02-15 (complete)3261434? (TO) 1300.04 1300.01
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3261454? (TO) 1300.05 1300.02
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3261435? (TO) 1300.05 1300.01
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3261452? (TO) 1300.06 1300.04
Black Hole SAT 2011-03-08 (complete)3261448? (TO) 1300.07 1300.01
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368097? (TO) 1300.07 1300.04
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370497? (TO) 1300.07 1300.03
synit_sat 2011-03-03 (complete)3261441? (TO) 1300.08 1300.04
QuteRSat 2011-05-12 (fixed) (complete)3376797? (TO) 1300.08 1300.05
priss Auto (complete)3261459? (TO) 4800.02 1201.72
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366897? (TO) 4800.19 1203.3
SArTagnan 2011-03-24 [DEPRECATED] (complete)3261476? (TO) 4800.25 1201.68
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3261451? (TO) 4800.35 1201.79
CryptoMiniSat TechDemo-Alpha-mt (complete)3261449? (TO) 4800.35 1201.72
priss 1.0 (complete)3261460? (TO) 4800.41 1201.82

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 0