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

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

Jump to solvers results

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-10-18-sat.cnf
MD5SUM8d1a6057b61b09d4ac0bb88470e901e8
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 variables180
Number of clauses910
Sum of the clauses size3420
Maximum clause length18
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2810
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
sattime2011 2011-03-02 (incomplete)3261130SAT 0.003998 0.00602292
sattime 2011-03-02 (incomplete)3261131SAT 0.003999 0.00830288
sattime+ 2011-03-02 (incomplete)3261136SAT 0.003999 0.00624807
shortsattime2011 2011-03-02 (incomplete)3261132SAT 0.003999 0.0109029
shortsattime+ 2011-03-02 (incomplete)3261135SAT 0.004998 0.005993
adaptg2wsat2011 2011-03-02 (incomplete)3261134SAT 0.004998 0.00718509
RestartSAT A75 (complete)3261138SAT 0.005998 0.00636701
PicoSAT 941 (complete)3261153SAT 0.005999 0.0066541
ppfolio seq (complete)3261162SAT 0.006998 0.0090689
Lingeling 587f (fixed) (complete)3371692SAT 0.008998 0.0108941
Lingeling 587 [DEPRECATED] (complete)3261155SAT 0.008998 0.00968694
MPhaseSAT_M 2011-02-16 (complete)3261128SAT 0.011998 0.0137151
MPhaseSAT 2011-02-15 (complete)3261126SAT 0.011998 0.015497
SAT07 reference solver: minisat SAT 2007 (complete)3274406SAT 0.011998 0.0128461
sathys 2011-04-01 (complete)3261159SAT 0.012997 0.0141119
rcl 2011-04-01 (complete)3261158SAT 0.014997 0.0159091
SApperloT2010 2011-05-15 (fixed) (complete)3379792SAT 0.017996 0.018009
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3261167SAT 0.018996 0.019794
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3261145SAT 0.021996 0.0116099
ppfolio par (complete)3261161SAT 0.023995 0.0169379
UmSat 2011-02-25 [DEPRECATED] (complete)3261139SAT 0.028994 0.0297319
UmSat 2011-05-12 (fixed) (complete)3379192SAT 0.030994 0.0311009
MPhaseSAT64 2011-05-14 (fixed) (complete)3375592SAT 0.036994 0.038358
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369292SAT 0.042993 0.0159131
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3261127SAT 0.043992 0.0448069
claspmt 2.0-R4095 [DEPRECATED] (complete)3299571SAT 0.063989 0.022768
claspmt 2.0-R4095-patched (fixed) (complete)3373192SAT 0.065989 0.023639
SArTagnan 2011-03-24 [DEPRECATED] (complete)3261168SAT 0.087985 0.0266279
RestartSAT B95 (complete)3261137SAT 0.156976 0.157505
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3261143SAT 0.193969 0.0538521
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366892SAT 0.196969 0.056777
SArTagnan 2011-05-15 (fixed) (complete)3386036SAT 0.197969 0.109068
Plingeling 587 [DEPRECATED] (complete)3261154SAT 0.285956 0.221271
march_rw 2011-03-02 (complete)3261129SAT 0.295954 0.29848
Plingeling 587f (fixed) (complete)3371092SAT 0.295954 0.231326
jMiniSat 2011 (complete)3279969SAT 0.305952 0.22602
riss Auto (complete)3261149SAT 0.882865 0.882719
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3261160SAT 0.908861 0.612194
riss 1.0 (complete)3261147SAT 0.960853 0.962066
riss Exp (complete)3261148SAT 1.03284 1.03369
riss Auto (1200 s timeout) (complete)3472897SAT 1.03584 1.03703
STRUCTure 0.1 (hbr=2) (complete)3311916SAT 1.48977 0.622934
priss UP (complete)3261150SAT 2.16767 1.77875
STRUCTure 0.1 (complete)3313116SAT 2.19267 0.818721
priss 1.0 (complete)3261152SAT 3.00954 0.780037
priss Auto (complete)3261151SAT 3.02854 0.772704
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274405SAT 9.94823 5.05938
clasp 2.0-R4092-crafted (complete)3300471SAT 10.6614 10.665
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449666SAT 10.8394 10.8799
Sol 2011-04-04 (complete)3261157SAT 11.7822 11.7348
tts 5-4 (complete)3261165SAT 27.6418 27.6444
Satisfiability Solver Selector 2011-03-18 (complete)3261163SAT 27.8868 27.9148
ttsth 5-4 (complete)3261166SAT 54.0768 19.218
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274404SAT 77.2692 77.2694
QuteRSat 2011-05-12 (fixed) (complete)3376792SAT 111.29 111.288
synit_sat 2011-03-03 (complete)3261133SAT 116.25 116.249
QuteRSat 2011-03-01 [DEPRECATED] (complete)3261156SAT 186.217 186.212
CryptoMiniSat TechDemo-Alpha-st (complete)3261142SAT 204.877 204.883
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3261144SAT 295.123 295.119
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368092SAT 316.651 316.645
SApperloT 2011-03-23 (complete)3261169SAT 1241.88 1241.84
CryptoMiniSat TechDemo-Alpha-mt (complete)3261141SAT 2087.13 522.619
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370492? (TO) 1298.32 1300.02
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3261146? (TO) 1299.97 1300.02
Black Hole SAT 2011-03-08 (complete)3261140? (TO) 1299.97 1300.01
glucose 2 (complete)3261164? (TO) 1300.04 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 0