QBF Solver Evaluation Portal
qbflib.orgFamily k_lin_n results for solvers
QBFEVAL'16 - Prenex CNF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 422.04 | 42.2 | 52.46 | 14.87 | 31.7 | 1 |
| aqua-f3v | 6.83 | 0.68 | 0.7 | 0.35 | 0.6 | 1 |
| aqua-s2v | 6.98 | 0.7 | 0.71 | 0.35 | 0.6 | 1 |
| aqua-s3o | 7.16 | 0.72 | 0.73 | 0.36 | 0.62 | 1 |
| caqe-minisat | 18.7 | 1.87 | 2.18 | 0.72 | 1.12 | 1 |
| caqe-picosat | 18.88 | 1.89 | 2.27 | 0.7 | 1.12 | 1 |
| depqbf-v1 | 57.85 | 5.79 | 7 | 3.46 | 5.41 | 1 |
| depqbf-v2 | 31.02 | 3.1 | 3.39 | 1.36 | 2.2 | 1 |
| depqbf-v3 | 32.53 | 3.25 | 4.02 | 1.03 | 2.17 | 1 |
| ghostq-cegar | 1957.92 | 195.79 | 220.28 | 77.27 | 131.42 | 0.8 |
| ghostq-plain | 112.64 | 11.26 | 15.07 | 3.19 | 8.95 | 1 |
| hiqqer1 | 24.43 | 2.44 | 3.56 | 0.34 | 0.77 | 1 |
| hiqqer1ldsq | 24.17 | 2.42 | 3.54 | 0.33 | 0.77 | 1 |
| hiqqer3 | 24.28 | 2.43 | 3.52 | 0.34 | 0.77 | 1 |
| iprover-QBF | 2710.15 | 271.02 | 174.6 | 286.57 | 296.28 | 0.7 |
| iprover-QBF-bloqqer | 23.32 | 2.33 | 3.41 | 0.71 | 1.1 | 1 |
| qesto | 7.62 | 0.76 | 0.97 | 0.22 | 0.48 | 1 |
| qestos | 7.63 | 0.76 | 0.98 | 0.22 | 0.48 | 1 |
| qsts | 3.89 | 0.39 | 0.43 | 0.16 | 0.25 | 1 |
| rareqs | 7.61 | 0.76 | 0.97 | 0.22 | 0.49 | 1 |
| squeezebf+struqs | 5997.4 | 599.74 | 0.05 | 599.71 | 0 | 0 |
| struqs-10 | 5997.21 | 599.72 | 0.03 | 599.71 | 0 | 0 |
| xb-bid-qsts | 18.69 | 1.87 | 2.27 | 0.69 | 1.07 | 1 |
| xb-qsts | 18.51 | 1.85 | 2.23 | 0.7 | 1.08 | 1 |