QBF Solver Evaluation Portal
qbflib.orgSuite Mneimneh-Sakallah 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 | 19878.5 | 200.79 | 97.09 | 177.31 | 23.8 | 0.01 |
| caqe-picosat-cert | 34301.23 | 346.48 | 175.08 | 267.35 | 371.31 | 0.04 |
| cheq | 56573.02 | 571.44 | 73.31 | 584.97 | 58.36 | 0.01 |
| depqbf-cert-v1 | 49553.39 | 500.54 | 243.57 | 619.92 | 26.1 | 0.03 |
| depqbf-cert-v2 | 60713.61 | 613.27 | 124.23 | 632.62 | 35.71 | 0.01 |