SAT 2009 Competition: main competition (phase2): solvers results per benchmarks

Result page for benchmark
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf
MD5SUMf34a97e9100b15a8025a13df7cb62499
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.008997
Satisfiable
(Un)Satisfiability was proved
Number of variables210
Number of clauses840
Sum of the clauses size2520
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3840
Number of clauses of size 40
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
SAT07 reference solver: SATzilla CRAFTED (complete)1784745SAT 0.008997 0.00982208
SATzilla2009_C 2009-03-22 (complete)1825644SAT 0.008997 0.00932101
LySAT c/2009-03-20 (complete)1824927SAT 6.73897 6.74338
MiniSat 2.1 (Sat-race'08 Edition) (complete)1783587SAT 12.869 12.8753
clasp 1.2.0-SAT09-32 (complete)1784742SAT 39.621 39.633
MXC 2009-03-10 (complete)1783589SAT 42.1056 42.12
VARSAT-industrial 2009-03-22 (complete)1784746SAT 51.7081 51.7199
precosat 236 (complete)1783586SAT 61.5916 61.6117
SAT07 reference solver: minisat SAT 2007 (complete)1784744SAT 73.5038 73.539
IUT_BMB_SAT 1.0 (complete)1784743SAT 74.5027 74.5427
SApperloT base (complete)1784747SAT 81.5966 81.6264
glucose 1.0 (complete)1783588SAT 85.322 85.3568

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 201 -202 -203 -204 -205 -206 -207 208 -209 210 0