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 |