QBF Solver Evaluation Portal
qbflib.orgSuite Herbstritt results for solvers
QBFEVAL'07
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Adaptive2clsQ | 206582.23 | 432.18 | 268.94 | 600 | 599.89 | 0.28 |
| aigqbf_s | 201814.65 | 422.21 | 255.93 | 600 | 536.44 | 0.272 |
| aigqbf_sr | 189004.2 | 395.41 | 263.09 | 600 | 556.82 | 0.339 |
| AQME-1NN | 63545.83 | 132.94 | 219.44 | 7.29 | 152.19 | 0.713 |
| AQME-C4.5 | 59067.82 | 123.57 | 213.03 | 4.72 | 141.64 | 0.709 |
| AQME-RIPPER | 67280.35 | 140.75 | 223.57 | 9.29 | 155.48 | 0.709 |
| EBDDRES | 13215.55 | 27.65 | 3.86 | 27.57 | 2.48 | 0.013 |
| ncQuBE1.0 | 100234.42 | 209.7 | 278.17 | 2.01 | 599.86 | 0.663 |
| ncQuBE1.1 | 90588.86 | 189.52 | 266.99 | 1.97 | 599.86 | 0.651 |
| preQuel_sKizzo-0.10 | 187288.27 | 391.82 | 278.9 | 600 | 599.95 | 0.356 |
| qSS | 133994.13 | 280.32 | 292.83 | 27.61 | 599.74 | 0.552 |
| QUANTOR_2.15 | 4814.96 | 10.07 | 8.8 | 12.32 | 13.15 | 0.272 |
| qZilla | 167675.19 | 350.78 | 288.58 | 600 | 599.9 | 0.437 |
| sKizzo-0.10-qck | 158968.3 | 332.57 | 286.17 | 600 | 599.9 | 0.437 |
| sKizzo-0.10-std | 167170.07 | 349.73 | 281.06 | 600 | 599.91 | 0.425 |
| squolem | 262100.21 | 548.33 | 165.94 | 600 | 0 | 0.09 |
| yQuaffle | 201011.25 | 420.53 | 274.7 | 600 | 599.92 | 0.297 |