Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
areqs | 21062.34 | 438.8 | 264.1 | 599.71 | 573.12 | 0.271 |
aspQ | 1396.76 | 29.1 | 28.11 | 15 | 59.41 | 0.5 |
cadet | 28786.99 | 599.73 | 0.04 | 599.71 | 0 | 0 |
depqbf-v1 | 22136.89 | 461.19 | 239.73 | 592.93 | 33.95 | 0.25 |
depqbf-v2 | 21326.47 | 444.3 | 250.95 | 592.93 | 346.96 | 0.271 |
depqbf-v3 | 23194.39 | 483.22 | 224.84 | 599.71 | 0 | 0.229 |
dynQBF | 27590.8 | 574.81 | 119.82 | 599.81 | 0.1 | 0.042 |
ghostq-cegar | 28033.55 | 584.03 | 88.03 | 599.81 | 0.1 | 0.042 |
ghostq-plain | 27534.58 | 573.64 | 110.49 | 599.82 | 0.1 | 0.042 |
hiqqer1 | 17170.65 | 357.72 | 273.11 | 599.71 | 591.88 | 0.458 |
hiqqer1ldsq | 17136.7 | 357.01 | 273.39 | 599.71 | 591.94 | 0.458 |
hiqqer3 | 17207.48 | 358.49 | 272.17 | 599.71 | 590.12 | 0.458 |
iprover-QBF | 26072.53 | 543.18 | 131.58 | 599.22 | 0.1 | 0.021 |
iprover-QBF-bloqqer | 23162.82 | 482.56 | 112.97 | 504.24 | 202.69 | 0.021 |
qestos | 15839.8 | 330 | 239.21 | 353.43 | 569.25 | 0.333 |
qsts | 14323.89 | 298.41 | 258.35 | 218.16 | 594.44 | 0.625 |
rareqs | 8865.98 | 184.71 | 247.57 | 30.16 | 433.7 | 0.771 |
squeezebf+struqs | 26633.62 | 554.87 | 150.03 | 599.71 | 0 | 0.083 |
struqs-10 | 26636.05 | 554.92 | 149.92 | 599.71 | 0 | 0.083 |
xb-bid-qsts | 13227.75 | 275.58 | 269.74 | 151.38 | 583.45 | 0.625 |
xb-qsts | 15335.58 | 319.49 | 274.99 | 340.27 | 595.19 | 0.542 |