QBF Solver Evaluation Portal
qbflib.orgSuite Tacchella results for solvers
QBFEVAL'05
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| GRL | 149395.76 | 124.5 | 300.62 | 0.02 | 2.95 | 0.817 |
| openQbf | 300102.6 | 250.09 | 394.52 | 0.41 | 900.67 | 0.737 |
| qbfbdd | 798237.53 | 665.2 | 390.62 | 900.97 | 775.81 | 0.261 |
| QbflHR | 323006.41 | 269.17 | 406.82 | 0.02 | 900.99 | 0.713 |
| QChaffLearn | 141549.85 | 117.96 | 282.59 | 0.02 | 1.94 | 0.827 |
| QMRes | 713943.02 | 594.95 | 414.37 | 900.29 | 899.5 | 0.359 |
| QUANTOR | 30892.81 | 25.74 | 101.9 | 9.35 | 12.8 | 0.475 |
| semprop | 130442.29 | 108.7 | 290.16 | 0.01 | 0.12 | 0.873 |
| skizzo_v0.4 | 207464.66 | 172.89 | 329.8 | 9.01 | 81.62 | 0.831 |
| skizzo_v0.5 | 216705.77 | 180.59 | 330.39 | 9.88 | 121.62 | 0.833 |
| sSolve | 70133.98 | 58.44 | 218.05 | 0.01 | 0.02 | 0.938 |
| WalkQSAT | 156931.1 | 130.78 | 308.02 | 0.02 | 3.51 | 0.815 |
| yQuaffle | 362428 | 302.02 | 417.64 | 0.11 | 895.22 | 0.661 |