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

Result page for benchmark
crafted/skvortsov/battleship/
battleship-10-19-sat.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-10-19-sat.cnf
MD5SUM75220eaba7baf977fa730e58b8e41195
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.004998
Satisfiable
(Un)Satisfiability was proved
Number of variables190
Number of clauses955
Sum of the clauses size3610
Maximum clause length19
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2855
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5100

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
sattime 2011-03-02 (incomplete)3427211SAT 0.004998 0.018745
sattime+ 2011-03-02 (incomplete)3499885SAT 0.004998 0.00623493
RestartSAT B95 (complete)3421132SAT 0.005998 0.0180521
claspmt 2.0-R4095 [DEPRECATED] (complete)3322453SAT 0.005998 0.0131169
SAT07 reference solver: minisat SAT 2007 (complete)3275624SAT 0.006998 0.00978212
ppfolio seq (complete)3275622SAT 0.007998 0.00864795
SApperloT2010 2011-05-15 (fixed) (complete)3439013SAT 0.008998 0.017975
sathys 2011-04-01 (complete)3439015SAT 0.009997 0.029023
PicoSAT 941 (complete)3439014SAT 0.010998 0.034755
claspmt 2.0-R4095-patched (fixed) (complete)3381058SAT 0.012997 0.0139031
MPhaseSAT 2011-02-15 (complete)3445755SAT 0.013997 0.015868
ppfolio par (complete)3275621SAT 0.024995 0.00924599
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3499426SAT 0.038993 0.038724
SArTagnan 2011-05-15 (fixed) (complete)3439016SAT 0.114982 0.022748
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3421591SAT 0.270958 0.048595
Plingeling 587f (fixed) (complete)3394548SAT 0.299953 0.230138
jMiniSat 2011 (complete)3439017SAT 0.307952 0.193514
priss 1.0 (complete)3499425SAT 3.17752 0.831709
CryptoMiniSat Strange-Night2-st (fixed) (complete)3421891SAT 8.64368 8.64657
QuteRSat 2011-05-12 (fixed) (complete)3421131SAT 10.8064 10.8478
Satisfiability Solver Selector 2011-03-18 (complete)3275620SAT 11.54 11.6975
Sol 2011-04-04 (complete)3394549SAT 12.992 12.8981
clasp 2.0-R4092-crafted (complete)3423091SAT 28.8966 28.8965
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3275623SAT 39.468 39.4668
glucose 2 (complete)3303464? (TO) 5000.06 4999.93

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 0