SAT 2011 Competition: main competition (phase 2): 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.007998
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
sattime 2011-03-02 (incomplete)3427214SAT 0.007998 0.0187451
sattime+ 2011-03-02 (incomplete)3499888SAT 0.008997 0.010007
sathys 2011-04-01 (complete)3439030SAT 0.017997 0.020166
ppfolio par (complete)3275636SAT 0.025995 0.0120051
SApperloT2010 2011-05-15 (fixed) (complete)3439028SAT 0.030994 0.0327659
SArTagnan 2011-05-15 (fixed) (complete)3439031SAT 0.067989 0.0142859
Plingeling 587f (fixed) (complete)3394554SAT 0.500922 0.262629
claspmt 2.0-R4095 [DEPRECATED] (complete)3322456SAT 1.74373 0.229
claspmt 2.0-R4095-patched (fixed) (complete)3381061SAT 1.75473 0.232959
priss 1.0 (complete)3499431SAT 3.09353 0.795829
PicoSAT 941 (complete)3439029SAT 5.56715 5.56725
SAT07 reference solver: minisat SAT 2007 (complete)3275639SAT 5.98609 5.98642
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3421594SAT 11.9762 1.51227
RestartSAT B95 (complete)3421138SAT 21.5937 21.5948
Satisfiability Solver Selector 2011-03-18 (complete)3275635SAT 23.9334 23.9536
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3499432SAT 35.3206 35.3209
jMiniSat 2011 (complete)3439032SAT 47.7527 47.645
ppfolio seq (complete)3275637SAT 67.3908 67.3893
clasp 2.0-R4092-crafted (complete)3423094SAT 156.533 156.531
MPhaseSAT 2011-02-15 (complete)3445758SAT 246.762 246.756
CryptoMiniSat Strange-Night2-st (fixed) (complete)3421894SAT 330.534 330.528
QuteRSat 2011-05-12 (fixed) (complete)3421137SAT 519.697 519.715
Sol 2011-04-04 (complete)3394555? (TO) 5000.04 4942.42
glucose 2 (complete)3303467? (TO) 5000.04 4999.92
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3275638? (TO) 5000.09 5000.01

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