QBF Solver Evaluation Portal
qbflib.orgFamily blackbox_design 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 | 3112.47 | 311.25 | 132.45 | 268.24 | 220.06 | 0 |
| caqe-picosat-cert | 3650.49 | 365.05 | 105.35 | 384.45 | 178.04 | 0 |
| cheq | 6147.18 | 614.72 | 10.44 | 610.57 | 8.26 | 0 |
| depqbf-cert-v1 | 5351.1 | 535.11 | 149.04 | 600.93 | 273.57 | 0 |
| depqbf-cert-v2 | 6226.33 | 622.63 | 10.58 | 622.73 | 17.18 | 0 |