QBF Solver Evaluation Portal
qbflib.orgSuite Rintanen results for solvers
QBFEVAL'16 - Prenex CNF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 7140.38 | 162.28 | 265.08 | 0.02 | 570.53 | 0.75 |
| aqua-f3v | 3662.31 | 83.23 | 201.11 | 0.04 | 3.06 | 0.886 |
| aqua-s2v | 3554.12 | 80.78 | 195.27 | 0.04 | 2.29 | 0.886 |
| aqua-s3o | 3816.78 | 86.75 | 204.93 | 0.04 | 4.16 | 0.864 |
| caqe-minisat | 3953.31 | 89.85 | 203.59 | 0.15 | 25.98 | 0.864 |
| caqe-picosat | 4515.2 | 102.62 | 214.13 | 0.14 | 10.67 | 0.864 |
| depqbf-v1 | 4866.53 | 110.6 | 207.9 | 4.41 | 69.04 | 0.864 |
| depqbf-v2 | 3912.14 | 88.91 | 202.11 | 0.17 | 7.24 | 0.864 |
| depqbf-v3 | 2827.71 | 64.27 | 177.63 | 0.06 | 2.36 | 0.909 |
| ghostq-cegar | 4212.99 | 95.75 | 203.49 | 2.4 | 31.62 | 0.864 |
| ghostq-plain | 4458.28 | 101.32 | 217.2 | 3.29 | 20.17 | 0.841 |
| hiqqer1 | 3123.58 | 70.99 | 189.55 | 0.06 | 1.27 | 0.886 |
| hiqqer1ldsq | 2372.16 | 53.91 | 151.92 | 0.05 | 1.03 | 0.886 |
| hiqqer3 | 3743.51 | 85.08 | 204.9 | 0.06 | 1.51 | 0.864 |
| iprover-QBF | 4344.38 | 98.74 | 192.58 | 1.78 | 31.2 | 0.818 |
| iprover-QBF-bloqqer | 3493.4 | 79.4 | 173.74 | 0.18 | 25.81 | 0.727 |
| qesto | 5607.91 | 127.45 | 240.88 | 0.02 | 10.9 | 0.795 |
| qestos | 2389.29 | 54.3 | 158.66 | 0.02 | 0.35 | 0.909 |
| qsts | 3155.02 | 71.71 | 189.64 | 0.03 | 0.41 | 0.886 |
| rareqs | 261.24 | 5.94 | 20.37 | 0.02 | 0.12 | 1 |
| squeezebf+struqs | 12466.62 | 283.33 | 292.9 | 101.07 | 599.7 | 0.545 |
| struqs-10 | 12198.16 | 277.23 | 295.91 | 0.31 | 599.71 | 0.545 |
| xb-bid-qsts | 611.37 | 13.89 | 36.16 | 0.19 | 20.87 | 1 |
| xb-qsts | 2545.51 | 57.85 | 158.84 | 0.15 | 2.72 | 0.932 |