QBF Solver Evaluation Portal
qbflib.orgFamily RobotsD5 results for solvers
QBFEVAL'16 - Random QBFs Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| aqua-f3v | 1928.7 | 64.29 | 41.68 | 83.97 | 91.88 | 1 |
| aqua-s2v | 1949.62 | 64.99 | 42.77 | 83.83 | 91.75 | 1 |
| aqua-s3o | 1886.57 | 62.89 | 40.19 | 84.57 | 89.18 | 1 |
| caqe-minisat | 230.31 | 7.68 | 8.41 | 5.98 | 7.99 | 1 |
| caqe-picosat | 249.15 | 8.31 | 12.22 | 6.14 | 9.06 | 1 |
| depqbf-v1 | 349.65 | 11.66 | 32.02 | 1.46 | 2.1 | 1 |
| depqbf-v2 | 590.48 | 19.68 | 15.31 | 16.76 | 30.4 | 1 |
| depqbf-v3 | 480.93 | 16.03 | 12.17 | 14.79 | 20.9 | 1 |
| hiqqer1 | 60.35 | 2.01 | 1.6 | 1.99 | 2.57 | 1 |
| hiqqer1ldsq | 60.27 | 2.01 | 1.63 | 1.98 | 2.53 | 1 |
| hiqqer3 | 71.03 | 2.37 | 1.96 | 2.26 | 3.24 | 1 |
| iprover-QBF | 14421.56 | 480.72 | 186.38 | 573.75 | 248.23 | 0.2 |
| iprover-QBF-bloqqer | 8111.51 | 270.38 | 260.43 | 337.64 | 492.58 | 0.4 |
| qesto | 77.37 | 2.58 | 2.06 | 2.35 | 3.67 | 1 |
| qestos | 116.18 | 3.87 | 4.9 | 2.94 | 4.92 | 1 |
| qsts | 53.88 | 1.8 | 3.09 | 0.65 | 1.64 | 1 |
| rareqs | 71.32 | 2.38 | 1.93 | 2.02 | 3.3 | 1 |
| squeezebf+struqs | 15475.51 | 515.85 | 186.82 | 599.71 | 0 | 0.2 |
| struqs-10 | 16010.43 | 533.68 | 179.11 | 599.71 | 0 | 0.167 |
| xb-bid-qsts | 227.6 | 7.59 | 7.82 | 5.41 | 9.49 | 1 |
| xb-qsts | 202.59 | 6.75 | 6.11 | 5.39 | 8.65 | 1 |