QBF Solver Evaluation Portal
qbflib.orgSuite Basler results for solvers
QBFEVAL'16 - 2QBF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| areqs | 13465.02 | 92.23 | 208.22 | 4.99 | 16.41 | 0.856 |
| aspQ | 3707.57 | 25.39 | 29.22 | 1.41 | 60.77 | 0.514 |
| cadet | 28345.76 | 194.15 | 278.26 | 0.11 | 599.65 | 0.685 |
| depqbf-v1 | 57137.09 | 391.35 | 269.83 | 592.12 | 592.41 | 0.377 |
| depqbf-v2 | 24772.3 | 169.67 | 265.2 | 3.06 | 592.41 | 0.719 |
| depqbf-v3 | 64565.79 | 442.23 | 252.99 | 599.71 | 466.47 | 0.295 |
| dynQBF | 57001.78 | 390.42 | 285.68 | 599.71 | 599.55 | 0.349 |
| ghostq-cegar | 14203.68 | 97.29 | 170.88 | 2.12 | 110.41 | 0.918 |
| ghostq-plain | 51297.27 | 351.35 | 282.72 | 599.76 | 597.91 | 0.479 |
| hiqqer1 | 54086.36 | 370.45 | 290.77 | 599.71 | 599.65 | 0.384 |
| hiqqer1ldsq | 54084.5 | 370.44 | 290.78 | 599.71 | 599.67 | 0.384 |
| hiqqer3 | 51661.54 | 353.85 | 294.43 | 599.71 | 599.66 | 0.411 |
| iprover-QBF | 66486.18 | 455.38 | 146.33 | 484.68 | 250.78 | 0.034 |
| iprover-QBF-bloqqer | 33918.32 | 232.32 | 250.62 | 147.54 | 564.83 | 0.377 |
| qestos | 42043.24 | 287.97 | 292.27 | 92.02 | 599.79 | 0.514 |
| qsts | 75060.74 | 514.11 | 199.05 | 599.71 | 0 | 0.171 |
| rareqs | 34186.63 | 234.16 | 283.36 | 4.77 | 599.69 | 0.63 |
| squeezebf+struqs | 70138.86 | 480.4 | 236.38 | 599.71 | 0 | 0.205 |
| struqs-10 | 70139.68 | 480.41 | 236.38 | 599.71 | 0 | 0.205 |
| xb-bid-qsts | 22215.97 | 152.16 | 247.11 | 31.02 | 46.53 | 0.774 |
| xb-qsts | 45739.61 | 313.29 | 296.73 | 599.67 | 599.53 | 0.486 |