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

Result page for benchmark
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf

Jump to solvers results

General information on the benchmark

NameSAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf
MD5SUMdfc7796289f8cacbd4db5eb947a1ba09
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark543.832
Satisfiable
(Un)Satisfiability was proved
Number of variables339
Number of clauses2416
Sum of the clauses size10720
Maximum clause length6
Minimum clause length4
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 41496
Number of clauses of size 5784
Number of clauses of size over 5136

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
claspmt 2.0-R4095 [DEPRECATED] (complete)3322644SAT 293.84 36.8258
QuteRSat 2011-05-12 (fixed) (complete)3421309SAT 543.832 543.814
claspmt 2.0-R4095-patched (fixed) (complete)3381249SAT 621.562 77.9003
CryptoMiniSat Strange-Night2-st (fixed) (complete)3421980SAT 661.551 661.555
RestartSAT B95 (complete)3421310SAT 864.317 864.295
ppfolio seq (complete)3276067SAT 1032.94 1032.92
Satisfiability Solver Selector 2011-03-18 (complete)3276065SAT 1091.96 1092.08
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3421680SAT 1144.29 143.344
glucose 2 (complete)3303553SAT 1923 1922.93
Plingeling 587f (fixed) (complete)3394828SAT 2052.34 257.517
ppfolio par (complete)3276066SAT 2563.07 320.606
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3276068SAT 2673.69 2673.63
SArTagnan 2011-05-15 (fixed) (complete)3439461SAT 3470.66 434.855
clasp 2.0-R4092-crafted (complete)3423180SAT 3962.38 3962.29
SAT07 reference solver: minisat SAT 2007 (complete)3276069SAT 4060.58 4060.46
MPhaseSAT 2011-02-15 (complete)3445844SAT 4220.26 4220.17
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3499604SAT 4935.21 4935.12
sattime+ 2011-03-02 (incomplete)3499974? (TO) 5000.03 4999.91
sattime 2011-03-02 (incomplete)3427300? (TO) 5000.03 4999.92
PicoSAT 941 (complete)3439459? (TO) 5000.03 4999.92
sathys 2011-04-01 (complete)3439460? (TO) 5000.08 5000.02
jMiniSat 2011 (complete)3439462? (TO) 5000.09 4999.13
Sol 2011-04-04 (complete)3394829? (TO) 5000.13 4972.25
SApperloT2010 2011-05-15 (fixed) (complete)3439458? (TO) 5000.19 5000.11
priss 1.0 (complete)3499603? (TO) 20400.4 5100.02

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 -254 255 -256 257 -258 -259 260 261 262 -263 264 265 266 -267 268 269 270 271 272 273 -274
275 -276 -277 -278 -279 -280 281 282 -283 284 285 286 -287 288 289 290 -291 292 -293 -294 295 -296 -297 -298 299 300 -301 302 303 -304 -305
-306 307 308 -309 -310 -311 -312 -313 -314 -315 -316 -317 318 319 320 321 -322 -323 -324 -325 326 327 -328 -329 330 331 332 -333 -334 -335
-336 -337 -338 -339 0