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

Result page for benchmark
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf

Jump to solvers results

General information on the benchmark

NameSAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf
MD5SUMdb05e30798a5a29f39775d55b01c4246
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark155.124
Satisfiable
(Un)Satisfiability was proved
Number of variables349
Number of clauses2416
Sum of the clauses size10560
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 41656
Number of clauses of size 5624
Number of clauses of size over 5136

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night2-st (fixed) (complete)3421986SAT 155.124 155.132
Satisfiability Solver Selector 2011-03-18 (complete)3276095SAT 584.24 584.319
RestartSAT B95 (complete)3421322SAT 585.98 586.022
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3421686SAT 1108.59 138.915
claspmt 2.0-R4095 [DEPRECATED] (complete)3322650SAT 1311.35 164.214
SAT07 reference solver: minisat SAT 2007 (complete)3276099SAT 1406.36 1406.31
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3499616SAT 1545.61 1545.56
Plingeling 587f (fixed) (complete)3394840SAT 2374.2 298.214
glucose 2 (complete)3303559SAT 2542.63 2542.64
clasp 2.0-R4092-crafted (complete)3423186SAT 3494.53 3494.57
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3276098SAT 4047.86 4047.76
QuteRSat 2011-05-12 (fixed) (complete)3421321SAT 4204.52 4204.37
ppfolio par (complete)3276096SAT 5856.7 732.733
claspmt 2.0-R4095-patched (fixed) (complete)3381255SAT 7833.37 981.773
SArTagnan 2011-05-15 (fixed) (complete)3439491SAT 16712.8 2093.42
ppfolio seq (complete)3276097? (TO) 5000.02 4999.81
sattime+ 2011-03-02 (incomplete)3499980? (TO) 5000.05 4999.91
sattime 2011-03-02 (incomplete)3427306? (TO) 5000.06 4999.92
PicoSAT 941 (complete)3439489? (TO) 5000.06 4999.92
Sol 2011-04-04 (complete)3394841? (TO) 5000.07 4966.45
sathys 2011-04-01 (complete)3439490? (TO) 5000.07 4999.93
jMiniSat 2011 (complete)3439492? (TO) 5000.08 4999.23
MPhaseSAT 2011-02-15 (complete)3445850? (TO) 5000.08 5000.02
SApperloT2010 2011-05-15 (fixed) (complete)3439488? (TO) 5000.15 5000
priss 1.0 (complete)3499615? (TO) 20400.5 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 340 -341 342 -343 344 -345 346 -347 348 349 0