SAT 2011 Competition: main competition (phase 2): 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.002999
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)3499889SAT 0.002999 0.00597994
sattime 2011-03-02 (incomplete)3427215SAT 0.002999 0.018817
claspmt 2.0-R4095-patched (fixed) (complete)3381062SAT 0.006998 0.010931
claspmt 2.0-R4095 [DEPRECATED] (complete)3322457SAT 0.010998 0.0117511
clasp 2.0-R4092-crafted (complete)3423095SAT 0.010998 0.01971
ppfolio par (complete)3275641SAT 0.013997 0.009187
SAT07 reference solver: minisat SAT 2007 (complete)3275644SAT 0.016997 0.0170061
sathys 2011-04-01 (complete)3439035SAT 0.017997 0.019497
RestartSAT B95 (complete)3421140SAT 0.023996 0.0240341
SApperloT2010 2011-05-15 (fixed) (complete)3439033SAT 0.026995 0.027225
MPhaseSAT 2011-02-15 (complete)3445759SAT 0.090985 0.091468
ppfolio seq (complete)3275642SAT 0.156975 0.161573
SArTagnan 2011-05-15 (fixed) (complete)3439036SAT 0.173972 0.031814
PicoSAT 941 (complete)3439034SAT 0.202968 0.202629
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3421595SAT 0.247962 0.044759
Plingeling 587f (fixed) (complete)3394556SAT 0.338948 0.250278
jMiniSat 2011 (complete)3439037SAT 0.376942 0.529027
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3275643SAT 1.20382 1.20415
QuteRSat 2011-05-12 (fixed) (complete)3421139SAT 1.21881 1.21829
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3499434SAT 5.32919 5.33028
priss 1.0 (complete)3499433SAT 6.23405 1.5838
Sol 2011-04-04 (complete)3394557SAT 8.19375 8.16219
Satisfiability Solver Selector 2011-03-18 (complete)3275640SAT 27.8038 27.8481
CryptoMiniSat Strange-Night2-st (fixed) (complete)3421895SAT 234.801 234.797
glucose 2 (complete)3303468SAT 1939.5 1939.49

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