QBF Solver Evaluation Portal
qbflib.orgFamily fpu results for solvers
QBFEVAL'16 - Prenex CNF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 22.5 | 2.25 | 1.13 | 2.28 | 1.88 | 1 |
| aqua-f3v | 133.54 | 13.35 | 9.42 | 11.33 | 12.56 | 1 |
| aqua-s2v | 133.09 | 13.31 | 9.42 | 11.2 | 12.43 | 1 |
| aqua-s3o | 133.16 | 13.32 | 9.42 | 11.21 | 12.4 | 1 |
| caqe-minisat | 61.4 | 6.14 | 2.57 | 6.32 | 4.74 | 1 |
| caqe-picosat | 61.67 | 6.17 | 2.66 | 6.1 | 4.54 | 1 |
| depqbf-v1 | 67.73 | 6.77 | 2.88 | 6.87 | 4.81 | 1 |
| depqbf-v2 | 6.21 | 0.62 | 0.24 | 0.61 | 0.4 | 1 |
| depqbf-v3 | 5.41 | 0.54 | 0.23 | 0.56 | 0.39 | 1 |
| ghostq-cegar | 1145.77 | 114.58 | 53.06 | 116.7 | 88.52 | 1 |
| ghostq-plain | 1148.05 | 114.81 | 53.12 | 117.18 | 88.5 | 1 |
| hiqqer1 | 30.05 | 3.01 | 1.31 | 3.03 | 2.23 | 1 |
| hiqqer1ldsq | 30.22 | 3.02 | 1.31 | 3.04 | 2.29 | 1 |
| hiqqer3 | 30.33 | 3.03 | 1.32 | 3.07 | 2.23 | 1 |
| iprover-QBF | 276.82 | 27.68 | 2.62 | 27.9 | 4.19 | 0 |
| iprover-QBF-bloqqer | 59.78 | 5.98 | 2.51 | 6.12 | 4.5 | 0 |
| qesto | 13.78 | 1.38 | 0.61 | 1.42 | 1.07 | 1 |
| qestos | 13.71 | 1.37 | 0.6 | 1.4 | 1.08 | 1 |
| qsts | 303.63 | 30.36 | 28.57 | 22.78 | 35.15 | 1 |
| rareqs | 13.71 | 1.37 | 0.6 | 1.41 | 1.05 | 1 |
| squeezebf+struqs | 130.65 | 13.07 | 9.23 | 11.06 | 12.35 | 1 |
| struqs-10 | 12.36 | 1.24 | 0.56 | 1.2 | 0.94 | 1 |
| xb-bid-qsts | 59.97 | 6 | 2.55 | 6.18 | 4.4 | 1 |
| xb-qsts | 60.04 | 6 | 2.54 | 6.28 | 4.32 | 1 |