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

Result page for benchmark
crafted/skvortsov/battleship/
battleship-7-12-unsat.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-7-12-unsat.cnf
MD5SUM72a4d94c7603cb921acb8c9bb848aa10
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark11.2073
Satisfiable
(Un)Satisfiability was proved
Number of variables84
Number of clauses301
Sum of the clauses size1092
Maximum clause length12
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2252
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 549

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
march_rw 2011-03-02 (complete)3261305UNSAT 11.2073 11.209
Sol 2011-04-04 (complete)3261333UNSAT 37.8522 37.5517
PicoSAT 941 (complete)3261329UNSAT 45.763 45.7648
ppfolio par (complete)3261337UNSAT 92.97 23.3574
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274416UNSAT 106.304 106.302
clasp 2.0-R4092-crafted (complete)3300502UNSAT 107.624 107.622
STRUCTure 0.1 (hbr=2) (complete)3311947UNSAT 116.731 30.0191
STRUCTure 0.1 (complete)3313147UNSAT 126.324 32.7413
SAT07 reference solver: minisat SAT 2007 (complete)3274418UNSAT 127.384 127.382
riss Exp (complete)3261324UNSAT 128.936 128.934
tts 5-4 (complete)3261341UNSAT 150.553 150.551
Satisfiability Solver Selector 2011-03-18 (complete)3261339UNSAT 169.33 169.483
claspmt 2.0-R4095-patched (fixed) (complete)3373223UNSAT 198.271 49.8462
Black Hole SAT 2011-03-08 (complete)3261316UNSAT 248.683 248.673
ppfolio seq (complete)3261338UNSAT 251.505 251.823
MPhaseSAT64 2011-05-14 (fixed) (complete)3375623UNSAT 279.096 279.095
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3261303UNSAT 280.211 280.204
riss 1.0 (complete)3261323UNSAT 328.78 328.793
riss Auto (complete)3261325UNSAT 345.255 345.247
priss UP (complete)3261326UNSAT 345.576 187.612
MPhaseSAT 2011-02-15 (complete)3261302UNSAT 355.881 355.888
MPhaseSAT_M 2011-02-16 (complete)3261304UNSAT 368.342 368.334
riss Auto (1200 s timeout) (complete)3472901UNSAT 368.849 368.841
UmSat 2011-02-25 [DEPRECATED] (complete)3261315UNSAT 445.391 445.386
UmSat 2011-05-12 (fixed) (complete)3379223UNSAT 488.911 488.895
SApperloT2010 2011-05-15 (fixed) (complete)3379823UNSAT 509.913 509.903
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3261343UNSAT 530.627 530.617
ttsth 5-4 (complete)3261342UNSAT 547.67 138.421
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274417UNSAT 576.275 576.26
RestartSAT B95 (complete)3261313UNSAT 761.802 761.781
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449670UNSAT 907.35 907.806
QuteRSat 2011-03-01 [DEPRECATED] (complete)3261332UNSAT 926.814 926.805
QuteRSat 2011-05-12 (fixed) (complete)3376823UNSAT 935.09 935.062
synit_sat 2011-03-03 (complete)3261309UNSAT 1014.6 1014.57
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3261320UNSAT 1049.15 1049.12
RestartSAT A75 (complete)3261314UNSAT 1060.65 1060.63
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368123UNSAT 1094.27 1094.25
jMiniSat 2011 (complete)3280000UNSAT 1138.54 1138.01
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3261322UNSAT 1167.89 1167.87
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370523UNSAT 1185.5 1185.5
priss Auto (complete)3261327UNSAT 1805.45 452.026
priss 1.0 (complete)3261328UNSAT 1841.86 461.135
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3261319UNSAT 2336.96 585.051
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366923UNSAT 2417.46 605.769
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3261321UNSAT 2924.67 732.16
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369323UNSAT 3203.87 802.914
shortsattime+ 2011-03-02 (incomplete)3261311? (TO) 1300 1300.01
glucose 2 (complete)3261340? (TO) 1300.03 1300.01
shortsattime2011 2011-03-02 (incomplete)3261308? (TO) 1300.03 1300.01
sattime2011 2011-03-02 (incomplete)3261306? (TO) 1300.03 1300.01
Lingeling 587f (fixed) (complete)3371723? (TO) 1300.03 1300.02
rcl 2011-04-01 (complete)3261334? (TO) 1300.03 1300.01
sathys 2011-04-01 (complete)3261335? (TO) 1300.04 1300.01
sattime+ 2011-03-02 (incomplete)3261312? (TO) 1300.04 1300.01
SApperloT 2011-03-23 (complete)3261345? (TO) 1300.05 1300.01
sattime 2011-03-02 (incomplete)3261307? (TO) 1300.05 1300.01
adaptg2wsat2011 2011-03-02 (incomplete)3261310? (TO) 1300.05 1300.01
CryptoMiniSat TechDemo-Alpha-st (complete)3261318? (TO) 1300.05 1300.01
Lingeling 587 [DEPRECATED] (complete)3261331? (TO) 1300.06 1300.02
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3261336? (TO) 1300.92 1300.04
Plingeling 587 [DEPRECATED] (complete)3261330? (TO) 4800.15 1201.54
SArTagnan 2011-05-15 (fixed) (complete)3386067? (TO) 4800.2 1204.37
Plingeling 587f (fixed) (complete)3371123? (TO) 4800.24 1202.84
CryptoMiniSat TechDemo-Alpha-mt (complete)3261317? (TO) 4800.28 1201.72
SArTagnan 2011-03-24 [DEPRECATED] (complete)3261344? (TO) 4800.38 1201.75
claspmt 2.0-R4095 [DEPRECATED] (complete)3299602Wrong Cert. 191.64 48.1955

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: