Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 26.17 | 2.62 | 3.73 | 0.97 | 1.97 | 1 |
aqua-f3v | 69.93 | 6.99 | 10.89 | 1.99 | 4.53 | 1 |
aqua-s2v | 69.93 | 6.99 | 10.9 | 1.99 | 4.57 | 1 |
aqua-s3o | 69.98 | 7 | 10.9 | 1.99 | 4.59 | 1 |
caqe-minisat | 26.16 | 2.62 | 2.62 | 1.68 | 2.56 | 1 |
caqe-picosat | 26.41 | 2.64 | 2.66 | 1.65 | 2.56 | 1 |
depqbf-v1 | 30.93 | 3.09 | 3.06 | 2.06 | 2.81 | 1 |
depqbf-v2 | 3.5 | 0.35 | 0.28 | 0.26 | 0.3 | 1 |
depqbf-v3 | 2.79 | 0.28 | 0.28 | 0.18 | 0.27 | 1 |
ghostq-cegar | 794.73 | 79.47 | 77 | 51.55 | 77.67 | 0.7 |
ghostq-plain | 796.05 | 79.61 | 76.94 | 52.15 | 77.34 | 0.7 |
hiqqer1 | 14.98 | 1.5 | 1.51 | 0.96 | 1.4 | 1 |
hiqqer1ldsq | 14.94 | 1.49 | 1.51 | 0.94 | 1.42 | 1 |
hiqqer3 | 14.98 | 1.5 | 1.51 | 0.96 | 1.4 | 1 |
iprover-QBF | 475.33 | 47.53 | 37.01 | 31.85 | 23.67 | 0.4 |
iprover-QBF-bloqqer | 25.34 | 2.53 | 2.57 | 1.61 | 2.24 | 0 |
qesto | 6.3 | 0.63 | 0.65 | 0.4 | 0.6 | 1 |
qestos | 6.27 | 0.63 | 0.65 | 0.4 | 0.6 | 1 |
qsts | 19.42 | 1.94 | 2.03 | 1.2 | 1.81 | 1 |
rareqs | 6.27 | 0.63 | 0.65 | 0.39 | 0.6 | 1 |
squeezebf+struqs | 62.19 | 6.22 | 9.62 | 1.8 | 4.09 | 1 |
struqs-10 | 6.28 | 0.63 | 0.64 | 0.4 | 0.61 | 1 |
xb-bid-qsts | 25.17 | 2.52 | 2.55 | 1.57 | 2.4 | 1 |
xb-qsts | 25.57 | 2.56 | 2.62 | 1.58 | 2.4 | 1 |