QBF Solver Evaluation Portal
qbflib.orgFamily k_branch_n 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 | 3513.15 | 351.32 | 216.02 | 272.71 | 479.05 | 0.1 |
| caqe-picosat-cert | 4708.82 | 470.88 | 209.37 | 600 | 428.72 | 0.1 |
| cheq | 4987.6 | 498.76 | 246.48 | 612.62 | 608.08 | 0.2 |
| depqbf-cert-v1 | 4343.52 | 434.35 | 283.78 | 616 | 618.11 | 0 |
| depqbf-cert-v2 | 5317.49 | 531.75 | 192.54 | 614.26 | 253.99 | 0.1 |