QBF Solver Evaluation Portal
qbflib.orgFamily wmiforward 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 | 1505.06 | 150.51 | 165.14 | 142.02 | 157.32 | 0.3 |
| caqe-picosat-cert | 1759.45 | 175.95 | 166.21 | 179.97 | 194.81 | 0.3 |
| cheq | 4295.74 | 429.57 | 281.44 | 604.45 | 607.01 | 0.3 |
| depqbf-cert-v1 | 3641.05 | 364.11 | 295.63 | 599.79 | 600.2 | 0 |
| depqbf-cert-v2 | 3779.96 | 378 | 285.2 | 601.12 | 605.5 | 0.3 |