QBF Solver Evaluation Portal
qbflib.orgSuite Pan results for solvers
QBFEVAL'16 - 2QBF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| areqs | 6.29 | 0.9 | 2.04 | 0.01 | 0.04 | 1 |
| aspQ | 6.04 | 0.86 | 1.95 | 0.01 | 0.04 | 1 |
| cadet | 19.82 | 2.83 | 6.38 | 0.03 | 0.17 | 1 |
| depqbf-v1 | 1777.67 | 253.95 | 293.21 | 0.03 | 591.92 | 0.571 |
| depqbf-v2 | 13.44 | 1.92 | 4.09 | 0.11 | 0.18 | 1 |
| depqbf-v3 | 26.97 | 3.85 | 8.51 | 0.04 | 0.23 | 1 |
| dynQBF | 1020.98 | 145.85 | 225.84 | 0.38 | 40.49 | 0.857 |
| ghostq-cegar | 918.04 | 131.15 | 203.33 | 1.07 | 11.74 | 0.714 |
| ghostq-plain | 671.91 | 95.99 | 149.57 | 0.98 | 9.59 | 0.714 |
| hiqqer1 | 6.43 | 0.92 | 1.97 | 0.05 | 0.06 | 1 |
| hiqqer1ldsq | 6.34 | 0.91 | 1.97 | 0.03 | 0.06 | 1 |
| hiqqer3 | 6.4 | 0.91 | 1.96 | 0.05 | 0.06 | 1 |
| iprover-QBF | 225.34 | 32.19 | 65.21 | 0.71 | 6.03 | 0.714 |
| iprover-QBF-bloqqer | 12.12 | 1.73 | 3.75 | 0.06 | 0.14 | 1 |
| qestos | 6.02 | 0.86 | 1.94 | 0.01 | 0.04 | 1 |
| qsts | 2509.62 | 358.52 | 280.57 | 599.53 | 599.71 | 0.429 |
| rareqs | 6.09 | 0.87 | 1.97 | 0.01 | 0.04 | 1 |
| squeezebf+struqs | 240.99 | 34.43 | 78.7 | 0.06 | 0.81 | 1 |
| struqs-10 | 1.61 | 0.23 | 0.48 | 0 | 0.03 | 1 |
| xb-bid-qsts | 11.97 | 1.71 | 3.75 | 0.04 | 0.14 | 1 |
| xb-qsts | 11.88 | 1.7 | 3.74 | 0.03 | 0.15 | 1 |