QBF Solver Evaluation Portal
qbflib.orgSuite Miller-Marin results for solvers
QBFEVAL'16 - Prenex CNF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 215.74 | 7.19 | 19.76 | 1.71 | 3.45 | 1 |
| aqua-f3v | 3809.57 | 126.99 | 236.81 | 3.4 | 24.43 | 0.8 |
| aqua-s2v | 3313.46 | 110.45 | 219.97 | 3.41 | 24.4 | 0.833 |
| aqua-s3o | 3772.7 | 125.76 | 237.25 | 3.3 | 24.48 | 0.8 |
| caqe-minisat | 3418.4 | 113.95 | 218.57 | 10.66 | 28.05 | 0.833 |
| caqe-picosat | 4175.65 | 139.19 | 233.75 | 10.83 | 35 | 0.8 |
| depqbf-v1 | 2529.38 | 84.31 | 199.4 | 6.42 | 9.31 | 0.867 |
| depqbf-v2 | 2196.2 | 73.21 | 178.9 | 1.97 | 12.1 | 0.9 |
| depqbf-v3 | 2259.52 | 75.32 | 182.58 | 1.88 | 12.12 | 0.9 |
| ghostq-cegar | 1265.52 | 42.18 | 59.73 | 8.02 | 36.49 | 0.933 |
| ghostq-plain | 4221.69 | 140.72 | 213.37 | 24.42 | 125.63 | 0.767 |
| hiqqer1 | 2529.29 | 84.31 | 202.44 | 2.88 | 3.28 | 0.867 |
| hiqqer1ldsq | 2528.96 | 84.3 | 202.44 | 2.89 | 3.28 | 0.867 |
| hiqqer3 | 2538.8 | 84.63 | 202.38 | 3.07 | 3.86 | 0.867 |
| iprover-QBF | 5085.38 | 169.51 | 218.1 | 30.89 | 199.73 | 0.5 |
| iprover-QBF-bloqqer | 3753.13 | 125.1 | 198.94 | 14.76 | 128.24 | 0.433 |
| qesto | 5371.66 | 179.06 | 269.6 | 2.2 | 557.61 | 0.7 |
| qestos | 122.68 | 4.09 | 6.71 | 1.57 | 2.1 | 1 |
| qsts | 1087.6 | 36.25 | 107.15 | 5.54 | 21.75 | 0.967 |
| rareqs | 50.54 | 1.68 | 2.15 | 1.41 | 1.03 | 1 |
| squeezebf+struqs | 8690.38 | 289.68 | 290.65 | 72.38 | 590.16 | 0.533 |
| struqs-10 | 8594.23 | 286.47 | 293.86 | 82.04 | 598.48 | 0.533 |
| xb-bid-qsts | 2265.11 | 75.5 | 176.38 | 9.68 | 18.37 | 0.9 |
| xb-qsts | 2794.08 | 93.14 | 199.98 | 9.68 | 16.75 | 0.867 |