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

Result page for benchmark
random/medium/
unif-k5-r21.3-v175-c3727-S185833400-026.SATISFIABLE.cnf

Jump to solvers results

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v175-c3727-S185833400-026.SATISFIABLE.cnf
MD5SUM975fcba238403114d7315dde1e6a58bd
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.45563
Satisfiable
(Un)Satisfiability was proved
Number of variables175
Number of clauses3727
Sum of the clauses size18635
Maximum clause length5
Minimum clause length5
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 53727
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
adaptg2wsat2011 2011-03-02 (incomplete)3446402SAT 2.45563 2.46046
MPhaseSAT_M 2011-02-16 (complete)3221840SAT 7.92979 7.93327
EagleUP 1.565.350 (incomplete)3221843SAT 12.0162 12.0162
SAT09 reference solver: SATzilla2009_R 2009-03-22 (complete)3211366SAT 14.0259 14.026
csls pnorm-8cores (incomplete)3418143SAT 19.3721 2.44528
borg-sat 11.03.02-random [DEPRECATED] (complete)3322212SAT 23.6964 3.69262
SAT09 reference solver: gnovelty+2 2009-03-22 (incomplete)3211364SAT 29.4205 29.4221
sattime2011 2011-03-02 (incomplete)3427018SAT 33.5719 33.5715
borg-sat 11.03.02-seq-random (fixed) (complete)3386925SAT 34.3358 34.3198
Satisfiability Solver Selector 2011-03-18 (complete)3221838SAT 37.63 37.7176
sparrow2011 sparrow2011_ubcsat1.2_2011-03-02 (incomplete)3221839SAT 43.8293 43.836
ppfolio seq (complete)3221842SAT 57.48 57.5481
borg-sat 11.03.02-par-random (fixed) (complete)3385725SAT 75.6565 11.716
SAT09 reference solver: TNM 2009-03-22 (incomplete)3211367SAT 76.9793 76.9804
ppfolio par (complete)3221841SAT 377.777 47.2628
march_rw 2011-03-02 (complete)3420738? (TO) 5000.07 4999.96
SAT09 reference solver: march_hi hi (complete)3211365? (TO) 5000.14 4999.95

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 0