QBF Solver Evaluation Portal
qbflib.orgSuite Ling 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 | 1200.6 | 150.08 | 256.59 | 2.47 | 298.9 | 0.75 |
| caqe-picosat-cert | 1205.4 | 150.68 | 258.15 | 2.1 | 300.23 | 0.75 |
| cheq | 1312.05 | 164.01 | 257.1 | 0.79 | 350.91 | 0.75 |
| depqbf-cert-v1 | 1204.17 | 150.52 | 259.68 | 0.22 | 299.72 | 0.125 |
| depqbf-cert-v2 | 1205.14 | 150.64 | 255.8 | 1.86 | 303.4 | 0.75 |