QBF Solver Evaluation Portal
qbflib.orgFamily evader-pursuer-4x4-logarithmic 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 | 3114.26 | 444.89 | 246.3 | 600 | 585.57 | 0.286 |
| caqe-picosat-cert | 3048.16 | 435.45 | 248.15 | 600 | 591.41 | 0.286 |
| cheq | 1973.3 | 281.9 | 279.33 | 143.85 | 580.27 | 0.571 |
| depqbf-cert-v1 | 1.45 | 0.21 | 0.08 | 0.21 | 0.11 | 0 |
| depqbf-cert-v2 | 6.38 | 0.91 | 0.33 | 0.91 | 0.71 | 1 |