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

Result page for benchmark
crafted/skvortsov/battleship/
battleship-8-15-sat.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-8-15-sat.cnf
MD5SUMb1ba8b47bafac3f7a405869613ec0235
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.001998
Satisfiable
(Un)Satisfiability was proved
Number of variables120
Number of clauses484
Sum of the clauses size1800
Maximum clause length15
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2420
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 564

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
sattime+ 2011-03-02 (incomplete)3499869SAT 0.001998 0.00620396
RestartSAT B95 (complete)3421100SAT 0.001999 0.0189681
SApperloT2010 2011-05-15 (fixed) (complete)3438933SAT 0.001999 0.00570989
sattime 2011-03-02 (incomplete)3427195SAT 0.001999 0.00981003
SAT07 reference solver: minisat SAT 2007 (complete)3275544SAT 0.002999 0.00689389
PicoSAT 941 (complete)3438934SAT 0.002999 0.00573491
ppfolio seq (complete)3275542SAT 0.004998 0.00677894
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3499394SAT 0.007997 0.00811897
claspmt 2.0-R4095-patched (fixed) (complete)3381042SAT 0.009997 0.00749591
sathys 2011-04-01 (complete)3438935SAT 0.011997 0.0210709
MPhaseSAT 2011-02-15 (complete)3445739SAT 0.011997 0.0204201
claspmt 2.0-R4095 [DEPRECATED] (complete)3322437SAT 0.012997 0.0125059
ppfolio par (complete)3275541SAT 0.017996 0.00898405
CryptoMiniSat Strange-Night2-st (fixed) (complete)3421875SAT 0.021995 0.0230139
clasp 2.0-R4092-crafted (complete)3423075SAT 0.034994 0.035649
SArTagnan 2011-05-15 (fixed) (complete)3438936SAT 0.085986 0.0220709
Sol 2011-04-04 (complete)3394517SAT 0.138978 0.139982
jMiniSat 2011 (complete)3438937SAT 0.216966 0.167312
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3421575SAT 0.39094 0.062484
Plingeling 587f (fixed) (complete)3394516SAT 0.536918 0.316899
QuteRSat 2011-05-12 (fixed) (complete)3421099SAT 0.624904 0.62644
Satisfiability Solver Selector 2011-03-18 (complete)3275540SAT 2.75858 2.8085
priss 1.0 (complete)3499393SAT 4.00039 1.01777
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3275543SAT 7.74882 7.74953
glucose 2 (complete)3303448SAT 163.855 163.852

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 0