QBF Solver Evaluation Portal
qbflib.orgSuite Katz 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 | 4353.07 | 435.31 | 202.47 | 599.72 | 443.73 | 0 |
| caqe-picosat-cert | 4813.76 | 481.38 | 136.34 | 566.94 | 281.21 | 0 |
| cheq | 6116.64 | 611.66 | 10.35 | 610.8 | 10.53 | 0 |
| depqbf-cert-v1 | 4966.42 | 496.64 | 226.55 | 608.18 | 564.06 | 0 |
| depqbf-cert-v2 | 6262.18 | 626.22 | 20.56 | 620.63 | 9.97 | 0 |