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

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

Jump to solvers results

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-9-17-sat.cnf
MD5SUM4c14c75b1475700b62c822dfa7b5d924
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.002998
Satisfiable
(Un)Satisfiability was proved
Number of variables153
Number of clauses693
Sum of the clauses size2601
Maximum clause length17
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2612
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 581

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
sattime+ 2011-03-02 (incomplete)3261752SAT 0.002998 0.00650102
sattime2011 2011-03-02 (incomplete)3261746SAT 0.002999 0.00634691
adaptg2wsat2011 2011-03-02 (incomplete)3261750SAT 0.002999 0.00642111
shortsattime2011 2011-03-02 (incomplete)3261748SAT 0.002999 0.00609303
RestartSAT A75 (complete)3261754SAT 0.003998 0.00639089
shortsattime+ 2011-03-02 (incomplete)3261751SAT 0.004998 0.00624106
ppfolio seq (complete)3261778SAT 0.006998 0.013858
Lingeling 587f (fixed) (complete)3371578SAT 0.006998 0.010423
Lingeling 587 [DEPRECATED] (complete)3261771SAT 0.007998 0.0101059
clasp 2.0-R4092-crafted (complete)3300357SAT 0.011997 0.0129229
SAT07 reference solver: minisat SAT 2007 (complete)3274454SAT 0.015997 0.017478
sathys 2011-04-01 (complete)3261775SAT 0.017996 0.019132
RestartSAT B95 (complete)3261753SAT 0.023996 0.0257401
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3261761SAT 0.026995 0.012421
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3261759SAT 0.026995 0.0115709
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3261783SAT 0.027995 0.0294191
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366778SAT 0.027995 0.0127381
SApperloT2010 2011-05-15 (fixed) (complete)3379678SAT 0.027995 0.0272949
claspmt 2.0-R4095 [DEPRECATED] (complete)3299457SAT 0.030994 0.0144131
SArTagnan 2011-03-24 [DEPRECATED] (complete)3261784SAT 0.034993 0.012935
UmSat 2011-02-25 [DEPRECATED] (complete)3261755SAT 0.035993 0.0360369
UmSat 2011-05-12 (fixed) (complete)3379078SAT 0.037994 0.0389639
claspmt 2.0-R4095-patched (fixed) (complete)3373078SAT 0.043992 0.017586
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369178SAT 0.047992 0.0188379
march_rw 2011-03-02 (complete)3261745SAT 0.061989 0.0617719
ppfolio par (complete)3261777SAT 0.080987 0.0477961
MPhaseSAT 2011-02-15 (complete)3261742SAT 0.089986 0.095265
MPhaseSAT_M 2011-02-16 (complete)3261744SAT 0.096984 0.100958
PicoSAT 941 (complete)3261769SAT 0.201969 0.2025
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3261776SAT 0.207967 0.165933
Plingeling 587f (fixed) (complete)3370978SAT 0.26196 0.262482
SArTagnan 2011-05-15 (fixed) (complete)3385922SAT 0.304953 0.10988
Plingeling 587 [DEPRECATED] (complete)3261770SAT 0.32195 0.260903
jMiniSat 2011 (complete)3279855SAT 0.384941 0.265337
synit_sat 2011-03-03 (complete)3261749SAT 0.477926 0.478734
rcl 2011-04-01 (complete)3261774SAT 0.591909 0.592232
QuteRSat 2011-05-12 (fixed) (complete)3376678SAT 0.606906 0.613099
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274452SAT 1.14482 1.1451
STRUCTure 0.1 (hbr=2) (complete)3311802SAT 1.18482 0.539963
riss 1.0 (complete)3261763SAT 1.62875 1.6308
riss Auto (1200 s timeout) (complete)3472913SAT 1.66275 1.66501
riss Auto (complete)3261765SAT 1.73973 1.7404
MPhaseSAT64 2011-05-14 (fixed) (complete)3375478SAT 1.77973 1.78083
priss UP (complete)3261766SAT 2.24466 2.07923
riss Exp (complete)3261764SAT 2.27365 2.2736
STRUCTure 0.1 (complete)3313002SAT 4.04438 1.28091
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274453SAT 5.33419 5.33539
priss Auto (complete)3261767SAT 6.46002 1.62839
priss 1.0 (complete)3261768SAT 6.599 1.67426
ttsth 5-4 (complete)3261782SAT 7.68083 4.3993
Sol 2011-04-04 (complete)3261773SAT 7.79781 7.76812
tts 5-4 (complete)3261781SAT 10.7914 10.7914
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449682SAT 10.7984 10.8386
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3261762SAT 20.4529 20.4525
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370378SAT 21.9697 21.9704
CryptoMiniSat TechDemo-Alpha-st (complete)3261758SAT 22.6206 22.6319
Satisfiability Solver Selector 2011-03-18 (complete)3261779SAT 27.8588 27.9041
QuteRSat 2011-03-01 [DEPRECATED] (complete)3261772SAT 38.9251 38.9266
CryptoMiniSat TechDemo-Alpha-mt (complete)3261757SAT 39.296 10.5776
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3261743SAT 79.8159 79.8227
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367978SAT 247.254 247.249
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3261760SAT 249.395 249.391
sattime 2011-03-02 (incomplete)3261747SAT 1296.33 1296.3
SApperloT 2011-03-23 (complete)3261785? (TO) 1300 1300.01
glucose 2 (complete)3261780? (TO) 1300.03 1300.01
Black Hole SAT 2011-03-08 (complete)3261756? (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 0