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

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

Jump to solvers results

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-10-17-sat.cnf
MD5SUM817f170ef66023b68d8cda67f1d05059
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.003999
Satisfiable
(Un)Satisfiability was proved
Number of variables170
Number of clauses865
Sum of the clauses size3230
Maximum clause length17
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2765
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)3427192SAT 0.003999 0.00978289
SApperloT2010 2011-05-15 (fixed) (complete)3438918SAT 0.006998 0.0242429
sattime+ 2011-03-02 (incomplete)3499866SAT 0.016997 0.0180441
ppfolio seq (complete)3275527SAT 0.033994 0.0352509
sathys 2011-04-01 (complete)3438920SAT 0.626904 0.630613
RestartSAT B95 (complete)3421094SAT 1.11283 1.11418
SAT07 reference solver: minisat SAT 2007 (complete)3275529SAT 1.9787 1.97947
PicoSAT 941 (complete)3438919SAT 4.07738 4.07878
ppfolio par (complete)3275526SAT 4.34834 0.567324
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3499388SAT 5.37518 5.37535
jMiniSat 2011 (complete)3438922SAT 6.77297 6.49794
Plingeling 587f (fixed) (complete)3394510SAT 8.28574 1.26954
SArTagnan 2011-05-15 (fixed) (complete)3438921SAT 20.0719 2.5499
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3421572SAT 21.3688 2.96473
Satisfiability Solver Selector 2011-03-18 (complete)3275525SAT 29.32 29.4733
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3275528SAT 36.4485 36.4481
claspmt 2.0-R4095-patched (fixed) (complete)3381039SAT 42.5745 5.36088
claspmt 2.0-R4095 [DEPRECATED] (complete)3322434SAT 42.7605 5.40154
priss 1.0 (complete)3499387SAT 111.82 27.9886
clasp 2.0-R4092-crafted (complete)3423072SAT 154.252 154.249
MPhaseSAT 2011-02-15 (complete)3445736SAT 172.194 172.19
QuteRSat 2011-05-12 (fixed) (complete)3421093SAT 898.556 898.557
Sol 2011-04-04 (complete)3394511SAT 1259 1249.11
glucose 2 (complete)3303445SAT 4115.11 4115.02
CryptoMiniSat Strange-Night2-st (fixed) (complete)3421872? (TO) 5000.07 4999.94

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 0