QBF Solver Evaluation Portal
qbflib.orgFamily LinearBitvectorRankingFunction 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 | 1413.52 | 141.35 | 13.15 | 142.22 | 25.06 | 0 |
| caqe-picosat-cert | 5317.57 | 531.76 | 136.49 | 600 | 338.59 | 0 |
| cheq | 6140.19 | 614.02 | 13.01 | 608.52 | 11.95 | 0 |
| depqbf-cert-v1 | 6243.62 | 624.36 | 36.41 | 630.32 | 24.31 | 0 |
| depqbf-cert-v2 | 6231.47 | 623.15 | 18.74 | 621.53 | 23.25 | 0 |