QBF Solver Evaluation Portal
qbflib.orgFamily evader-pursuer-8x8-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 | 4303.55 | 537.94 | 164.19 | 600 | 0 | 0.125 |
| caqe-picosat-cert | 3919.94 | 489.99 | 200.62 | 600 | 157.23 | 0.25 |
| cheq | 3441.7 | 430.21 | 250.7 | 604.16 | 429.15 | 0.125 |
| depqbf-cert-v1 | 2300.69 | 287.59 | 271.01 | 220.64 | 595.67 | 0.5 |
| depqbf-cert-v2 | 2359.96 | 295 | 273.82 | 238.44 | 593.35 | 0.5 |