QBF Solver Evaluation Portal
qbflib.orgFamily k_branch_p 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 | 3899.4 | 389.94 | 172.62 | 277.28 | 380.78 | 0 |
| caqe-picosat-cert | 4191.32 | 419.13 | 183.65 | 445.67 | 402.66 | 0 |
| cheq | 5994.66 | 599.47 | 26.7 | 601.59 | 46.17 | 0 |
| depqbf-cert-v1 | 5692.05 | 569.21 | 150.47 | 617.09 | 20 | 0.1 |
| depqbf-cert-v2 | 6225.62 | 622.56 | 7.51 | 621.69 | 7.42 | 0 |