QBF Solver Evaluation Portal
qbflib.orgFamily C6288 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 | 797.49 | 99.69 | 26.25 | 89.5 | 3.23 | 0 |
| caqe-picosat-cert | 1680.7 | 210.09 | 81.96 | 178.96 | 25.85 | 0 |
| cheq | 4934.92 | 616.87 | 13.97 | 611.43 | 19.05 | 0 |
| depqbf-cert-v1 | 4294.05 | 536.76 | 203.19 | 606.22 | 25.11 | 0 |
| depqbf-cert-v2 | 5011.8 | 626.48 | 16.37 | 625.97 | 27.06 | 0 |