QBF Solver Evaluation Portal
qbflib.orgFamily k_ph_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 | 3861.12 | 386.11 | 262.46 | 527.45 | 599.98 | 0.3 |
| caqe-picosat-cert | 3220.44 | 322.04 | 230.35 | 364.07 | 469.74 | 0.3 |
| cheq | 4295.06 | 429.51 | 281.17 | 608.64 | 614.83 | 0.1 |
| depqbf-cert-v1 | 4356.03 | 435.6 | 285.21 | 616.26 | 621.56 | 0.3 |
| depqbf-cert-v2 | 4257.72 | 425.77 | 278.66 | 603.95 | 606.91 | 0.3 |