QBF Solver Evaluation Portal
qbflib.orgFamily mA-t2-6qbf-5cnf-20var-320cl results for solvers
QBFEVAL'05
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| GRL | 1.96 | 0.2 | 0.29 | 0.07 | 0.06 | 1 |
| openQbf | 451.66 | 45.17 | 79.11 | 7.18 | 14.72 | 1 |
| qbfbdd | 9009.85 | 900.99 | 0.01 | 900.99 | 0.02 | 0 |
| QbflHR | 239.61 | 23.96 | 22.23 | 14.47 | 26.9 | 1 |
| QChaffLearn | 4.74 | 0.47 | 1.16 | 0.03 | 0.07 | 1 |
| QMRes | 9005.42 | 900.54 | 0.1 | 900.54 | 0.17 | 0 |
| QUANTOR | 134.3 | 13.43 | 7.34 | 11.06 | 0.55 | 0 |
| semprop | 0.2 | 0.02 | 0.03 | 0.01 | 0.02 | 1 |
| skizzo_v0.4 | 538.22 | 53.82 | 56.1 | 33.59 | 43.79 | 1 |
| skizzo_v0.5 | 1084.96 | 108.5 | 114.36 | 71.31 | 83.9 | 1 |
| sSolve | 0.08 | 0.01 | 0.02 | 0 | 0 | 1 |
| WalkQSAT | 0.67 | 0.07 | 0.11 | 0.03 | 0.03 | 1 |
| yQuaffle | 2558.81 | 255.88 | 270.34 | 198.83 | 214.06 | 0.9 |