Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 3506.5 | 350.65 | 266.27 | 476.42 | 595.55 | 0.5 |
aqua-f3v | 172.91 | 17.29 | 27.35 | 3.87 | 9.98 | 1 |
aqua-s2v | 172.1 | 17.21 | 27.25 | 3.86 | 10.06 | 1 |
aqua-s3o | 118.4 | 11.84 | 18.98 | 2.99 | 7.9 | 1 |
caqe-minisat | 2036.02 | 203.6 | 250.4 | 36.68 | 238.63 | 0.8 |
caqe-picosat | 2126.18 | 212.62 | 262.79 | 33.85 | 246.16 | 0.7 |
depqbf-v1 | 4753.04 | 475.3 | 233.91 | 592.08 | 578.21 | 0.2 |
depqbf-v2 | 710.85 | 71.09 | 99.62 | 40.06 | 54.19 | 1 |
depqbf-v3 | 4818.74 | 481.87 | 235.76 | 599.71 | 584.78 | 0.2 |
ghostq-cegar | 5997.12 | 599.71 | 0.14 | 599.71 | 0.1 | 0 |
ghostq-plain | 5996.82 | 599.68 | 0.1 | 599.71 | 0.19 | 0 |
hiqqer1 | 36.01 | 3.6 | 3.81 | 2.72 | 4 | 1 |
hiqqer1ldsq | 35.87 | 3.59 | 3.81 | 2.73 | 3.96 | 1 |
hiqqer3 | 36.04 | 3.6 | 3.83 | 2.72 | 3.97 | 1 |
iprover-QBF | 1542.25 | 154.23 | 199.41 | 30 | 77.5 | 0.1 |
iprover-QBF-bloqqer | 1968.29 | 196.83 | 250.63 | 34 | 175.04 | 0 |
qesto | 116.05 | 11.61 | 18.76 | 3.57 | 7.32 | 1 |
qestos | 116.04 | 11.6 | 18.76 | 3.55 | 7.36 | 1 |
qsts | 2649.74 | 264.97 | 277.83 | 119.75 | 599.15 | 0.6 |
rareqs | 116.39 | 11.64 | 18.85 | 3.55 | 7.35 | 1 |
squeezebf+struqs | 3333.33 | 333.33 | 276.51 | 435.98 | 599.24 | 0.5 |
struqs-10 | 3335.46 | 333.55 | 276.44 | 436.8 | 599.26 | 0.5 |
xb-bid-qsts | 1968.72 | 196.87 | 250.65 | 33.65 | 176.66 | 0.8 |
xb-qsts | 1961.9 | 196.19 | 250.55 | 33.55 | 171.5 | 0.8 |