SAT 2011 Competition: main competition (phase 1): 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.003998
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
adaptg2wsat2011 2011-03-02 (incomplete)3260870SAT 0.003998 0.00673799
sattime+ 2011-03-02 (incomplete)3260872SAT 0.003999 0.00658206
SApperloT2010 2011-05-15 (fixed) (complete)3379791SAT 0.007997 0.0154971
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3260903SAT 0.008997 0.00889692
shortsattime2011 2011-03-02 (incomplete)3260868SAT 0.011998 0.0152671
shortsattime+ 2011-03-02 (incomplete)3260871SAT 0.013997 0.013915
ppfolio seq (complete)3260898SAT 0.014997 0.0190499
sattime2011 2011-03-02 (incomplete)3260866SAT 0.014997 0.018652
RestartSAT A75 (complete)3260874SAT 0.087986 0.089531
ppfolio par (complete)3260897SAT 0.208967 0.104091
sattime 2011-03-02 (incomplete)3260867SAT 0.216967 0.222225
sathys 2011-04-01 (complete)3260895SAT 0.635903 0.636476
RestartSAT B95 (complete)3260873SAT 1.10383 1.1038
SArTagnan 2011-03-24 [DEPRECATED] (complete)3260904SAT 1.78873 0.453235
SAT07 reference solver: minisat SAT 2007 (complete)3274385SAT 2.13267 2.13319
rcl 2011-04-01 (complete)3260894SAT 2.5896 2.59434
PicoSAT 941 (complete)3260889SAT 4.06638 4.06906
Lingeling 587f (fixed) (complete)3371691SAT 4.08938 4.09724
Lingeling 587 [DEPRECATED] (complete)3260891SAT 4.29335 4.29986
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274384SAT 5.37618 5.57271
jMiniSat 2011 (complete)3279968SAT 6.77497 6.59669
march_rw 2011-03-02 (complete)3260865SAT 11.3353 11.335
UmSat 2011-05-12 (fixed) (complete)3379191SAT 11.9232 11.9283
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449659SAT 11.98 12.3356
STRUCTure 0.1 (complete)3313115SAT 12.0582 3.29424
UmSat 2011-02-25 [DEPRECATED] (complete)3260875SAT 12.1132 12.115
Plingeling 587 [DEPRECATED] (complete)3260890SAT 13.6419 3.72463
STRUCTure 0.1 (hbr=2) (complete)3311915SAT 13.7469 3.70494
priss Auto (complete)3260887SAT 13.8219 3.4789
riss Exp (complete)3260884SAT 13.8879 13.8883
Plingeling 587f (fixed) (complete)3371091SAT 13.8989 3.79459
priss 1.0 (complete)3260888SAT 13.9779 3.51457
riss 1.0 (complete)3260883SAT 18.0922 18.0946
riss Auto (complete)3260885SAT 18.5982 18.5982
claspmt 2.0-R4095-patched (fixed) (complete)3373191SAT 19.3941 4.87062
claspmt 2.0-R4095 [DEPRECATED] (complete)3299570SAT 19.5 4.88763
Satisfiability Solver Selector 2011-03-18 (complete)3260899SAT 29.04 29.2441
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3260896SAT 32.829 32.3397
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274383SAT 39.579 39.5835
riss Auto (1200 s timeout) (complete)3472890SAT 45.4311 45.5391
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369291SAT 84.0322 21.072
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3260881SAT 86.2489 22.0291
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3260863SAT 94.6226 94.6238
SArTagnan 2011-05-15 (fixed) (complete)3386035SAT 96.2624 39.9367
clasp 2.0-R4092-crafted (complete)3300470SAT 152.922 152.919
priss UP (complete)3260886SAT 168.919 94.6529
MPhaseSAT 2011-02-15 (complete)3260862SAT 173.873 173.876
MPhaseSAT_M 2011-02-16 (complete)3260864SAT 188.54 188.537
MPhaseSAT64 2011-05-14 (fixed) (complete)3375591SAT 353.075 353.071
CryptoMiniSat TechDemo-Alpha-st (complete)3260878SAT 554.124 554.13
synit_sat 2011-03-03 (complete)3260869SAT 597.071 597.073
SApperloT 2011-03-23 (complete)3260905SAT 788.854 788.837
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370491SAT 942.412 942.429
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3260882SAT 1063.98 1063.95
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366891SAT 1141.7 286.278
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3260879SAT 1146.27 286.985
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3260880? (TO) 1299.97 1300.02
glucose 2 (complete)3260900? (TO) 1300.01 1300.01
Black Hole SAT 2011-03-08 (complete)3260876? (TO) 1300.03 1300.01
QuteRSat 2011-03-01 [DEPRECATED] (complete)3260892? (TO) 1300.07 1300.03
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368091? (TO) 1300.07 1300.03
QuteRSat 2011-05-12 (fixed) (complete)3376791? (TO) 1300.07 1300.04
tts 5-4 (complete)3260901? (TO) 1300.09 1300.06
Sol 2011-04-04 (complete)3260893? (TO) 1306.22 1300.04
CryptoMiniSat TechDemo-Alpha-mt (complete)3260877? (TO) 4800.27 1201.52
ttsth 5-4 (complete)3260902? (TO) 4800.31 1206.62

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