Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 4905.37 | 104.37 | 203.54 | 3.08 | 49.98 | 0.872 |
aqua-f3v | 5057.29 | 107.6 | 223.46 | 0.77 | 14.58 | 0.83 |
aqua-s2v | 5056.51 | 107.59 | 223.46 | 0.76 | 14.53 | 0.83 |
aqua-s3o | 5002.47 | 106.44 | 223.73 | 0.82 | 14.54 | 0.83 |
caqe-minisat | 4477.22 | 95.26 | 198.32 | 3.97 | 20.4 | 0.766 |
caqe-picosat | 4584.64 | 97.55 | 199.66 | 3.99 | 21.8 | 0.766 |
depqbf-v1 | 9540.87 | 203 | 279.92 | 2.41 | 592.11 | 0.66 |
depqbf-v2 | 5501.06 | 117.04 | 222.08 | 0.61 | 44.6 | 0.83 |
depqbf-v3 | 9658.92 | 205.51 | 283.26 | 0.56 | 599.65 | 0.66 |
ghostq-cegar | 15912.05 | 338.55 | 281.77 | 599.61 | 587.14 | 0.404 |
ghostq-plain | 15914.98 | 338.62 | 281.73 | 599.52 | 588.09 | 0.404 |
hiqqer1 | 4716.93 | 100.36 | 219.29 | 0.5 | 4.03 | 0.851 |
hiqqer1ldsq | 4717.82 | 100.38 | 219.34 | 0.5 | 3.98 | 0.851 |
hiqqer3 | 4727.14 | 100.58 | 219.65 | 0.5 | 4 | 0.851 |
iprover-QBF | 5456.27 | 116.09 | 174.65 | 29.25 | 99.93 | 0.511 |
iprover-QBF-bloqqer | 5846.15 | 124.39 | 204.79 | 3.79 | 162.3 | 0.17 |
qesto | 4345.16 | 92.45 | 212.43 | 0.47 | 4.7 | 0.851 |
qestos | 3536.16 | 75.24 | 176.14 | 0.32 | 4.67 | 0.83 |
qsts | 7158.18 | 152.3 | 249.39 | 1.21 | 181.22 | 0.745 |
rareqs | 3852.44 | 81.97 | 199.11 | 0.31 | 2.36 | 0.872 |
squeezebf+struqs | 8331.83 | 177.27 | 264.4 | 3.49 | 599.62 | 0.723 |
struqs-10 | 8284.59 | 176.27 | 265.11 | 0.93 | 599.65 | 0.723 |
xb-bid-qsts | 6158.67 | 131.04 | 228.91 | 3.86 | 92.72 | 0.83 |
xb-qsts | 7772.82 | 165.38 | 254.43 | 3.77 | 264.54 | 0.766 |