QBF Solver Evaluation Portal
qbflib.orgSuite Kronegger-Pfandler-Pichler 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 | 8111.25 | 405.56 | 266.78 | 600 | 529.21 | 0.25 |
| caqe-picosat-cert | 9702.78 | 485.14 | 233.6 | 600 | 0 | 0.15 |
| cheq | 6119.16 | 305.96 | 304.92 | 305.71 | 604.89 | 0 |
| depqbf-cert-v1 | 7471.95 | 373.6 | 301.95 | 579.35 | 622.02 | 0.2 |
| depqbf-cert-v2 | 10511.65 | 525.58 | 221.99 | 617.56 | 64.43 | 0.15 |