Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
areqs | 1.76 | 0.04 | 0.03 | 0.03 | 0.04 | 1 |
aspQ | 1.95 | 0.04 | 0.03 | 0.03 | 0.04 | 1 |
cadet | 11.49 | 0.23 | 0.46 | 0.08 | 0.15 | 1 |
depqbf-v1 | 10081.45 | 201.63 | 280.83 | 0.11 | 592.5 | 0.66 |
depqbf-v2 | 100.2 | 2 | 2.94 | 0.66 | 1.91 | 1 |
depqbf-v3 | 84.81 | 1.7 | 2.77 | 0.56 | 1.59 | 1 |
dynQBF | 29388.02 | 587.76 | 83.96 | 599.71 | 0.1 | 0.02 |
ghostq-cegar | 29390.21 | 587.8 | 83.96 | 599.81 | 0 | 0.02 |
ghostq-plain | 29392.29 | 587.85 | 83.96 | 599.81 | 0.1 | 0.02 |
hiqqer1 | 1203.27 | 24.07 | 117.51 | 0.07 | 0.06 | 0.96 |
hiqqer1ldsq | 1202.51 | 24.05 | 117.51 | 0.06 | 0.06 | 0.96 |
hiqqer3 | 1203.3 | 24.07 | 117.51 | 0.07 | 0.05 | 0.96 |
iprover-QBF | 18214.35 | 364.29 | 177.06 | 355.14 | 275.41 | 0.2 |
iprover-QBF-bloqqer | 27.98 | 0.56 | 0.55 | 0.35 | 0.56 | 0.98 |
qestos | 1.77 | 0.04 | 0.03 | 0.03 | 0.04 | 1 |
qsts | 29414.97 | 588.3 | 31.03 | 599.71 | 0 | 0 |
rareqs | 1.74 | 0.03 | 0.03 | 0.03 | 0.04 | 1 |
squeezebf+struqs | 1906.01 | 38.12 | 141.93 | 0.9 | 2.74 | 0.94 |
struqs-10 | 1905.27 | 38.11 | 141.94 | 0.86 | 2.67 | 0.94 |
xb-bid-qsts | 26.63 | 0.53 | 0.54 | 0.31 | 0.56 | 1 |
xb-qsts | 26.27 | 0.53 | 0.54 | 0.31 | 0.55 | 1 |