QBF Solver Evaluation Portal
qbflib.orgSuite Rintanen 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 | 4380.35 | 99.55 | 137.36 | 15.33 | 162.88 | 0.591 |
| caqe-picosat-cert | 10231.36 | 232.53 | 271.28 | 32.56 | 599.96 | 0.523 |
| cheq | 12289.25 | 279.3 | 299.54 | 23.06 | 609.76 | 0.432 |
| depqbf-cert-v1 | 8749.68 | 198.86 | 276.83 | 11.83 | 602.14 | 0.136 |
| depqbf-cert-v2 | 8764.37 | 199.19 | 264.2 | 22.71 | 506.41 | 0.591 |