QBF Solver Evaluation Portal
qbflib.orgFamily MutexP results for solvers
QBFEVAL'05
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| GRL | 3624.5 | 517.79 | 442.3 | 900.73 | 900.73 | 0.429 |
| openQbf | 3743.04 | 534.72 | 425 | 900.89 | 900.73 | 0.429 |
| qbfbdd | 3611.8 | 515.97 | 444.55 | 900.92 | 900.95 | 0.429 |
| QbflHR | 3619.56 | 517.08 | 443.32 | 900.97 | 900.97 | 0.429 |
| QChaffLearn | 2678.12 | 382.59 | 440.61 | 3.98 | 886.19 | 0.429 |
| QMRes | 1808.85 | 258.41 | 406.14 | 0.62 | 6.9 | 0.714 |
| QUANTOR | 61.08 | 8.73 | 7.94 | 11.03 | 12.82 | 0.429 |
| semprop | 3610.08 | 515.73 | 444.87 | 900.97 | 900.99 | 0.429 |
| skizzo_v0.4 | 1785.77 | 255.11 | 374.19 | 0.04 | 101.28 | 0.857 |
| skizzo_v0.5 | 106.25 | 15.18 | 19.07 | 0.04 | 20.89 | 1 |
| sSolve | 0.09 | 0.01 | 0.02 | 0 | 0.01 | 1 |
| WalkQSAT | 3606.24 | 515.18 | 445.51 | 901 | 901 | 0.429 |
| yQuaffle | 4301.32 | 614.47 | 375.25 | 833.64 | 850.68 | 0.286 |