QBF Solver Evaluation Portal
qbflib.orgFamily s713 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 | 1666.58 | 166.66 | 8.79 | 165.02 | 11.36 | 0 |
| caqe-picosat-cert | 2901.27 | 290.13 | 105.04 | 256.81 | 30.17 | 0 |
| cheq | 5231.42 | 523.14 | 26.72 | 518.26 | 26.89 | 0 |
| depqbf-cert-v1 | 6292.97 | 629.3 | 8.01 | 629.33 | 17.1 | 0 |
| depqbf-cert-v2 | 6353.96 | 635.4 | 16.01 | 631.58 | 11.88 | 0 |