QBF Solver Evaluation Portal
qbflib.orgFamily C5315 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 | 995.74 | 124.47 | 185.25 | 92.69 | 101.33 | 0.375 |
| caqe-picosat-cert | 1424.6 | 178.08 | 185.35 | 191.04 | 215.85 | 0.375 |
| cheq | 4053.99 | 506.75 | 213.72 | 611.01 | 163.65 | 0.125 |
| depqbf-cert-v1 | 3779.13 | 472.39 | 242.93 | 591.67 | 280.75 | 0 |
| depqbf-cert-v2 | 3922.99 | 490.37 | 269.69 | 617.12 | 342.19 | 0.25 |