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

Result page for benchmark
crafted/skvortsov/battleship/
battleship-6-9-unsat.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-6-9-unsat.cnf
MD5SUMbfd2524dbb7ffd28476c17fbc77b8353
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.051992
Satisfiable
(Un)Satisfiability was proved
Number of variables54
Number of clauses171
Sum of the clauses size594
Maximum clause length9
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2135
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 536

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
march_rw 2011-03-02 (complete)3261481UNSAT 0.051992 0.0519161
Sol 2011-04-04 (complete)3261509UNSAT 0.103983 0.165158
PicoSAT 941 (complete)3261505UNSAT 0.117982 0.120437
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274435UNSAT 0.131979 0.133681
SAT07 reference solver: minisat SAT 2007 (complete)3274436UNSAT 0.174973 0.180574
RestartSAT B95 (complete)3261489UNSAT 0.182971 0.190399
clasp 2.0-R4092-crafted (complete)3300367UNSAT 0.233963 0.234069
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274434UNSAT 0.247962 0.249263
UmSat 2011-02-25 [DEPRECATED] (complete)3261491UNSAT 0.31995 0.32104
UmSat 2011-05-12 (fixed) (complete)3379088UNSAT 0.323949 0.337535
claspmt 2.0-R4095-patched (fixed) (complete)3373088UNSAT 0.38494 0.102582
claspmt 2.0-R4095 [DEPRECATED] (complete)3299467UNSAT 0.395939 0.10589
RestartSAT A75 (complete)3261490UNSAT 0.435933 0.436546
MPhaseSAT 2011-02-15 (complete)3261478UNSAT 0.436933 0.437923
MPhaseSAT_M 2011-02-16 (complete)3261480UNSAT 0.437932 0.438601
QuteRSat 2011-03-01 [DEPRECATED] (complete)3261508UNSAT 0.448931 0.44957
Black Hole SAT 2011-03-08 (complete)3261492UNSAT 0.45093 0.455561
glucose 2 (complete)3261516UNSAT 0.477926 0.479047
QuteRSat 2011-05-12 (fixed) (complete)3376688UNSAT 0.485925 0.486148
Lingeling 587 [DEPRECATED] (complete)3261507UNSAT 0.52092 0.523345
Lingeling 587f (fixed) (complete)3371588UNSAT 0.522919 0.522876
synit_sat 2011-03-03 (complete)3261485UNSAT 0.566913 0.568994
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370388UNSAT 0.578911 0.579401
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3261498UNSAT 0.58591 0.58715
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367988UNSAT 0.594909 0.607765
SApperloT2010 2011-05-15 (fixed) (complete)3379688UNSAT 0.638902 0.640103
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3261519UNSAT 0.640901 0.642056
MPhaseSAT64 2011-05-14 (fixed) (complete)3375488UNSAT 0.643901 0.649066
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3261496UNSAT 0.6469 0.647463
ppfolio par (complete)3261513UNSAT 0.6489 0.22238
ppfolio seq (complete)3261514UNSAT 0.670897 0.671102
tts 5-4 (complete)3261517UNSAT 0.672896 0.673195
SApperloT 2011-03-23 (complete)3261521UNSAT 0.690894 0.691959
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3261479UNSAT 0.728888 0.729975
rcl 2011-04-01 (complete)3261510UNSAT 0.85187 0.862486
riss Auto (complete)3261501UNSAT 0.953854 0.958699
riss 1.0 (complete)3261499UNSAT 0.956854 0.957307
riss Auto (1200 s timeout) (complete)3472907UNSAT 1.02684 1.03569
riss Exp (complete)3261500UNSAT 1.06984 1.07115
SArTagnan 2011-05-15 (fixed) (complete)3385932UNSAT 1.10083 0.388589
SArTagnan 2011-03-24 [DEPRECATED] (complete)3261520UNSAT 1.12083 0.285126
priss UP (complete)3261502UNSAT 1.25981 1.07856
jMiniSat 2011 (complete)3279865UNSAT 1.2888 0.783603
ttsth 5-4 (complete)3261518UNSAT 1.3248 0.432721
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3261495UNSAT 1.39079 0.352511
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366788UNSAT 1.41078 0.358953
CryptoMiniSat TechDemo-Alpha-st (complete)3261494UNSAT 1.44678 1.46455
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3261497UNSAT 1.48477 0.377399
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369188UNSAT 1.50477 0.382769
Plingeling 587f (fixed) (complete)3370988UNSAT 1.60476 0.517711
Plingeling 587 [DEPRECATED] (complete)3261506UNSAT 1.66674 0.517093
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3261512UNSAT 1.67274 1.51272
sathys 2011-04-01 (complete)3261511UNSAT 2.40563 2.40712
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449676UNSAT 2.77458 6.33257
STRUCTure 0.1 (hbr=2) (complete)3311812UNSAT 2.86056 1.12756
Satisfiability Solver Selector 2011-03-18 (complete)3261515UNSAT 3.26 3.36872
STRUCTure 0.1 (complete)3313012UNSAT 3.45747 1.21182
priss Auto (complete)3261503UNSAT 3.69244 0.938213
priss 1.0 (complete)3261504UNSAT 3.76343 0.950336
CryptoMiniSat TechDemo-Alpha-mt (complete)3261493UNSAT 5.46817 1.38809
sattime2011 2011-03-02 (incomplete)3261482? (TO) 1299.98 1300.01
shortsattime+ 2011-03-02 (incomplete)3261487? (TO) 1299.99 1300.01
sattime+ 2011-03-02 (incomplete)3261488? (TO) 1300.03 1300.01
shortsattime2011 2011-03-02 (incomplete)3261484? (TO) 1300.04 1300.01
adaptg2wsat2011 2011-03-02 (incomplete)3261486? (TO) 1300.05 1300.01
sattime 2011-03-02 (incomplete)3261483? (TO) 1300.05 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: