QBF Solver Evaluation Portal
qbflib.orgFamily ToiletA results for solvers
QBFEVAL'05
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| GRL | 784.78 | 43.6 | 94.42 | 1.72 | 3.17 | 1 |
| openQbf | 1892.2 | 105.12 | 281.47 | 1.83 | 3.97 | 0.889 |
| qbfbdd | 11714.15 | 650.79 | 402.96 | 900.68 | 900.1 | 0.278 |
| QbflHR | 1001.26 | 55.63 | 206 | 0.13 | 1.09 | 0.944 |
| QChaffLearn | 83.68 | 4.65 | 9.56 | 0.26 | 0.35 | 1 |
| QMRes | 4638.39 | 257.69 | 399.43 | 1.23 | 83.15 | 0.722 |
| QUANTOR | 103.94 | 5.77 | 15.89 | 1.3 | 2.69 | 1 |
| semprop | 987.01 | 54.83 | 205.75 | 0.15 | 0.17 | 0.944 |
| skizzo_v0.4 | 33.07 | 1.84 | 4.29 | 0.35 | 0.75 | 1 |
| skizzo_v0.5 | 33.12 | 1.84 | 4.3 | 0.37 | 0.79 | 1 |
| sSolve | 938.54 | 52.14 | 205.91 | 1.17 | 2.29 | 0.944 |
| WalkQSAT | 87.41 | 4.86 | 10.01 | 0.27 | 0.4 | 1 |
| yQuaffle | 35.73 | 1.99 | 5.31 | 0.16 | 0.21 | 1 |