QBF Solver Evaluation Portal
qbflib.orgSuite Diptarama-Jordan-Shinohara results for solvers
QBFEVAL'16 - Prenex CNF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 2876.23 | 287.62 | 259.64 | 235.27 | 568.59 | 0.6 |
| aqua-f3v | 1241.78 | 124.18 | 150.52 | 4.01 | 273.32 | 0.6 |
| aqua-s2v | 1124.03 | 112.4 | 136.72 | 4.74 | 233.48 | 0.6 |
| aqua-s3o | 1133.52 | 113.35 | 137.48 | 4.64 | 239.41 | 0.6 |
| caqe-minisat | 939.4 | 93.94 | 176.4 | 4.51 | 77.68 | 0.9 |
| caqe-picosat | 894.09 | 89.41 | 181.48 | 4.83 | 17.96 | 0.9 |
| depqbf-v1 | 784.37 | 78.44 | 177.03 | 0.31 | 3.7 | 0.9 |
| depqbf-v2 | 640.12 | 64.01 | 134.8 | 13.12 | 27.5 | 1 |
| depqbf-v3 | 785.29 | 78.53 | 175.63 | 11.37 | 25.44 | 0.9 |
| ghostq-cegar | 1833.51 | 183.35 | 272.69 | 5.05 | 18.2 | 0.7 |
| ghostq-plain | 794.96 | 79.5 | 179.81 | 2.04 | 4.53 | 0.9 |
| hiqqer1 | 684.21 | 68.42 | 178.16 | 0.96 | 4.44 | 0.9 |
| hiqqer1ldsq | 678.54 | 67.85 | 178.17 | 0.96 | 4.03 | 0.9 |
| hiqqer3 | 695.66 | 69.57 | 177.88 | 1.3 | 6.01 | 0.9 |
| iprover-QBF | 5372.22 | 537.22 | 145.07 | 599.22 | 84.37 | 0.1 |
| iprover-QBF-bloqqer | 1761.34 | 176.13 | 153.17 | 169.45 | 260 | 0.4 |
| qesto | 1285.14 | 128.51 | 221.46 | 1.61 | 25.38 | 0.9 |
| qestos | 1807.58 | 180.76 | 274.31 | 1.43 | 4.23 | 0.7 |
| qsts | 1814.62 | 181.46 | 273.81 | 1.77 | 11.62 | 0.7 |
| rareqs | 1830.15 | 183.02 | 272.92 | 1.65 | 25.96 | 0.7 |
| squeezebf+struqs | 3057.48 | 305.75 | 294.08 | 314.77 | 592.89 | 0.5 |
| struqs-10 | 2615.97 | 261.6 | 279.54 | 88.91 | 588.69 | 0.6 |
| xb-bid-qsts | 414.13 | 41.41 | 69.52 | 20.33 | 34.37 | 1 |
| xb-qsts | 286.53 | 28.65 | 72.24 | 3.82 | 8.92 | 1 |