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

Result page for benchmark
crafted/skvortsov/battleship/
battleship-12-23-sat.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-12-23-sat.cnf
MD5SUM80263d3bb0d20781a1cc41611bb23ae3
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.004999
Satisfiable
(Un)Satisfiability was proved
Number of variables276
Number of clauses1662
Sum of the clauses size6348
Maximum clause length23
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21518
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5144

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
SAT07 reference solver: minisat SAT 2007 (complete)3274427SAT 0.004999 0.0061489
SApperloT2010 2011-05-15 (fixed) (complete)3379795SAT 0.006998 0.017083
sattime+ 2011-03-02 (incomplete)3261400SAT 0.007997 0.00871888
shortsattime2011 2011-03-02 (incomplete)3261396SAT 0.007998 0.00856496
sattime 2011-03-02 (incomplete)3261395SAT 0.007998 0.0109049
sattime2011 2011-03-02 (incomplete)3261394SAT 0.008997 0.295826
adaptg2wsat2011 2011-03-02 (incomplete)3261398SAT 0.008997 0.013436
shortsattime+ 2011-03-02 (incomplete)3261399SAT 0.008997 0.010294
UmSat 2011-05-12 (fixed) (complete)3379195SAT 0.011998 0.012645
SArTagnan 2011-05-15 (fixed) (complete)3386039SAT 0.012997 0.0166911
UmSat 2011-02-25 [DEPRECATED] (complete)3261403SAT 0.012997 0.012466
sathys 2011-04-01 (complete)3261423SAT 0.018996 0.028118
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3261407SAT 0.020996 0.0107081
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3261391SAT 0.021995 0.025909
MPhaseSAT64 2011-05-14 (fixed) (complete)3375595SAT 0.021996 0.0232469
ppfolio seq (complete)3261426SAT 0.022996 0.0236539
MPhaseSAT_M 2011-02-16 (complete)3261392SAT 0.023995 0.0250381
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3261409SAT 0.023995 0.0114911
MPhaseSAT 2011-02-15 (complete)3261390SAT 0.024996 0.0289691
RestartSAT A75 (complete)3261402SAT 0.026995 0.0289081
Lingeling 587f (fixed) (complete)3371695SAT 0.032994 0.0388399
Lingeling 587 [DEPRECATED] (complete)3261419SAT 0.032994 0.033531
PicoSAT 941 (complete)3261417SAT 0.035993 0.0372381
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366895SAT 0.040993 0.0165089
SArTagnan 2011-03-24 [DEPRECATED] (complete)3261432SAT 0.041992 0.0162581
rcl 2011-04-01 (complete)3261422SAT 0.044993 0.0444019
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369295SAT 0.048992 0.018699
ppfolio par (complete)3261425SAT 0.06299 0.0256929
RestartSAT B95 (complete)3261401SAT 0.06299 0.0637601
march_rw 2011-03-02 (complete)3261393SAT 0.083987 0.086098
Plingeling 587 [DEPRECATED] (complete)3261418SAT 0.248961 0.167206
Plingeling 587f (fixed) (complete)3371095SAT 0.25596 0.180574
claspmt 2.0-R4095-patched (fixed) (complete)3373195SAT 0.311952 0.086133
claspmt 2.0-R4095 [DEPRECATED] (complete)3299574SAT 0.32495 0.089289
jMiniSat 2011 (complete)3279972SAT 0.417936 0.274953
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3261424SAT 0.617905 0.37844
tts 5-4 (complete)3261429SAT 0.846871 0.848991
riss 1.0 (complete)3261411SAT 1.45378 1.45484
riss Auto (complete)3261413SAT 1.45378 1.4535
riss Exp (complete)3261412SAT 1.46578 1.4708
riss Auto (1200 s timeout) (complete)3472904SAT 1.55676 1.55856
priss UP (complete)3261414SAT 1.85972 1.6957
STRUCTure 0.1 (complete)3313119SAT 2.69659 0.937792
STRUCTure 0.1 (hbr=2) (complete)3311919SAT 2.91855 0.974201
ttsth 5-4 (complete)3261430SAT 3.20451 0.999718
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274426SAT 5.01224 5.01231
priss Auto (complete)3261415SAT 5.59715 1.43378
priss 1.0 (complete)3261416SAT 5.83311 1.52023
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449673SAT 7.05393 7.0773
Satisfiability Solver Selector 2011-03-18 (complete)3261427SAT 24.0853 24.1091
synit_sat 2011-03-03 (complete)3261397SAT 94.8306 94.8305
glucose 2 (complete)3261428SAT 135.145 135.149
clasp 2.0-R4092-crafted (complete)3300474SAT 147.709 147.706
SApperloT 2011-03-23 (complete)3261433SAT 157.042 157.039
QuteRSat 2011-05-12 (fixed) (complete)3376795SAT 239.783 239.775
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274425SAT 390.021 390.012
CryptoMiniSat TechDemo-Alpha-st (complete)3261406SAT 427.514 427.513
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368095SAT 639.813 639.795
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3261408SAT 651.011 651.035
Black Hole SAT 2011-03-08 (complete)3261404? (TO) 1300.01 1300.01
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370495? (TO) 1300.03 1300.02
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3261410? (TO) 1300.04 1300.02
QuteRSat 2011-03-01 [DEPRECATED] (complete)3261420? (TO) 1300.08 1300.04
Sol 2011-04-04 (complete)3261421? (TO) 1304.46 1300.05
CryptoMiniSat TechDemo-Alpha-mt (complete)3261405? (TO) 4800.19 1201.72
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3261431No Cert. 0.005998 0.00821695

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 0