QBF Solver Evaluation Portal
qbflib.orgSuite Rintanen results for solvers
QBFEVAL'16 - 2QBF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| areqs | 10408.32 | 247.82 | 269.3 | 94.35 | 594.3 | 0.667 |
| aspQ | 928.08 | 22.1 | 25.34 | 6.31 | 36.45 | 0.476 |
| cadet | 25188.03 | 599.72 | 0.02 | 599.71 | 0 | 0 |
| depqbf-v1 | 16311.88 | 388.38 | 267.06 | 592.57 | 586.14 | 0.405 |
| depqbf-v2 | 7517.2 | 178.98 | 200.91 | 82.41 | 188.3 | 0.857 |
| depqbf-v3 | 17146.44 | 408.25 | 267.12 | 599.71 | 589.84 | 0.357 |
| dynQBF | 25190.14 | 599.77 | 0.05 | 599.81 | 0.1 | 0 |
| ghostq-cegar | 20442.69 | 486.73 | 227.57 | 599.81 | 0.1 | 0.214 |
| ghostq-plain | 23886.03 | 568.72 | 106.46 | 599.81 | 0.01 | 0.119 |
| hiqqer1 | 3405.77 | 81.09 | 178.18 | 10.55 | 26.32 | 0.905 |
| hiqqer1ldsq | 3402.69 | 81.02 | 178.18 | 10.51 | 26.18 | 0.905 |
| hiqqer3 | 5128.84 | 122.12 | 204.72 | 19.01 | 66.8 | 0.857 |
| iprover-QBF | 18516.61 | 440.87 | 150.23 | 482.84 | 245.68 | 0 |
| iprover-QBF-bloqqer | 17022.13 | 405.29 | 211.74 | 498.13 | 432.5 | 0 |
| qestos | 11611.16 | 276.46 | 234.21 | 207.44 | 451.91 | 0.571 |
| qsts | 8956.33 | 213.25 | 268.33 | 24.55 | 598.65 | 0.69 |
| rareqs | 6006.63 | 143.02 | 234.68 | 10.78 | 117.35 | 0.81 |
| squeezebf+struqs | 25189.13 | 599.74 | 0.05 | 599.71 | 0.1 | 0 |
| struqs-10 | 25188.76 | 599.73 | 0.04 | 599.71 | 0.01 | 0 |
| xb-bid-qsts | 3907.69 | 93.04 | 142.15 | 45.61 | 54.87 | 0.976 |
| xb-qsts | 3831.81 | 91.23 | 146.16 | 41.77 | 61.83 | 0.952 |