QBF Solver Evaluation Portal
qbflib.orgFamily terminator results for solvers
QBFEVAL'16 - 2QBF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| areqs | 12779.64 | 255.59 | 293.08 | 7.12 | 598.32 | 0.58 |
| aspQ | 1677.93 | 33.56 | 28.28 | 46.47 | 59.77 | 0.5 |
| cadet | 1350.04 | 27 | 108.29 | 0.09 | 0.05 | 0.98 |
| depqbf-v1 | 4878.87 | 97.58 | 177.76 | 0.26 | 63.71 | 0.94 |
| depqbf-v2 | 1568.7 | 31.37 | 117.93 | 3.41 | 1.8 | 0.96 |
| depqbf-v3 | 17588.12 | 351.76 | 269.64 | 577.49 | 598.64 | 0.5 |
| dynQBF | 29987.3 | 599.75 | 0.05 | 599.71 | 0.1 | 0 |
| ghostq-cegar | 8238.84 | 164.78 | 250.78 | 2.44 | 316.01 | 0.78 |
| ghostq-plain | 7157.16 | 143.14 | 237.21 | 2.01 | 88.18 | 0.84 |
| hiqqer1 | 29388.05 | 587.76 | 83.87 | 599.71 | 0.1 | 0.02 |
| hiqqer1ldsq | 29388.63 | 587.77 | 83.88 | 599.71 | 0.1 | 0.02 |
| hiqqer3 | 28789.25 | 575.79 | 117.38 | 599.71 | 0.1 | 0.04 |
| iprover-QBF | 25092.5 | 501.85 | 137.11 | 599.22 | 273.47 | 0 |
| iprover-QBF-bloqqer | 22057.34 | 441.15 | 235.71 | 595.18 | 339.88 | 0.04 |
| qestos | 15812.6 | 316.25 | 288.57 | 475.42 | 599.09 | 0.48 |
| qsts | 23740.44 | 474.81 | 224.18 | 599.71 | 211.07 | 0.26 |
| rareqs | 7196.03 | 143.92 | 223.92 | 8.38 | 127.24 | 0.82 |
| squeezebf+struqs | 16995.66 | 339.91 | 293.15 | 599.71 | 590.68 | 0.44 |
| struqs-10 | 16994.19 | 339.88 | 293.17 | 599.71 | 590.72 | 0.44 |
| xb-bid-qsts | 16641.9 | 332.84 | 289.31 | 599.71 | 594.86 | 0.48 |
| xb-qsts | 20502.26 | 410.05 | 270.97 | 599.71 | 594.83 | 0.34 |