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-2.shuffled-as.sat05-2534.cnf

Jump to solvers results

General information on the benchmark

NameSAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf
MD5SUM9a6126d13f733e360922c2ae93b7b6b9
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark173.21
Satisfiable
(Un)Satisfiability was proved
Number of variables354
Number of clauses2596
Sum of the clauses size11752
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 5640
Number of clauses of size over 5364

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
clasp 2.0-R4092-crafted (complete)3423181SAT 173.21 173.21
claspmt 2.0-R4095 [DEPRECATED] (complete)3322645SAT 657.969 82.433
CryptoMiniSat Strange-Night2-st (fixed) (complete)3421981SAT 668.36 668.362
RestartSAT B95 (complete)3421312SAT 1009.15 1009.16
Satisfiability Solver Selector 2011-03-18 (complete)3276070SAT 1140.84 1140.99
SAT07 reference solver: minisat SAT 2007 (complete)3276074SAT 1213.55 1213.51
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3499606SAT 1452.1 1452.06
claspmt 2.0-R4095-patched (fixed) (complete)3381250SAT 1508.62 188.908
QuteRSat 2011-05-12 (fixed) (complete)3421311SAT 2001.55 2001.48
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3421681SAT 2418.08 305.09
glucose 2 (complete)3303554SAT 3569.42 3569.36
ppfolio seq (complete)3276072SAT 4006.29 4006.22
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3276073SAT 4375.33 4375.22
ppfolio par (complete)3276071SAT 4787.55 599.035
SArTagnan 2011-05-15 (fixed) (complete)3439466SAT 6173.5 773.454
Plingeling 587f (fixed) (complete)3394830SAT 7264.49 911.376
sathys 2011-04-01 (complete)3439465? (TO) 5000.01 4999.93
sattime+ 2011-03-02 (incomplete)3499975? (TO) 5000.03 4999.91
sattime 2011-03-02 (incomplete)3427301? (TO) 5000.05 5000.02
jMiniSat 2011 (complete)3439467? (TO) 5000.07 4999.23
MPhaseSAT 2011-02-15 (complete)3445845? (TO) 5000.1 5000.02
Sol 2011-04-04 (complete)3394831? (TO) 5000.11 4967.15
PicoSAT 941 (complete)3439464? (TO) 5000.11 5000.12
SApperloT2010 2011-05-15 (fixed) (complete)3439463? (TO) 5000.15 5000.1
priss 1.0 (complete)3499605? (TO) 20400.3 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 -350 -351 -352 -353 -354 0