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

Result page for benchmark
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_505.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_505.cnf
MD5SUM8e7b614904543aa28491ea45c761cbd5
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark39.02
Satisfiable
(Un)Satisfiability was proved
Number of variables253
Number of clauses34014
Sum of the clauses size150994
Maximum clause length23
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2336
Number of clauses of size 331196
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 52482

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Satisfiability Solver Selector 2011-03-18 (complete)3275770SAT 39.02 39.1108
claspmt 2.0-R4095-patched (fixed) (complete)3381088SAT 83.3343 10.7006
claspmt 2.0-R4095 [DEPRECATED] (complete)3322483SAT 83.8193 10.8169
SApperloT2010 2011-05-15 (fixed) (complete)3439163SAT 96.1624 96.1621
PicoSAT 941 (complete)3439164SAT 399.364 399.414
glucose 2 (complete)3303494SAT 731.741 731.785
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3275773SAT 886.246 886.227
sattime 2011-03-02 (incomplete)3427241SAT 956.159 956.139
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3499486SAT 1168.4 1168.37
RestartSAT B95 (complete)3421192SAT 1618.98 1618.93
clasp 2.0-R4092-crafted (complete)3423121SAT 1780.78 1780.77
SAT07 reference solver: minisat SAT 2007 (complete)3275774SAT 3443.33 3443.26
MPhaseSAT 2011-02-15 (complete)3445785SAT 3489.18 3489.09
ppfolio par (complete)3275771SAT 3744.29 468.473
SArTagnan 2011-05-15 (fixed) (complete)3439166SAT 12605.7 1579.81
Plingeling 587f (fixed) (complete)3394608SAT 16063.8 2013.16
sattime+ 2011-03-02 (incomplete)3499915? (TO) 5000.02 4999.91
jMiniSat 2011 (complete)3439167? (TO) 5000.02 4996.95
CryptoMiniSat Strange-Night2-st (fixed) (complete)3421921? (TO) 5000.04 4999.92
Sol 2011-04-04 (complete)3394609? (TO) 5000.08 4961.85
ppfolio seq (complete)3275772? (TO) 5000.09 5000.22
QuteRSat 2011-05-12 (fixed) (complete)3421191? (TO) 5000.11 5000.04
sathys 2011-04-01 (complete)3439165? (TO) 5000.11 5000.03
priss 1.0 (complete)3499485? (TO) 20399.7 5100.02
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3421621? (TO) 40000.5 5006.79

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 211 212 213 214 215 216 -217 218 219 220 221 222 223 224 225 226 -227 228 229
230 231 -232 233 234 235 236 237 238 239 240 241 242 -243 244 245 246 247 248 249 250 251 252 253 0