QBF Solver Evaluation Portal
qbflib.orgFamily Rewriting 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 | 5408.62 | 540.86 | 180.16 | 599.77 | 0.1 | 0.1 |
| caqe-picosat-cert | 5398.42 | 539.84 | 179.83 | 599.82 | 0.1 | 0.1 |
| cheq | 0.47 | 0.05 | 0.05 | 0.02 | 0 | 1 |
| depqbf-cert-v1 | 2818.6 | 281.86 | 288.28 | 134 | 597.47 | 0.4 |
| depqbf-cert-v2 | 3014.41 | 301.44 | 313.11 | 131.44 | 634.23 | 0.4 |