QBF Solver Evaluation Portal
qbflib.orgFamily Model_instances results for solvers
QBFEVAL'16 - Random QBFs Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| aqua-f3v | 14124.53 | 235.41 | 287.62 | 11.36 | 599.1 | 0.617 |
| aqua-s2v | 14635 | 243.92 | 290.83 | 7.52 | 599.32 | 0.6 |
| aqua-s3o | 14848.36 | 247.47 | 288.86 | 12.52 | 599.03 | 0.6 |
| caqe-minisat | 26950.22 | 449.17 | 235.38 | 599.71 | 394.08 | 0.317 |
| caqe-picosat | 17901.45 | 298.36 | 280.22 | 183.18 | 581.37 | 0.55 |
| depqbf-v1 | 28022.92 | 467.05 | 238.61 | 592.17 | 1.1 | 0.217 |
| depqbf-v2 | 25318.55 | 421.98 | 262.25 | 592.83 | 564.06 | 0.317 |
| depqbf-v3 | 28124.34 | 468.74 | 242.77 | 599.71 | 0 | 0.233 |
| hiqqer1 | 29663.19 | 494.39 | 205.48 | 599.71 | 0.1 | 0.233 |
| hiqqer1ldsq | 29610.41 | 493.51 | 206.17 | 599.71 | 0.1 | 0.233 |
| hiqqer3 | 29659.32 | 494.32 | 205.39 | 599.71 | 0.1 | 0.233 |
| iprover-QBF | 20943.04 | 349.05 | 71.99 | 324.06 | 71.67 | 0 |
| iprover-QBF-bloqqer | 16165.09 | 269.42 | 55.41 | 259.65 | 45.35 | 0 |
| qesto | 19043.12 | 317.39 | 267.57 | 269.7 | 561.01 | 0.55 |
| qestos | 33696.34 | 561.61 | 137.57 | 599.81 | 0 | 0.083 |
| qsts | 35113.76 | 585.23 | 83.33 | 599.71 | 0 | 0.033 |
| rareqs | 16615.54 | 276.93 | 284.37 | 65.13 | 590.19 | 0.567 |
| squeezebf+struqs | 35984.27 | 599.74 | 0.05 | 599.71 | 0.1 | 0 |
| struqs-10 | 35983.22 | 599.72 | 0.03 | 599.71 | 0.01 | 0 |
| xb-bid-qsts | 14764.61 | 246.08 | 272.86 | 37.88 | 585.03 | 0.667 |
| xb-qsts | 17093.95 | 284.9 | 279.42 | 119.68 | 585.95 | 0.6 |