QBF Solver Evaluation Portal
qbflib.orgFamily Chain 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 | 2090.68 | 209.07 | 144.74 | 145.01 | 75.24 | 0 |
| caqe-picosat-cert | 5604.67 | 560.47 | 130.89 | 600 | 3.28 | 0 |
| cheq | 4228.95 | 422.9 | 251.88 | 606.97 | 587.97 | 0.4 |
| depqbf-cert-v1 | 2988.4 | 298.84 | 283.18 | 186.38 | 593.86 | 0 |
| depqbf-cert-v2 | 4252.24 | 425.22 | 197.14 | 506.69 | 452.77 | 0.1 |