QBF Solver Evaluation Portal
qbflib.orgSuite Chen-Interian results for solvers
QBFEVAL'16 - Random QBFs Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| aqua-f3v | 108609.85 | 543.05 | 175.24 | 599.82 | 0.01 | 0.095 |
| aqua-s2v | 107555.99 | 537.78 | 181.29 | 599.82 | 0.02 | 0.105 |
| aqua-s3o | 112222.85 | 561.11 | 146.88 | 599.82 | 0.01 | 0.065 |
| caqe-minisat | 114145.72 | 570.73 | 126.52 | 599.72 | 0.03 | 0.05 |
| caqe-picosat | 114039.84 | 570.2 | 129.04 | 599.8 | 0.1 | 0.05 |
| depqbf-v1 | 109858.26 | 549.29 | 153.4 | 593.42 | 0.68 | 0.08 |
| depqbf-v2 | 110356.73 | 551.78 | 148.41 | 593.42 | 0.6 | 0.075 |
| depqbf-v3 | 111537.44 | 557.69 | 150.04 | 599.71 | 0.1 | 0.075 |
| hiqqer1 | 119569.97 | 597.85 | 26.92 | 599.71 | 0.1 | 0.005 |
| hiqqer1ldsq | 119562.41 | 597.81 | 27.55 | 599.81 | 0.1 | 0.005 |
| hiqqer3 | 119564.86 | 597.82 | 27.39 | 599.81 | 0.1 | 0.005 |
| iprover-QBF | 62793.04 | 313.97 | 106.44 | 313.29 | 75.16 | 0 |
| iprover-QBF-bloqqer | 60842.32 | 304.21 | 107.56 | 308.6 | 97.27 | 0 |
| qesto | 119943.73 | 599.72 | 0.03 | 599.71 | 0 | 0 |
| qestos | 119787.04 | 598.94 | 5.8 | 599.81 | 0.1 | 0 |
| qsts | 113823.56 | 569.12 | 126.14 | 599.71 | 0.01 | 0.06 |
| rareqs | 114680.49 | 573.4 | 121.53 | 599.71 | 0.1 | 0.045 |
| squeezebf+struqs | 119943.5 | 599.72 | 0.03 | 599.71 | 0 | 0 |
| struqs-10 | 119942.42 | 599.71 | 0.02 | 599.71 | 0 | 0 |
| xb-bid-qsts | 97706.29 | 488.53 | 225.91 | 599.71 | 0 | 0.195 |
| xb-qsts | 119426.96 | 597.13 | 36.45 | 599.71 | 0 | 0.005 |