SAT 2011 Competition: main competition (phase 1): 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.003999
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
adaptg2wsat2011 2011-03-02 (incomplete)3261574SAT 0.003999 0.00650798
shortsattime+ 2011-03-02 (incomplete)3261575SAT 0.003999 0.00626103
sattime 2011-03-02 (incomplete)3261571SAT 0.003999 0.00821203
shortsattime2011 2011-03-02 (incomplete)3261572SAT 0.003999 0.00590905
sattime+ 2011-03-02 (incomplete)3261576SAT 0.004998 0.00650398
RestartSAT B95 (complete)3261577SAT 0.004998 0.010317
sattime2011 2011-03-02 (incomplete)3261570SAT 0.004998 0.00635901
RestartSAT A75 (complete)3261578SAT 0.004999 0.00648907
SAT07 reference solver: minisat SAT 2007 (complete)3274442SAT 0.006998 0.0121889
ppfolio seq (complete)3261602SAT 0.007998 0.008462
UmSat 2011-02-25 [DEPRECATED] (complete)3261579SAT 0.007998 0.0116301
UmSat 2011-05-12 (fixed) (complete)3379193SAT 0.007998 0.0124951
SApperloT2010 2011-05-15 (fixed) (complete)3379793SAT 0.008997 0.0127011
sathys 2011-04-01 (complete)3261599SAT 0.008998 0.00970796
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3261607SAT 0.008998 0.00969703
rcl 2011-04-01 (complete)3261598SAT 0.010997 0.013037
PicoSAT 941 (complete)3261593SAT 0.010998 0.0122581
Lingeling 587 [DEPRECATED] (complete)3261595SAT 0.010998 0.01231
Lingeling 587f (fixed) (complete)3371693SAT 0.011997 0.0132071
MPhaseSAT64 2011-05-14 (fixed) (complete)3375593SAT 0.011998 0.014303
MPhaseSAT_M 2011-02-16 (complete)3261568SAT 0.013997 0.016452
claspmt 2.0-R4095 [DEPRECATED] (complete)3299572SAT 0.014996 0.00960107
MPhaseSAT 2011-02-15 (complete)3261566SAT 0.014997 0.015668
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3261567SAT 0.014997 0.0151169
SArTagnan 2011-03-24 [DEPRECATED] (complete)3261608SAT 0.016996 0.00929592
claspmt 2.0-R4095-patched (fixed) (complete)3373193SAT 0.019996 0.012239
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3261585SAT 0.021995 0.0106269
ppfolio par (complete)3261601SAT 0.021996 0.00948699
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3261583SAT 0.025995 0.01121
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274441SAT 0.034994 0.035564
SArTagnan 2011-05-15 (fixed) (complete)3386037SAT 0.034994 0.0190719
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366893SAT 0.037993 0.0167951
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369293SAT 0.039993 0.0168219
march_rw 2011-03-02 (complete)3261569SAT 0.048992 0.0498399
synit_sat 2011-03-03 (complete)3261573SAT 0.159975 0.161922
Plingeling 587 [DEPRECATED] (complete)3261594SAT 0.245962 0.216713
Plingeling 587f (fixed) (complete)3371093SAT 0.25396 0.234248
jMiniSat 2011 (complete)3279970SAT 0.276957 0.246717
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3261600SAT 0.331948 0.237628
riss Exp (complete)3261588SAT 0.78688 0.787368
riss Auto (1200 s timeout) (complete)3472909SAT 0.825874 0.826092
riss 1.0 (complete)3261587SAT 0.863868 0.869403
riss Auto (complete)3261589SAT 0.901862 0.903085
priss UP (complete)3261590SAT 1.12983 1.0067
STRUCTure 0.1 (hbr=2) (complete)3311917SAT 1.23681 0.5893
STRUCTure 0.1 (complete)3313117SAT 1.51277 0.632678
priss 1.0 (complete)3261592SAT 3.10053 0.790027
priss Auto (complete)3261591SAT 3.15552 0.833718
QuteRSat 2011-05-12 (fixed) (complete)3376793SAT 3.99139 3.99309
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449678SAT 7.11192 9.73227
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3261584SAT 8.89665 8.89956
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368093SAT 9.53155 9.53448
tts 5-4 (complete)3261605SAT 9.54055 9.54058
ttsth 5-4 (complete)3261606SAT 9.72152 9.40075
Satisfiability Solver Selector 2011-03-18 (complete)3261603SAT 11.74 11.8567
Sol 2011-04-04 (complete)3261597SAT 13.052 12.9968
QuteRSat 2011-03-01 [DEPRECATED] (complete)3261596SAT 15.5156 15.5184
CryptoMiniSat TechDemo-Alpha-mt (complete)3261581SAT 18.9741 7.13842
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370493SAT 20.4969 20.4998
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3261586SAT 22.5546 22.5562
clasp 2.0-R4092-crafted (complete)3300472SAT 31.3652 31.3697
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274440SAT 38.8931 38.8979
CryptoMiniSat TechDemo-Alpha-st (complete)3261582SAT 40.2899 40.3016
SApperloT 2011-03-23 (complete)3261609SAT 508.968 508.959
glucose 2 (complete)3261604? (TO) 1299.92 1300.01
Black Hole SAT 2011-03-08 (complete)3261580? (TO) 1300.03 1300.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 0