QBF Solver Evaluation Portal
qbflib.orgSuite Miller-Marin 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 | 5105.44 | 170.18 | 240.83 | 47.66 | 127.03 | 0.767 |
| caqe-picosat-cert | 5393.8 | 179.79 | 222.53 | 72.97 | 237.13 | 0.767 |
| cheq | 8679.92 | 289.33 | 282.34 | 191.72 | 598.24 | 0.567 |
| depqbf-cert-v1 | 5094.54 | 169.82 | 257.18 | 30.58 | 105.94 | 0.733 |
| depqbf-cert-v2 | 5012.19 | 167.07 | 255.17 | 31.08 | 101.58 | 0.733 |