QBF Solver Evaluation Portal
qbflib.orgFamily Qshifter results for solvers
QBFEVAL'16 - 2QBF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| areqs | 6.29 | 1.05 | 2.17 | 0.03 | 0.04 | 1 |
| aspQ | 6.04 | 1.01 | 2.07 | 0.03 | 0.04 | 1 |
| cadet | 19.82 | 3.3 | 6.78 | 0.1 | 0.17 | 1 |
| depqbf-v1 | 1777.64 | 296.27 | 296.25 | 295.98 | 591.92 | 0.5 |
| depqbf-v2 | 13.41 | 2.24 | 4.34 | 0.16 | 0.18 | 1 |
| depqbf-v3 | 26.97 | 4.5 | 9.04 | 0.14 | 0.23 | 1 |
| dynQBF | 1020.97 | 170.16 | 235.31 | 20.44 | 40.47 | 0.833 |
| ghostq-cegar | 917.98 | 153 | 211.88 | 6.44 | 11.72 | 0.667 |
| ghostq-plain | 671.85 | 111.98 | 155.92 | 5.32 | 9.56 | 0.667 |
| hiqqer1 | 6.39 | 1.07 | 2.09 | 0.07 | 0.06 | 1 |
| hiqqer1ldsq | 6.32 | 1.05 | 2.1 | 0.06 | 0.06 | 1 |
| hiqqer3 | 6.37 | 1.06 | 2.08 | 0.07 | 0.06 | 1 |
| iprover-QBF | 225.3 | 37.55 | 68.99 | 3.39 | 6.02 | 0.667 |
| iprover-QBF-bloqqer | 12.08 | 2.01 | 3.98 | 0.12 | 0.14 | 1 |
| qestos | 6.02 | 1 | 2.06 | 0.03 | 0.04 | 1 |
| qsts | 2509.62 | 418.27 | 258.55 | 599.62 | 599.69 | 0.333 |
| rareqs | 6.09 | 1.02 | 2.09 | 0.03 | 0.04 | 1 |
| squeezebf+struqs | 240.99 | 40.17 | 83.64 | 0.44 | 0.81 | 1 |
| struqs-10 | 1.61 | 0.27 | 0.51 | 0.02 | 0.03 | 1 |
| xb-bid-qsts | 11.96 | 1.99 | 3.98 | 0.1 | 0.14 | 1 |
| xb-qsts | 11.88 | 1.98 | 3.97 | 0.09 | 0.15 | 1 |