QBF Solver Evaluation Portal
qbflib.orgFamily s298 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 | 1950.22 | 195.02 | 56.8 | 178.2 | 14.6 | 0 |
| caqe-picosat-cert | 3621.25 | 362.13 | 126.41 | 326.08 | 93.28 | 0 |
| cheq | 5971.98 | 597.2 | 30.02 | 606.24 | 57.51 | 0 |
| depqbf-cert-v1 | 5767.83 | 576.78 | 192.99 | 641.39 | 29.5 | 0 |
| depqbf-cert-v2 | 6565.65 | 656.57 | 23.33 | 662.84 | 39.04 | 0 |