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

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

Jump to solvers results

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-11-11-unsat.cnf
MD5SUMf5821fd80ce137a7b8cae2070a9b28d7
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark4.97324
Satisfiable
(Un)Satisfiability was proved
Number of variables121
Number of clauses726
Sum of the clauses size2541
Maximum clause length11
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2605
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5121

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
march_rw 2011-03-02 (complete)3260953UNSAT 4.97324 4.97348
clasp 2.0-R4092-crafted (complete)3300503UNSAT 24.2713 24.2724
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274389UNSAT 34.7057 34.705
ppfolio par (complete)3260985UNSAT 36.4785 10.3436
claspmt 2.0-R4095-patched (fixed) (complete)3373224UNSAT 36.8364 9.24018
claspmt 2.0-R4095 [DEPRECATED] (complete)3299603UNSAT 38.0482 9.53145
SAT07 reference solver: minisat SAT 2007 (complete)3274391UNSAT 49.0385 49.0396
ppfolio seq (complete)3260986UNSAT 75.9105 75.9115
MPhaseSAT64 2011-05-14 (fixed) (complete)3375624UNSAT 86.7618 86.7594
STRUCTure 0.1 (hbr=2) (complete)3311948UNSAT 87.2497 22.8469
STRUCTure 0.1 (complete)3313148UNSAT 92.4899 24.3788
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3260951UNSAT 108.279 108.276
SApperloT2010 2011-05-15 (fixed) (complete)3379824UNSAT 143.477 143.474
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3260991UNSAT 157.194 157.191
Satisfiability Solver Selector 2011-03-18 (complete)3260987UNSAT 161.23 161.338
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274390UNSAT 163.541 163.547
UmSat 2011-05-12 (fixed) (complete)3379224UNSAT 169.021 169.017
UmSat 2011-02-25 [DEPRECATED] (complete)3260963UNSAT 169.297 169.292
MPhaseSAT 2011-02-15 (complete)3260950UNSAT 176.846 176.845
Black Hole SAT 2011-03-08 (complete)3260964UNSAT 182.437 182.436
MPhaseSAT_M 2011-02-16 (complete)3260952UNSAT 192.134 192.133
PicoSAT 941 (complete)3260977UNSAT 205.92 205.915
jMiniSat 2011 (complete)3280001UNSAT 236.488 235.927
RestartSAT B95 (complete)3260961UNSAT 276.024 276.02
glucose 2 (complete)3260988UNSAT 287.257 287.253
synit_sat 2011-03-03 (complete)3260957UNSAT 351.889 351.879
QuteRSat 2011-03-01 [DEPRECATED] (complete)3260980UNSAT 356.851 356.842
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3260968UNSAT 366.328 366.333
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368124UNSAT 372.401 372.39
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3260970UNSAT 384.006 383.999
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370524UNSAT 391.418 391.439
QuteRSat 2011-05-12 (fixed) (complete)3376824UNSAT 405.603 405.594
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449661UNSAT 445.74 446.538
SApperloT 2011-03-23 (complete)3260993UNSAT 497.391 497.376
rcl 2011-04-01 (complete)3260982UNSAT 554.255 554.239
RestartSAT A75 (complete)3260962UNSAT 738.343 738.321
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366924UNSAT 861.643 216.095
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3260967UNSAT 949.636 237.811
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369324UNSAT 1106.08 282.872
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3260969UNSAT 1249.89 317.828
CryptoMiniSat TechDemo-Alpha-mt (complete)3260965UNSAT 2752.21 689.521
SArTagnan 2011-05-15 (fixed) (complete)3386068UNSAT 3063.53 768.597
SArTagnan 2011-03-24 [DEPRECATED] (complete)3260992UNSAT 3337.88 835.651
riss Auto (1200 s timeout) (complete)3472892? (TO) 1200.03 1200.02
riss Auto (complete)3260973? (TO) 1300.01 1300.01
riss Exp (complete)3260972? (TO) 1300.03 1300.01
shortsattime2011 2011-03-02 (incomplete)3260956? (TO) 1300.03 1300.01
riss 1.0 (complete)3260971? (TO) 1300.03 1300.01
sattime2011 2011-03-02 (incomplete)3260954? (TO) 1300.04 1300.01
Lingeling 587 [DEPRECATED] (complete)3260979? (TO) 1300.04 1300.01
sattime 2011-03-02 (incomplete)3260955? (TO) 1300.04 1300.01
tts 5-4 (complete)3260989? (TO) 1300.04 1300.08
sattime+ 2011-03-02 (incomplete)3260960? (TO) 1300.04 1300.01
CryptoMiniSat TechDemo-Alpha-st (complete)3260966? (TO) 1300.04 1300.01
sathys 2011-04-01 (complete)3260983? (TO) 1300.05 1300.01
adaptg2wsat2011 2011-03-02 (incomplete)3260958? (TO) 1300.05 1300.01
shortsattime+ 2011-03-02 (incomplete)3260959? (TO) 1300.05 1300.01
Lingeling 587f (fixed) (complete)3371724? (TO) 1300.06 1300.02
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3260984? (TO) 1301.01 1300.03
Sol 2011-04-04 (complete)3260981? (TO) 1312.86 1300.01
priss UP (complete)3260974? (TO) 2402.58 1300.02
Plingeling 587 [DEPRECATED] (complete)3260978? (TO) 4800.31 1201.73
priss Auto (complete)3260975? (TO) 4800.32 1201.72
priss 1.0 (complete)3260976? (TO) 4800.33 1202.02
Plingeling 587f (fixed) (complete)3371124? (TO) 4800.43 1206.14
ttsth 5-4 (complete)3260990? (TO) 4800.45 1202.14

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: