QBF Solver Evaluation Portal
qbflib.orgFamily ITC99 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 | 2231 | 318.71 | 250.57 | 216.38 | 598.5 | 0.143 |
| caqe-picosat-cert | 2556.21 | 365.17 | 220.63 | 252.91 | 599.9 | 0.143 |
| cheq | 3475.12 | 496.45 | 218.53 | 604.51 | 610.2 | 0 |
| depqbf-cert-v1 | 2596.63 | 370.95 | 321.81 | 598.22 | 659.21 | 0.143 |
| depqbf-cert-v2 | 3175.41 | 453.63 | 287.57 | 607.72 | 641.32 | 0.286 |