QBF Solver Evaluation Portal
qbflib.orgFamily s499 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 | 1740.44 | 174.04 | 8.34 | 174.31 | 10.64 | 0 |
| caqe-picosat-cert | 5077.67 | 507.77 | 141.19 | 600 | 312.9 | 0 |
| cheq | 5956.34 | 595.63 | 21.95 | 593.74 | 37.22 | 0 |
| depqbf-cert-v1 | 6261.18 | 626.12 | 16.23 | 619.84 | 13.06 | 0 |
| depqbf-cert-v2 | 6451.96 | 645.2 | 16.78 | 649.1 | 34.38 | 0 |