QBF Solver Evaluation Portal
qbflib.orgFamily QBF-Hardness results for solvers
QBFEVAL'16 - Prenex CNF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 5335.38 | 533.54 | 164.37 | 599.8 | 58.73 | 0.2 |
| aqua-f3v | 2491.4 | 249.14 | 287.22 | 43.01 | 599.58 | 0.6 |
| aqua-s2v | 2506.91 | 250.69 | 286.31 | 50.86 | 599.54 | 0.6 |
| aqua-s3o | 2487.84 | 248.78 | 287.4 | 40.94 | 599.57 | 0.6 |
| caqe-minisat | 1365.22 | 136.52 | 229.55 | 18.23 | 63.06 | 0.9 |
| caqe-picosat | 870.99 | 87.1 | 181.37 | 6.49 | 7.03 | 0.9 |
| depqbf-v1 | 2185.67 | 218.57 | 268.94 | 9.02 | 382.03 | 0.7 |
| depqbf-v2 | 1846.48 | 184.65 | 267.78 | 4.56 | 51.9 | 0.7 |
| depqbf-v3 | 638.75 | 63.88 | 178.79 | 1.4 | 1.57 | 0.9 |
| ghostq-cegar | 3128.04 | 312.8 | 288 | 343.93 | 599.33 | 0.5 |
| ghostq-plain | 2786.32 | 278.63 | 279.04 | 190 | 599.27 | 0.6 |
| hiqqer1 | 1825.61 | 182.56 | 273.2 | 0.68 | 23.78 | 0.7 |
| hiqqer1ldsq | 1826.5 | 182.65 | 273.19 | 0.62 | 24.64 | 0.7 |
| hiqqer3 | 1828.62 | 182.86 | 273.03 | 1.21 | 24.5 | 0.7 |
| iprover-QBF | 4478.25 | 447.83 | 180.3 | 527.58 | 461.36 | 0.2 |
| iprover-QBF-bloqqer | 4763.27 | 476.33 | 147.56 | 519.89 | 305.29 | 0.2 |
| qesto | 1274.48 | 127.45 | 236.38 | 8.3 | 13.36 | 0.8 |
| qestos | 3504.93 | 350.49 | 265.24 | 452.2 | 599.69 | 0.5 |
| qsts | 1445.12 | 144.51 | 233.77 | 9.01 | 42.92 | 0.8 |
| rareqs | 2514.21 | 251.42 | 284.86 | 46.56 | 597.29 | 0.6 |
| squeezebf+struqs | 1935.96 | 193.6 | 245.58 | 58.26 | 86.55 | 0.8 |
| struqs-10 | 1922.66 | 192.27 | 244.77 | 57.33 | 84.75 | 0.8 |
| xb-bid-qsts | 46.26 | 4.63 | 5.98 | 2.27 | 1.96 | 1 |
| xb-qsts | 36.39 | 3.64 | 4.74 | 1.78 | 1.66 | 1 |