QBF Solver Evaluation Portal
qbflib.orgFamily uclid results for solvers
QBFEVAL'16 - Prenex CNF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 890.27 | 296.76 | 221.85 | 333.16 | 324.48 | 0.333 |
| aqua-f3v | 1799.46 | 599.82 | 0.01 | 599.82 | 0.01 | 0 |
| aqua-s2v | 1799.48 | 599.83 | 0.01 | 599.83 | 0.01 | 0 |
| aqua-s3o | 1799.36 | 599.79 | 0.05 | 599.82 | 0.1 | 0 |
| caqe-minisat | 1799.15 | 599.72 | 0.02 | 599.71 | 0.01 | 0 |
| caqe-picosat | 1799.57 | 599.86 | 0.12 | 599.83 | 0.1 | 0 |
| depqbf-v1 | 1780.08 | 593.36 | 0.3 | 593.52 | 0.58 | 0 |
| depqbf-v2 | 1780.17 | 593.39 | 0.34 | 593.52 | 0.59 | 0 |
| depqbf-v3 | 1799.13 | 599.71 | 0 | 599.71 | 0 | 0 |
| ghostq-cegar | 673.39 | 224.46 | 266.98 | 72.18 | 70.78 | 0.667 |
| ghostq-plain | 602.49 | 200.83 | 282.12 | 1.36 | 0.04 | 0.667 |
| hiqqer1 | 1799.33 | 599.78 | 0.05 | 599.81 | 0.1 | 0 |
| hiqqer1ldsq | 1799.23 | 599.74 | 0.05 | 599.71 | 0 | 0 |
| hiqqer3 | 1799.33 | 599.78 | 0.05 | 599.81 | 0.1 | 0 |
| iprover-QBF | 1594.61 | 531.54 | 59.09 | 540.15 | 84.91 | 0 |
| iprover-QBF-bloqqer | 953.92 | 317.97 | 52.16 | 298.84 | 33 | 0 |
| qesto | 1799.14 | 599.71 | 0.01 | 599.71 | 0 | 0 |
| qestos | 1799.43 | 599.81 | 0 | 599.81 | 0 | 0 |
| qsts | 1799.13 | 599.71 | 0 | 599.71 | 0 | 0 |
| rareqs | 1799.33 | 599.78 | 0.05 | 599.81 | 0.1 | 0 |
| squeezebf+struqs | 1799.13 | 599.71 | 0 | 599.71 | 0 | 0 |
| struqs-10 | 1799.23 | 599.74 | 0.05 | 599.71 | 0 | 0 |
| xb-bid-qsts | 1799.13 | 599.71 | 0 | 599.71 | 0 | 0 |
| xb-qsts | 1799.14 | 599.71 | 0.01 | 599.71 | 0 | 0 |