QBF Solver Evaluation Portal
qbflib.orgFamily ToiletC results for solvers
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| caqe-minisat-cert | 178.39 | 17.84 | 52.67 | 0.11 | 0.1 | 1 |
| caqe-picosat-cert | 601.35 | 60.14 | 179.86 | 0.07 | 0.13 | 0.9 |
| cheq | 604.3 | 60.43 | 180.93 | 0.02 | 0.02 | 0.1 |
| depqbf-cert-v1 | 695.67 | 69.57 | 180.59 | 0.12 | 0.1 | 0.8 |
| depqbf-cert-v2 | 665.8 | 66.58 | 192.31 | 0.09 | 0.09 | 0.9 |