QBF Solver Evaluation Portal
qbflib.orgSuite Lahiri-Seshia 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 | 326.66 | 108.89 | 5.65 | 105.44 | 1.07 | 0 |
| caqe-picosat-cert | 498.47 | 166.16 | 3.86 | 167.21 | 6.22 | 0 |
| cheq | 1826.47 | 608.82 | 9.29 | 602.31 | 0.11 | 0 |
| depqbf-cert-v1 | 1830.67 | 610.22 | 5.19 | 611.53 | 8.21 | 0 |
| depqbf-cert-v2 | 1898.93 | 632.98 | 12.92 | 624.02 | 0.36 | 0 |