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

Result page for benchmark
random/large/
unif-k7-r85-v200-c17000-S862393334-098-UNKNOWN.cnf

Jump to solvers results

General information on the benchmark

Namerandom/large/
unif-k7-r85-v200-c17000-S862393334-098-UNKNOWN.cnf
MD5SUM860d0404ebc2282cbe692f8828f81b2c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark454.473
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of clauses17000
Sum of the clauses size119000
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 517000

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
borg-sat 11.03.02-seq-random (fixed, 1200 s timeout) (complete)3483996SAT 282.046 282.342
csls prob-8cores (incomplete)3158284SAT 454.473 113.771
shortsattime+ 2011-03-02 (incomplete)3168889SAT 550.475 550.487
sattime+ 2011-03-02 (incomplete)3169489SAT 746.439 746.432
borg-sat 11.03.02-seq-random (fixed) (complete)3377198? (MO) 703.66 703.974
borg-sat 11.03.02-par-random (fixed) (complete)3378098? (MO) 2392.61 602.831
borg-sat 11.03.02-random [DEPRECATED] (complete)3317042? (MO) 2756.43 712.817
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3448978? (TO) 1200.07 1200.23
QuteRSat 2011-05-12 (fixed) (complete)3375998? (TO) 1282.54 1300.03
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367298? (TO) 1299.24 1300.02
Satisfiability Solver Selector 2011-03-18 (complete)3200829? (TO) 1299.7 1300.02
QuteRSat 2011-03-01 [DEPRECATED] (complete)3188376? (TO) 1299.85 1300.02
Black Hole SAT 2011-03-08 (complete)3171889? (TO) 1299.89 1300.01
RestartSAT A75 (complete)3170689? (TO) 1299.91 1300.01
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3190176? (TO) 1299.91 1300.04
ppfolio seq (complete)3191376? (TO) 1299.95 1300.01
UmSat 2011-02-25 [DEPRECATED] (complete)3171289? (TO) 1299.95 1300.02
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3094625? (TO) 1299.96 1300.01
sathys 2011-04-01 (complete)3189576? (TO) 1299.97 1300.01
SAT09 reference solver: gnovelty+2 2009-03-22 (incomplete)3204194? (TO) 1299.98 1300.01
MPhaseSAT64 2011-05-14 (fixed) (complete)3374798? (TO) 1300.01 1300.01
adaptg2wsat2011 2011-03-02 (incomplete)3168289? (TO) 1300.02 1300.01
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3369698? (TO) 1300.02 1300.02
SAT09 reference solver: SATzilla2009_R 2009-03-22 (complete)3204192? (TO) 1300.03 1300.01
MPhaseSAT 2011-02-15 (complete)3094025? (TO) 1300.03 1300.01
MPhaseSAT_M 2011-02-16 (complete)3095225? (TO) 1300.03 1300.01
CryptoMiniSat TechDemo-Alpha-st (complete)3173089? (TO) 1300.03 1300.01
MultiFlip 2011-02-11 (incomplete)3095825? (TO) 1300.03 1300.01
SAT09 reference solver: TNM 2009-03-22 (incomplete)3204193? (TO) 1300.04 1300.01
sattime2011 2011-03-02 (incomplete)3153400? (TO) 1300.04 1300.03
march_rw 2011-03-02 (complete)3152227? (TO) 1300.04 1300.01
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3174289? (TO) 1300.04 1300.01
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3175489? (TO) 1300.04 1300.01
SAT09 reference solver: march_hi hi (complete)3204195? (TO) 1300.04 1300.02
sparrow2011 sparrow2011_ubcsat1.2_2011-03-02 (incomplete)3162276? (TO) 1300.05 1300.01
RestartSAT B95 (complete)3170089? (TO) 1300.05 1300.01
sattime 2011-03-02 (incomplete)3154000? (TO) 1300.05 1300.01
shortsattime2011 2011-03-02 (incomplete)3156792? (TO) 1300.06 1300.01
EagleUP 1.565.350 (incomplete)3093425? (TO) 1300.07 1300.01
synit_sat 2011-03-03 (complete)3159484? (TO) 1300.07 1300.02
SAT_Intersec_01 2011-03-01 (complete)3194727? (TO) 1300.59 1300.1
jMiniSat 2011 (complete)3279175? (TO) 1300.63 1300.02
Sol 2011-04-04 (complete)3188976? (TO) 1302.74 1300.02
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3173689? (TO) 4800.08 1201.64
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366098? (TO) 4800.15 1203.65
csls pnorm-8cores (incomplete)3158884? (TO) 4800.18 1201.41
CryptoMiniSat TechDemo-Alpha-mt (complete)3172489? (TO) 4800.22 1201.92
csls prob-4cores (incomplete)3157684? (TO) 4800.22 1201.41
ppfolio par (complete)3190776? (TO) 4800.23 1201.71
STRUCTure 0.1 (complete)3312322? (TO) 4800.27 1207.04
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3368498? (TO) 4800.28 1203.14
STRUCTure 0.1 (hbr=2) (complete)3311122? (TO) 4800.33 1207.23
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3174889? (TO) 4800.4 1201.74

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 -121 122 123 124 125 126 127 -128 129 -130 131 -132 -133 -134 -135 -136 -137 -138 -139 -140 141 142 -143 -144 -145 146 -147 148 149
150 151 -152 153 154 155 156 157 158 159 -160 161 162 163 164 165 166 167 168 169 170 -171 -172 173 -174 -175 -176 177 178 179 -180 -181
-182 183 184 185 186 -187 188 189 190 191 192 -193 194 -195 -196 197 -198 -199 200 0