QBF Solver Evaluation Portal
qbflib.orgFamily Qshifter results for solvers
QBFEVAL'16 - Prenex CNF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 679.16 | 113.19 | 219.24 | 2.29 | 4.3 | 0.833 |
| aqua-f3v | 627.29 | 104.55 | 221.76 | 0.82 | 1.53 | 0.833 |
| aqua-s2v | 627.29 | 104.55 | 221.76 | 0.82 | 1.53 | 0.833 |
| aqua-s3o | 627.27 | 104.55 | 221.77 | 0.82 | 1.54 | 0.833 |
| caqe-minisat | 15.93 | 2.66 | 5.46 | 0.09 | 0.14 | 1 |
| caqe-picosat | 12.11 | 2.02 | 4.05 | 0.09 | 0.15 | 1 |
| depqbf-v1 | 1776.44 | 296.07 | 296.05 | 295.67 | 591.3 | 0.5 |
| depqbf-v2 | 13.59 | 2.27 | 4.42 | 0.16 | 0.19 | 1 |
| depqbf-v3 | 26.54 | 4.42 | 8.88 | 0.13 | 0.22 | 1 |
| ghostq-cegar | 918.1 | 153.02 | 212.17 | 6.5 | 11.84 | 0.667 |
| ghostq-plain | 674.88 | 112.48 | 156.15 | 5.89 | 10.72 | 0.667 |
| hiqqer1 | 6.4 | 1.07 | 2.1 | 0.07 | 0.06 | 1 |
| hiqqer1ldsq | 6.36 | 1.06 | 2.11 | 0.05 | 0.05 | 1 |
| hiqqer3 | 6.35 | 1.06 | 2.08 | 0.07 | 0.06 | 1 |
| iprover-QBF | 225.98 | 37.66 | 69.21 | 3.38 | 6 | 0.667 |
| iprover-QBF-bloqqer | 12.26 | 2.04 | 4.03 | 0.12 | 0.14 | 1 |
| qesto | 6 | 1 | 2.06 | 0.03 | 0.04 | 1 |
| qestos | 6.34 | 1.06 | 2.17 | 0.03 | 0.04 | 1 |
| qsts | 2509.53 | 418.26 | 258.55 | 599.62 | 599.69 | 0.333 |
| rareqs | 6.04 | 1.01 | 2.07 | 0.03 | 0.04 | 1 |
| squeezebf+struqs | 241.05 | 40.18 | 83.66 | 0.43 | 0.8 | 1 |
| struqs-10 | 1.62 | 0.27 | 0.51 | 0.02 | 0.03 | 1 |
| xb-bid-qsts | 11.99 | 2 | 4 | 0.1 | 0.14 | 1 |
| xb-qsts | 12.04 | 2.01 | 4.02 | 0.09 | 0.15 | 1 |