QBF Solver Evaluation Portal
qbflib.orgSuite Herbstritt results for solvers
QBFEVAL'16 - Prenex CNF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 3698.8 | 184.94 | 271.95 | 3.02 | 599.04 | 0.7 |
| aqua-f3v | 1244.67 | 62.23 | 179.36 | 0.16 | 1.42 | 0.9 |
| aqua-s2v | 1808.37 | 90.42 | 214 | 0.15 | 1.71 | 0.85 |
| aqua-s3o | 1222.85 | 61.14 | 179.6 | 0.15 | 1.22 | 0.9 |
| caqe-minisat | 4866.27 | 243.31 | 291.14 | 10.52 | 599.02 | 0.6 |
| caqe-picosat | 1987.74 | 99.39 | 211.58 | 1.75 | 26.92 | 0.85 |
| depqbf-v1 | 3193.98 | 159.7 | 245.94 | 1.61 | 371.66 | 0.8 |
| depqbf-v2 | 2387.08 | 119.35 | 226.05 | 2.37 | 37.65 | 0.9 |
| depqbf-v3 | 3453.51 | 172.68 | 258.15 | 2.3 | 477.5 | 0.75 |
| ghostq-cegar | 3639.95 | 182 | 273.61 | 0.88 | 599.37 | 0.7 |
| ghostq-plain | 3086.08 | 154.3 | 257.72 | 0.84 | 336.42 | 0.75 |
| hiqqer1 | 5070.28 | 253.51 | 285.94 | 37.47 | 599.35 | 0.6 |
| hiqqer1ldsq | 4792.9 | 239.65 | 275.41 | 37.03 | 599.36 | 0.6 |
| hiqqer3 | 5095.23 | 254.76 | 285.15 | 47.12 | 599.03 | 0.6 |
| iprover-QBF | 5405.81 | 270.29 | 175.3 | 289.29 | 218.92 | 0.3 |
| iprover-QBF-bloqqer | 1809.73 | 90.49 | 135.22 | 33.79 | 112.6 | 0.7 |
| qesto | 5089.33 | 254.47 | 285.71 | 38.84 | 599.4 | 0.6 |
| qestos | 2711.87 | 135.59 | 238.76 | 0.44 | 142.82 | 0.8 |
| qsts | 2424.12 | 121.21 | 239.26 | 1.22 | 6.94 | 0.8 |
| rareqs | 13.44 | 0.67 | 0.85 | 0.28 | 0.99 | 1 |
| squeezebf+struqs | 9992.99 | 499.65 | 211.34 | 599.71 | 0 | 0.15 |
| struqs-10 | 10033.05 | 501.65 | 209.99 | 599.71 | 0 | 0.2 |
| xb-bid-qsts | 864.72 | 43.24 | 100.5 | 3.34 | 33.12 | 1 |
| xb-qsts | 730.59 | 36.53 | 93.72 | 1.9 | 19.9 | 1 |