QBF Solver Evaluation Portal
qbflib.orgFamily irqlkeapclte results for solvers
QBFEVAL'16 - 2QBF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| areqs | 675.34 | 14.68 | 4.31 | 15.19 | 6.22 | 1 |
| aspQ | 2027.17 | 44.07 | 26.84 | 60.85 | 59.49 | 0.022 |
| cadet | 26987.72 | 586.69 | 87.44 | 599.71 | 0 | 0.022 |
| depqbf-v1 | 27243.31 | 592.25 | 0.37 | 592.22 | 0.49 | 0 |
| depqbf-v2 | 23175.95 | 503.83 | 211.12 | 593.12 | 0.8 | 0.152 |
| depqbf-v3 | 27587.95 | 599.74 | 0.06 | 599.71 | 0 | 0 |
| dynQBF | 26988.2 | 586.7 | 87.41 | 599.71 | 0 | 0.022 |
| ghostq-cegar | 5942.58 | 129.19 | 90.33 | 107.27 | 89.96 | 0.978 |
| ghostq-plain | 27014.86 | 587.28 | 85.03 | 599.91 | 0.1 | 0.022 |
| hiqqer1 | 24685.95 | 536.65 | 181.02 | 599.71 | 0.1 | 0.109 |
| hiqqer1ldsq | 24684.18 | 536.61 | 181.09 | 599.71 | 0 | 0.109 |
| hiqqer3 | 22857.79 | 496.91 | 224.26 | 599.71 | 0.1 | 0.174 |
| iprover-QBF | 24160.21 | 525.22 | 77.9 | 545.69 | 117.39 | 0 |
| iprover-QBF-bloqqer | 11279.73 | 245.21 | 177.19 | 173.09 | 306.18 | 0.087 |
| qestos | 26138.82 | 568.24 | 109.7 | 599.81 | 0.1 | 0.022 |
| qsts | 27029.41 | 587.6 | 81.21 | 599.71 | 0 | 0.022 |
| rareqs | 26987.78 | 586.69 | 87.46 | 599.71 | 0 | 0.022 |
| squeezebf+struqs | 27345.74 | 594.47 | 35.21 | 599.71 | 0 | 0.022 |
| struqs-10 | 27348.52 | 594.53 | 34.73 | 599.71 | 0 | 0.022 |
| xb-bid-qsts | 5553.98 | 120.74 | 203.27 | 40.16 | 8.5 | 0.848 |
| xb-qsts | 25202.27 | 547.88 | 167.99 | 599.71 | 0 | 0.087 |