QBF Solver Evaluation Portal
qbflib.orgFamily k_dum_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 | 1704.29 | 170.43 | 221.09 | 119.39 | 122.83 | 0.4 |
| caqe-picosat-cert | 2410.99 | 241.1 | 192.76 | 368.65 | 382.54 | 0.4 |
| cheq | 3693.51 | 369.35 | 294.77 | 607.7 | 607.87 | 0 |
| depqbf-cert-v1 | 350.78 | 35.08 | 69.9 | 1.36 | 7.14 | 0.9 |
| depqbf-cert-v2 | 613.11 | 61.31 | 126.48 | 2.12 | 13.12 | 0.8 |