QBF Solver Evaluation Portal
qbflib.orgFamily BMC 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 | 4831.13 | 483.11 | 234.99 | 600 | 584.71 | 0.2 |
| caqe-picosat-cert | 3755 | 375.5 | 276.01 | 600 | 598.63 | 0.3 |
| cheq | 4293.77 | 429.38 | 271.34 | 602.68 | 603.98 | 0.3 |
| depqbf-cert-v1 | 2738.12 | 273.81 | 273.19 | 143.38 | 590.9 | 0.3 |
| depqbf-cert-v2 | 3355.2 | 335.52 | 285.27 | 404.55 | 592.52 | 0.5 |