QBF Solver Evaluation Portal
qbflib.orgFamily SzymanskiP 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 | 1671.66 | 167.17 | 144.9 | 123.87 | 34.78 | 0 |
| caqe-picosat-cert | 2166.04 | 216.6 | 208.73 | 177.31 | 222.38 | 0.4 |
| cheq | 1057.95 | 105.8 | 179.72 | 20.72 | 63.04 | 0.9 |
| depqbf-cert-v1 | 5023.12 | 502.31 | 239.7 | 618.11 | 576.11 | 0.2 |
| depqbf-cert-v2 | 5180.36 | 518.04 | 250.52 | 630.03 | 605.01 | 0.2 |