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

Result page for benchmark
random/medium/
unif-k3-r4.26-v450-c1917-S2088689288-085.SATISFIABLE.cnf

Jump to solvers results

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v450-c1917-S2088689288-085.SATISFIABLE.cnf
MD5SUM7ba801e5e19de5d13bce0ebc43b52968
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.006998
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of clauses1917
Sum of the clauses size5751
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31917
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
EagleUP 1.565.350 (incomplete)3222323SAT 0.006998 0.007108
SAT09 reference solver: TNM 2009-03-22 (incomplete)3211687SAT 0.013997 0.0146171
sparrow2011 sparrow2011_ubcsat1.2_2011-03-02 (incomplete)3222319SAT 0.016996 0.0173211
sattime2011 2011-03-02 (incomplete)3427098SAT 0.021995 0.0218991
SAT09 reference solver: gnovelty+2 2009-03-22 (incomplete)3211684SAT 0.030995 0.0318181
adaptg2wsat2011 2011-03-02 (incomplete)3446482SAT 0.033994 0.034464
ppfolio seq (complete)3222322SAT 0.033994 0.036149
SAT09 reference solver: SATzilla2009_R 2009-03-22 (complete)3211686SAT 0.172972 0.173072
csls pnorm-8cores (incomplete)3418223SAT 0.252961 0.0444309
ppfolio par (complete)3222321SAT 0.360944 0.09341
borg-sat 11.03.02-seq-random (fixed) (complete)3387005SAT 0.601907 0.877512
MPhaseSAT_M 2011-02-16 (complete)3222320SAT 0.835872 0.837265
borg-sat 11.03.02-par-random (fixed) (complete)3385805SAT 1.66574 0.828246
borg-sat 11.03.02-random [DEPRECATED] (complete)3322292SAT 1.68174 0.888354
Satisfiability Solver Selector 2011-03-18 (complete)3222318SAT 23.7664 23.8373
march_rw 2011-03-02 (complete)3420818SAT 28.3427 28.3597
SAT09 reference solver: march_hi hi (complete)3211685SAT 31.2922 31.2913

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 355 356 -357 -358 -359 -360 -361 362 -363 -364 365
-366 367 -368 369 -370 371 -372 -373 -374 -375 376 377 -378 379 380 -381 -382 -383 -384 -385 386 387 -388 389 -390 -391 392 -393 394 -395
-396 397 398 -399 400 401 402 403 404 -405 -406 407 408 409 410 411 412 413 -414 415 416 -417 418 -419 -420 421 422 423 -424 425 -426 -427
-428 429 430 431 432 -433 -434 435 436 -437 438 439 -440 -441 -442 -443 -444 -445 -446 447 448 449 450 0