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

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

Jump to solvers results

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v175-c3727-S1110880865-004.SATISFIABLE.cnf
MD5SUMdee9409d3106901eba323258572940c9
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.021996
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
EagleUP 1.565.350 (incomplete)3220169SAT 0.021996 0.021615
SAT09 reference solver: gnovelty+2 2009-03-22 (incomplete)3210248SAT 0.030995 0.0314901
SAT09 reference solver: SATzilla2009_R 2009-03-22 (complete)3210250SAT 0.084987 0.0847811
SAT09 reference solver: TNM 2009-03-22 (incomplete)3210251SAT 0.096985 0.0978349
sattime2011 2011-03-02 (incomplete)3426739SAT 0.100984 0.101628
csls pnorm-8cores (incomplete)3417864SAT 0.132979 0.0262641
sparrow2011 sparrow2011_ubcsat1.2_2011-03-02 (incomplete)3220165SAT 0.171973 0.179454
adaptg2wsat2011 2011-03-02 (incomplete)3446123SAT 0.179971 0.180155
ppfolio par (complete)3220167SAT 0.572912 0.196203
borg-sat 11.03.02-seq-random (fixed) (complete)3386646SAT 0.916859 1.15322
MPhaseSAT_M 2011-02-16 (complete)3220166SAT 1.17082 1.17186
ppfolio seq (complete)3220168SAT 1.56776 1.57099
borg-sat 11.03.02-par-random (fixed) (complete)3385446SAT 1.81772 5.11715
Satisfiability Solver Selector 2011-03-18 (complete)3220164SAT 34.5188 34.6513
borg-sat 11.03.02-random [DEPRECATED] (complete)3321933? (exit code) 1.80472 1.23812
march_rw 2011-03-02 (complete)3420459? (TO) 5000.1 4999.96
SAT09 reference solver: march_hi hi (complete)3210249? (TO) 5000.1 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