QBF Solver Evaluation Portal
qbflib.orgSuite Basler 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 | 4269.21 | 142.31 | 97.06 | 136.69 | 41.54 | 0.1 |
| caqe-picosat-cert | 6359.91 | 212 | 102.52 | 223.46 | 49.18 | 0.133 |
| cheq | 16677.27 | 555.91 | 185.72 | 613.48 | 14.06 | 0.1 |
| depqbf-cert-v1 | 10980.23 | 366.01 | 283.53 | 594.47 | 599.81 | 0.233 |
| depqbf-cert-v2 | 15986.06 | 532.87 | 197.84 | 607.09 | 9.66 | 0.1 |