SAT 2011 Competition: main competition (phase 1): 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.000999
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
RestartSAT A75 (complete)3261006SAT 0.000999 0.0064361
sattime+ 2011-03-02 (incomplete)3261004SAT 0.001998 0.00607605
adaptg2wsat2011 2011-03-02 (incomplete)3261002SAT 0.001998 0.006708
shortsattime2011 2011-03-02 (incomplete)3261000SAT 0.001999 0.00601996
sattime 2011-03-02 (incomplete)3260999SAT 0.001999 0.00605305
SAT07 reference solver: minisat SAT 2007 (complete)3274394SAT 0.001999 0.00601994
sattime2011 2011-03-02 (incomplete)3260998SAT 0.001999 0.00639793
shortsattime+ 2011-03-02 (incomplete)3261003SAT 0.001999 0.00597093
SApperloT2010 2011-05-15 (fixed) (complete)3379677SAT 0.002998 0.0154101
RestartSAT B95 (complete)3261005SAT 0.002998 0.00628892
PicoSAT 941 (complete)3261021SAT 0.002999 0.00615594
ppfolio seq (complete)3261030SAT 0.004998 0.010415
Lingeling 587f (fixed) (complete)3371577SAT 0.004998 0.0133831
Lingeling 587 [DEPRECATED] (complete)3261023SAT 0.004999 0.00618789
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3260995SAT 0.006998 0.0102621
claspmt 2.0-R4095-patched (fixed) (complete)3373077SAT 0.006998 0.0119589
MPhaseSAT64 2011-05-14 (fixed) (complete)3375477SAT 0.007997 0.010435
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274393SAT 0.007997 0.00805101
MPhaseSAT 2011-02-15 (complete)3260994SAT 0.010997 0.0119911
SArTagnan 2011-03-24 [DEPRECATED] (complete)3261036SAT 0.011997 0.00777194
sathys 2011-04-01 (complete)3261027SAT 0.011997 0.012252
MPhaseSAT_M 2011-02-16 (complete)3260996SAT 0.011998 0.0146959
claspmt 2.0-R4095 [DEPRECATED] (complete)3299456SAT 0.013997 0.00937804
rcl 2011-04-01 (complete)3261026SAT 0.014996 0.016221
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366777SAT 0.014997 0.0107259
ppfolio par (complete)3261029SAT 0.015997 0.00876508
UmSat 2011-05-12 (fixed) (complete)3379077SAT 0.016996 0.0223261
UmSat 2011-02-25 [DEPRECATED] (complete)3261007SAT 0.016996 0.017243
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3261011SAT 0.017996 0.00954396
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3261012SAT 0.021996 0.02339
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3261014SAT 0.021996 0.0243751
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370377SAT 0.022995 0.0227541
synit_sat 2011-03-03 (complete)3261001SAT 0.022995 0.0231919
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367977SAT 0.022996 0.035523
march_rw 2011-03-02 (complete)3260997SAT 0.022996 0.026482
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3261013SAT 0.024995 0.0100421
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369177SAT 0.028994 0.014557
QuteRSat 2011-03-01 [DEPRECATED] (complete)3261024SAT 0.030994 0.032225
clasp 2.0-R4092-crafted (complete)3300356SAT 0.034994 0.036171
SArTagnan 2011-05-15 (fixed) (complete)3385921SAT 0.037994 0.017642
QuteRSat 2011-05-12 (fixed) (complete)3376677SAT 0.046991 0.0512491
CryptoMiniSat TechDemo-Alpha-st (complete)3261010SAT 0.095984 0.107275
Sol 2011-04-04 (complete)3261025SAT 0.137978 0.143003
CryptoMiniSat TechDemo-Alpha-mt (complete)3261009SAT 0.161974 0.051433
jMiniSat 2011 (complete)3279854SAT 0.211967 0.183062
Plingeling 587 [DEPRECATED] (complete)3261022SAT 0.408936 0.239993
Plingeling 587f (fixed) (complete)3370977SAT 0.416935 0.247407
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3261028SAT 0.45893 0.292725
STRUCTure 0.1 (complete)3313001SAT 0.864868 0.40904
riss Auto (complete)3261017SAT 1.00385 1.0106
riss 1.0 (complete)3261015SAT 1.00385 1.00726
riss Exp (complete)3261016SAT 1.04584 1.04624
riss Auto (1200 s timeout) (complete)3472893SAT 1.08183 1.08379
priss UP (complete)3261018SAT 1.12683 1.08645
tts 5-4 (complete)3261033SAT 1.56276 1.56317
ttsth 5-4 (complete)3261034SAT 1.58276 1.56007
STRUCTure 0.1 (hbr=2) (complete)3311801SAT 2.56661 0.898752
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449662SAT 2.75158 2.79105
Satisfiability Solver Selector 2011-03-18 (complete)3261031SAT 2.79157 2.82699
priss 1.0 (complete)3261020SAT 3.9684 1.01786
priss Auto (complete)3261019SAT 3.99139 1.01928
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274392SAT 8.38672 8.38773
glucose 2 (complete)3261032SAT 180.771 180.786
SApperloT 2011-03-23 (complete)3261037SAT 540.814 540.795
Black Hole SAT 2011-03-08 (complete)3261008? (TO) 1300.04 1300.01
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3261035No Cert. 0.001999 0.00647808

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