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

Result page for benchmark
crafted/skvortsov/battleship/
battleship-7-13-sat.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-7-13-sat.cnf
MD5SUMa2c175b2897a753a651fd44412cf3601
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 variables91
Number of clauses322
Sum of the clauses size1183
Maximum clause length13
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2273
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
shortsattime+ 2011-03-02 (incomplete)3261619SAT 0.000999 0.00628905
sattime2011 2011-03-02 (incomplete)3261614SAT 0.000999 0.00629995
shortsattime2011 2011-03-02 (incomplete)3261616SAT 0.000999 0.00625409
adaptg2wsat2011 2011-03-02 (incomplete)3261618SAT 0.000999 0.00645109
sattime 2011-03-02 (incomplete)3261615SAT 0.001998 0.00621492
sattime+ 2011-03-02 (incomplete)3261620SAT 0.001999 0.00645395
RestartSAT A75 (complete)3261622SAT 0.001999 0.00637106
SAT07 reference solver: minisat SAT 2007 (complete)3274445SAT 0.001999 0.00634806
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3261628SAT 0.002998 0.00644408
clasp 2.0-R4092-crafted (complete)3300355SAT 0.002998 0.00616311
SApperloT2010 2011-05-15 (fixed) (complete)3379676SAT 0.002999 0.0122729
Lingeling 587f (fixed) (complete)3371576SAT 0.002999 0.0148621
RestartSAT B95 (complete)3261621SAT 0.003998 0.00617592
Lingeling 587 [DEPRECATED] (complete)3261639SAT 0.003998 0.00591611
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3261630SAT 0.003998 0.00662811
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367976SAT 0.003998 0.01479
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370376SAT 0.003998 0.0141009
UmSat 2011-02-25 [DEPRECATED] (complete)3261623SAT 0.004998 0.0064329
UmSat 2011-05-12 (fixed) (complete)3379076SAT 0.004998 0.0125909
PicoSAT 941 (complete)3261637SAT 0.004998 0.00592507
MPhaseSAT 2011-02-15 (complete)3261610SAT 0.005999 0.00674108
MPhaseSAT64 2011-05-14 (fixed) (complete)3375476SAT 0.005999 0.0132129
MPhaseSAT_M 2011-02-16 (complete)3261612SAT 0.006998 0.00686012
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3261611SAT 0.006998 0.00706092
ppfolio seq (complete)3261646SAT 0.006998 0.00893889
claspmt 2.0-R4095-patched (fixed) (complete)3373076SAT 0.008997 0.0106421
claspmt 2.0-R4095 [DEPRECATED] (complete)3299455SAT 0.008997 0.0070419
march_rw 2011-03-02 (complete)3261613SAT 0.009998 0.00980589
sathys 2011-04-01 (complete)3261643SAT 0.009998 0.0110091
rcl 2011-04-01 (complete)3261642SAT 0.009998 0.0151651
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3261627SAT 0.012997 0.00817205
ppfolio par (complete)3261645SAT 0.012997 0.00718111
SArTagnan 2011-03-24 [DEPRECATED] (complete)3261652SAT 0.013997 0.00745097
SArTagnan 2011-05-15 (fixed) (complete)3385920SAT 0.014996 0.017066
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3261629SAT 0.014997 0.00838798
synit_sat 2011-03-03 (complete)3261617SAT 0.025995 0.0271319
QuteRSat 2011-03-01 [DEPRECATED] (complete)3261640SAT 0.029994 0.0340289
QuteRSat 2011-05-12 (fixed) (complete)3376676SAT 0.029994 0.0303171
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274444SAT 0.029995 0.0312119
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369176SAT 0.033994 0.015256
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366776SAT 0.036993 0.0160691
CryptoMiniSat TechDemo-Alpha-st (complete)3261626SAT 0.046992 0.0612611
CryptoMiniSat TechDemo-Alpha-mt (complete)3261625SAT 0.086985 0.0321229
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274443SAT 0.117982 0.118559
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3261644SAT 0.195969 0.160293
jMiniSat 2011 (complete)3279853SAT 0.289955 0.222209
Plingeling 587 [DEPRECATED] (complete)3261638SAT 0.305953 0.301438
Plingeling 587f (fixed) (complete)3370976SAT 0.312952 0.308866
riss Auto (1200 s timeout) (complete)3472910SAT 0.506922 0.507273
riss 1.0 (complete)3261631SAT 0.510922 0.511808
riss Exp (complete)3261632SAT 0.524919 0.526538
riss Auto (complete)3261633SAT 0.534918 0.535469
priss UP (complete)3261634SAT 0.71689 0.632238
ttsth 5-4 (complete)3261650SAT 0.898862 0.899274
Sol 2011-04-04 (complete)3261641SAT 0.91686 0.928527
tts 5-4 (complete)3261649SAT 0.943856 0.945808
STRUCTure 0.1 (hbr=2) (complete)3311800SAT 0.948855 0.419994
priss Auto (complete)3261635SAT 1.9337 0.508299
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449679SAT 2.73658 3.14859
Satisfiability Solver Selector 2011-03-18 (complete)3261647SAT 2.83757 2.84989
STRUCTure 0.1 (complete)3313000SAT 2.84457 1.00719
priss 1.0 (complete)3261636SAT 2.91256 0.736769
glucose 2 (complete)3261648SAT 45.5771 45.5803
SApperloT 2011-03-23 (complete)3261653SAT 213.231 213.24
Black Hole SAT 2011-03-08 (complete)3261624SAT 252.537 252.529
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3261651No Cert. 0.003998 0.00588891

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 0