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-3.shuffled-as.sat05-2535.cnf

Jump to solvers results

General information on the benchmark

NameSAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf
MD5SUM22bc1843113c53c5f8a8f8cec42dcbe5
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark135.159
Satisfiable
(Un)Satisfiability was proved
Number of variables352
Number of clauses2492
Sum of the clauses size11032
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 41592
Number of clauses of size 5736
Number of clauses of size over 5164

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
QuteRSat 2011-05-12 (fixed) (complete)3421313SAT 135.159 135.156
RestartSAT B95 (complete)3421314SAT 264.845 264.839
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3421682SAT 487.541 62.8791
CryptoMiniSat Strange-Night2-st (fixed) (complete)3421982SAT 855.848 855.845
Satisfiability Solver Selector 2011-03-18 (complete)3276075SAT 1278.89 1279.65
claspmt 2.0-R4095-patched (fixed) (complete)3381251SAT 1353.33 169.583
glucose 2 (complete)3303555SAT 1868.42 1868.37
SAT07 reference solver: minisat SAT 2007 (complete)3276079SAT 2332.63 2332.58
Plingeling 587f (fixed) (complete)3394832SAT 2476.94 310.937
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3499608SAT 2567.93 2562.98
clasp 2.0-R4092-crafted (complete)3423182SAT 3892 3891.9
claspmt 2.0-R4095 [DEPRECATED] (complete)3322646SAT 4053.94 507.788
ppfolio par (complete)3276076SAT 15390.8 1925.18
sathys 2011-04-01 (complete)3439470? (TO) 5000.01 4999.93
ppfolio seq (complete)3276077? (TO) 5000.02 4999.91
jMiniSat 2011 (complete)3439472? (TO) 5000.04 4999.24
PicoSAT 941 (complete)3439469? (TO) 5000.06 5000.02
Sol 2011-04-04 (complete)3394833? (TO) 5000.07 4971.25
sattime+ 2011-03-02 (incomplete)3499976? (TO) 5000.09 4999.91
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3276078? (TO) 5000.1 4999.91
MPhaseSAT 2011-02-15 (complete)3445846? (TO) 5000.1 5000.02
sattime 2011-03-02 (incomplete)3427302? (TO) 5000.12 5000.02
SApperloT2010 2011-05-15 (fixed) (complete)3439468? (TO) 5000.2 5000.01
priss 1.0 (complete)3499607? (TO) 20400.5 5100.02
SArTagnan 2011-05-15 (fixed) (complete)3439471? (TO) 40000.7 5009.09

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 350 351 352 0