QBF Solver Evaluation Portal
qbflib.orgFamily Logn results for solvers
QBFEVAL'16 - Prenex CNF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 0.86 | 0.22 | 0.28 | 0.09 | 0.43 | 1 |
| aqua-f3v | 4.41 | 1.1 | 1.39 | 0.51 | 2.21 | 1 |
| aqua-s2v | 4.4 | 1.1 | 1.39 | 0.5 | 2.2 | 1 |
| aqua-s3o | 4.4 | 1.1 | 1.39 | 0.5 | 2.2 | 1 |
| caqe-minisat | 21.59 | 5.4 | 7.5 | 1.71 | 10.78 | 1 |
| caqe-picosat | 709.87 | 177.47 | 247.89 | 55.08 | 354.92 | 0.75 |
| depqbf-v1 | 9.98 | 2.5 | 3.15 | 1.12 | 4.95 | 1 |
| depqbf-v2 | 1.26 | 0.32 | 0.36 | 0.17 | 0.59 | 1 |
| depqbf-v3 | 1.09 | 0.27 | 0.33 | 0.14 | 0.55 | 1 |
| ghostq-cegar | 50.33 | 12.58 | 16.54 | 4.9 | 24.9 | 1 |
| ghostq-plain | 40.79 | 10.2 | 11.94 | 5.67 | 20.13 | 1 |
| hiqqer1 | 3.4 | 0.85 | 1.14 | 0.29 | 1.64 | 1 |
| hiqqer1ldsq | 3.35 | 0.84 | 1.14 | 0.28 | 1.63 | 1 |
| hiqqer3 | 3.34 | 0.84 | 1.12 | 0.28 | 1.61 | 1 |
| iprover-QBF | 130.8 | 32.7 | 38.99 | 17.62 | 65.28 | 1 |
| iprover-QBF-bloqqer | 51.52 | 12.88 | 17.77 | 4.19 | 25.68 | 0.5 |
| qesto | 611.45 | 152.86 | 258.03 | 5.87 | 305.73 | 0.75 |
| qestos | 4.03 | 1.01 | 1.38 | 0.34 | 2.02 | 1 |
| qsts | 1.02 | 0.26 | 0.31 | 0.13 | 0.51 | 1 |
| rareqs | 3.61 | 0.9 | 1.26 | 0.28 | 1.81 | 1 |
| squeezebf+struqs | 1199.52 | 299.88 | 299.88 | 299.86 | 599.76 | 0.5 |
| struqs-10 | 1199.52 | 299.88 | 299.88 | 299.86 | 599.76 | 0.5 |
| xb-bid-qsts | 19.49 | 4.87 | 6.8 | 1.51 | 9.73 | 1 |
| xb-qsts | 19.54 | 4.89 | 6.83 | 1.51 | 9.76 | 1 |