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

Result page for benchmark
crafted/mosoi/289/
289-sat-7x6.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/mosoi/289/
289-sat-7x6.cnf
MD5SUMd97201611a1145eb2ceef5296c6c3ed9
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 variables168
Number of clauses1554
Sum of the clauses size5712
Maximum clause length4
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 41302
Number of clauses of size 50
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Black Hole SAT 2011-03-08 (complete)3260216SAT 0.000999 0.00648093
PicoSAT 941 (complete)3260229SAT 0.000999 0.00619709
SApperloT 2011-03-23 (complete)3260245SAT 0.001999 0.00628509
SApperloT2010 2011-05-15 (fixed) (complete)3379663SAT 0.003998 0.013379
shortsattime2011 2011-03-02 (incomplete)3260208SAT 0.005998 0.00698701
sattime 2011-03-02 (incomplete)3260207SAT 0.005998 0.00698493
sattime+ 2011-03-02 (incomplete)3260212SAT 0.005998 0.00639805
adaptg2wsat2011 2011-03-02 (incomplete)3260210SAT 0.005999 0.00758893
shortsattime+ 2011-03-02 (incomplete)3260211SAT 0.005999 0.00626103
sattime2011 2011-03-02 (incomplete)3260206SAT 0.005999 0.00658508
RestartSAT A75 (complete)3260214SAT 0.006998 0.0075709
clasp 2.0-R4092-crafted (complete)3300342SAT 0.006998 0.00765297
RestartSAT B95 (complete)3260213SAT 0.006998 0.010945
SArTagnan 2011-03-24 [DEPRECATED] (complete)3260244SAT 0.006998 0.00664594
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274311SAT 0.007997 0.00783309
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367963SAT 0.007997 0.0164181
SAT07 reference solver: minisat SAT 2007 (complete)3274313SAT 0.007997 0.01053
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3260222SAT 0.008997 0.0103489
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3260220SAT 0.008998 0.010789
glucose 2 (complete)3260240SAT 0.009997 0.010843
claspmt 2.0-R4095 [DEPRECATED] (complete)3299442SAT 0.009997 0.0102891
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370363SAT 0.009997 0.0101091
claspmt 2.0-R4095-patched (fixed) (complete)3373063SAT 0.009997 0.010249
UmSat 2011-05-12 (fixed) (complete)3379063SAT 0.009998 0.01171
CryptoMiniSat TechDemo-Alpha-st (complete)3260218SAT 0.009998 0.0273739
UmSat 2011-02-25 [DEPRECATED] (complete)3260215SAT 0.009998 0.0106191
ppfolio seq (complete)3260238SAT 0.010997 0.01722
sathys 2011-04-01 (complete)3260235SAT 0.014996 0.0177469
rcl 2011-04-01 (complete)3260234SAT 0.014996 0.017967
march_rw 2011-03-02 (complete)3260205SAT 0.016996 0.017282
ppfolio par (complete)3260237SAT 0.017996 0.024081
Lingeling 587 [DEPRECATED] (complete)3260231SAT 0.017997 0.0195921
synit_sat 2011-03-03 (complete)3260209SAT 0.018996 0.020408
Lingeling 587f (fixed) (complete)3371563SAT 0.018997 0.023776
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274312SAT 0.020996 0.022182
MPhaseSAT_M 2011-02-16 (complete)3260204SAT 0.022995 0.0242849
MPhaseSAT 2011-02-15 (complete)3260202SAT 0.022996 0.034831
MPhaseSAT64 2011-05-14 (fixed) (complete)3375463SAT 0.025995 0.027136
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3260203SAT 0.028994 0.030786
SArTagnan 2011-05-15 (fixed) (complete)3385907SAT 0.032994 0.0149669
Plingeling 587 [DEPRECATED] (complete)3260230SAT 0.034994 0.022222
Plingeling 587f (fixed) (complete)3370963SAT 0.035994 0.0224299
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3260219SAT 0.037993 0.015056
QuteRSat 2011-05-12 (fixed) (complete)3376663SAT 0.039993 0.0444301
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3260221SAT 0.042992 0.016121
QuteRSat 2011-03-01 [DEPRECATED] (complete)3260232SAT 0.044992 0.0452051
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369163SAT 0.050991 0.0202431
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366763SAT 0.063989 0.0219989
CryptoMiniSat TechDemo-Alpha-mt (complete)3260217SAT 0.102983 0.0380329
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3260236SAT 0.143977 0.154074
jMiniSat 2011 (complete)3279840SAT 0.167974 0.164611
Sol 2011-04-04 (complete)3260233SAT 0.171973 0.20271
STRUCTure 0.1 (hbr=2) (complete)3311787SAT 2.21966 0.806682
riss Exp (complete)3260224SAT 2.71359 2.71742
riss 1.0 (complete)3260223SAT 2.72258 2.72429
riss Auto (1200 s timeout) (complete)3472866SAT 2.72758 2.73399
priss UP (complete)3260226SAT 2.82857 2.76594
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449635SAT 2.91256 2.93643
riss Auto (complete)3260225SAT 2.93455 2.93608
Satisfiability Solver Selector 2011-03-18 (complete)3260239SAT 3.05053 5.60261
STRUCTure 0.1 (complete)3312987SAT 3.42848 1.08463
priss Auto (complete)3260227SAT 10.8084 2.72818
priss 1.0 (complete)3260228SAT 10.8164 2.72632
tts 5-4 (complete)3260241SAT 173.2 173.194
ttsth 5-4 (complete)3260242SAT 186.548 46.8356
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3260243No Cert. 0.003998 0.00652003

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 -48 -45 -46 47 -167 -143 -119 -95 -71 -69 -70 72 -168 -144 -120 -96 -94 93 -165 166 -141 142 -117 118 -162 -154 -150 -146 -138
-158 -130 -126 -122 -134 -52 -49 -50 51 -75 -73 -74 76 -164 -160 -156 -152 -140 -136 -132 -128 -116 -112 -108 -104 -101 -102 103 -127 125
-151 149 -139 137 -161 163 -147 -135 133 -157 159 -153 155 -145 148 -131 129 -99 -100 -98 97 -121 -105 -106 107 -115 -111 -123 124 -114 113
-109 110 -91 -89 -90 92 -20 -17 -18 19 -15 -11 -67 -43 -83 -79 -87 -85 -86 88 -16 -14 13 -9 -5 -61 -37 -65 -81 -82 84 -12 10 -58 -34 -38 -78
-62 -42 -66 68 -64 -60 63 -59 57 -53 -77 80 -56 -8 -44 41 -33 -29 -25 -40 39 -35 -27 36 -32 -28 26 -54 55 -31 30 -6 7 -21 -22 -23 24