QBF Solver Evaluation Portal
qbflib.orgSuite Herbstritt 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 | 6971.69 | 348.58 | 214.45 | 322.41 | 420.9 | 0.15 |
| caqe-picosat-cert | 7331.93 | 366.6 | 201.96 | 388.44 | 391 | 0.25 |
| cheq | 8211.56 | 410.58 | 280.73 | 606.49 | 604.98 | 0.3 |
| depqbf-cert-v1 | 7315.85 | 365.79 | 281.29 | 582.23 | 587.41 | 0.35 |
| depqbf-cert-v2 | 8374.1 | 418.71 | 293.18 | 610.84 | 599.48 | 0.3 |