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

Result page for benchmark
crafted/skvortsov/battleship/
battleship-11-21-sat.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-11-21-sat.cnf
MD5SUMb96c20b4b7951c39c5802e0553b42cad
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.005999
Satisfiable
(Un)Satisfiability was proved
Number of variables231
Number of clauses1276
Sum of the clauses size4851
Maximum clause length21
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21155
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5121

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
shortsattime2011 2011-03-02 (incomplete)3261704SAT 0.005999 0.00844503
adaptg2wsat2011 2011-03-02 (incomplete)3261706SAT 0.008997 0.008731
sattime+ 2011-03-02 (incomplete)3261708SAT 0.008998 0.0106269
sattime2011 2011-03-02 (incomplete)3261702SAT 0.009998 0.010191
sathys 2011-04-01 (complete)3261731SAT 0.017997 0.019859
SArTagnan 2011-03-24 [DEPRECATED] (complete)3261740SAT 0.019996 0.010123
sattime 2011-03-02 (incomplete)3261703SAT 0.024995 0.0252369
SApperloT2010 2011-05-15 (fixed) (complete)3379794SAT 0.032994 0.0392989
SArTagnan 2011-05-15 (fixed) (complete)3386038SAT 0.132979 0.0541861
rcl 2011-04-01 (complete)3261730SAT 0.18797 0.189317
Plingeling 587f (fixed) (complete)3371094SAT 0.329948 0.276678
Plingeling 587 [DEPRECATED] (complete)3261726SAT 0.348946 0.256395
UmSat 2011-02-25 [DEPRECATED] (complete)3261711SAT 0.814875 0.814925
UmSat 2011-05-12 (fixed) (complete)3379194SAT 0.815875 0.817295
riss Exp (complete)3261720SAT 0.828873 0.830138
march_rw 2011-03-02 (complete)3261701SAT 2.6166 2.61633
riss 1.0 (complete)3261719SAT 2.78857 2.78975
riss Auto (complete)3261721SAT 2.90456 2.90575
riss Auto (1200 s timeout) (complete)3472912SAT 3.01654 3.07375
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3261717SAT 3.76443 0.946459
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369294SAT 3.78942 0.953443
priss Auto (complete)3261723SAT 4.48932 1.14949
SAT07 reference solver: minisat SAT 2007 (complete)3274451SAT 5.36518 5.37044
PicoSAT 941 (complete)3261725SAT 5.54016 5.54042
priss 1.0 (complete)3261724SAT 6.02108 1.53035
RestartSAT A75 (complete)3261710SAT 6.584 6.58522
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449681SAT 7.18391 7.20323
STRUCTure 0.1 (hbr=2) (complete)3311918SAT 12.2601 3.3518
STRUCTure 0.1 (complete)3313118SAT 14.3038 3.82906
priss UP (complete)3261722SAT 14.8237 9.0944
shortsattime+ 2011-03-02 (incomplete)3261707SAT 16.4085 16.4106
RestartSAT B95 (complete)3261709SAT 21.4547 21.4565
Lingeling 587 [DEPRECATED] (complete)3261727SAT 23.1125 23.1121
ppfolio par (complete)3261733SAT 23.51 5.91925
Satisfiability Solver Selector 2011-03-18 (complete)3261735SAT 24.0213 24.0435
Lingeling 587f (fixed) (complete)3371694SAT 25.1732 25.176
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274450SAT 35.5496 35.5603
jMiniSat 2011 (complete)3279971SAT 47.2478 46.7815
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3261732SAT 50.2484 49.6867
claspmt 2.0-R4095 [DEPRECATED] (complete)3299573SAT 63.0654 15.8002
claspmt 2.0-R4095-patched (fixed) (complete)3373194SAT 63.7783 15.9957
ppfolio seq (complete)3261734SAT 68.2286 68.2493
MPhaseSAT64 2011-05-14 (fixed) (complete)3375594SAT 80.8397 80.8396
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3261699SAT 89.5554 89.5565
CryptoMiniSat TechDemo-Alpha-st (complete)3261714SAT 107.153 107.168
clasp 2.0-R4092-crafted (complete)3300473SAT 156.615 156.611
MPhaseSAT 2011-02-15 (complete)3261698SAT 247.555 247.551
MPhaseSAT_M 2011-02-16 (complete)3261700SAT 247.766 247.758
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3261716SAT 383.201 383.192
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368094SAT 385.506 385.501
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366894SAT 1538.54 385.827
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3261715SAT 1546.41 387.167
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274449? (TO) 1300.01 1300.01
Black Hole SAT 2011-03-08 (complete)3261712? (TO) 1300.01 1300.01
glucose 2 (complete)3261736? (TO) 1300.03 1300.01
synit_sat 2011-03-03 (complete)3261705? (TO) 1300.04 1300.04
tts 5-4 (complete)3261737? (TO) 1300.04 1300.08
SApperloT 2011-03-23 (complete)3261741? (TO) 1300.04 1300.01
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3261718? (TO) 1300.05 1300.02
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370494? (TO) 1300.06 1300.03
QuteRSat 2011-03-01 [DEPRECATED] (complete)3261728? (TO) 1300.08 1300.03
QuteRSat 2011-05-12 (fixed) (complete)3376794? (TO) 1300.09 1300.04
Sol 2011-04-04 (complete)3261729? (TO) 1310.69 1300.01
ttsth 5-4 (complete)3261738? (TO) 4800.31 1218.03
CryptoMiniSat TechDemo-Alpha-mt (complete)3261713? (TO) 4800.42 1202.02
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3261739No Cert. 0.031994 0.032778

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 0