QBF Solver Evaluation Portal
qbflib.orgSuite Pan 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 | 45585.81 | 245.09 | 216.78 | 146.14 | 306.3 | 0.199 |
| caqe-picosat-cert | 55207.01 | 296.81 | 211.78 | 288.74 | 340.47 | 0.22 |
| cheq | 82186.86 | 441.86 | 263.53 | 607.15 | 530.45 | 0.194 |
| depqbf-cert-v1 | 51659.57 | 277.74 | 301.7 | 25.11 | 618 | 0.29 |
| depqbf-cert-v2 | 69734.61 | 374.92 | 287.59 | 593.32 | 618.13 | 0.366 |