Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
aqua-f3v | 4272.17 | 142.41 | 175.19 | 66.58 | 113.2 | 0.933 |
aqua-s2v | 3779.38 | 125.98 | 157.38 | 66.02 | 106.27 | 0.933 |
aqua-s3o | 2779.02 | 92.63 | 115.53 | 64.21 | 76.82 | 0.967 |
caqe-minisat | 1452.89 | 48.43 | 112.4 | 8.96 | 26.87 | 0.967 |
caqe-picosat | 1046.71 | 34.89 | 55.77 | 9.67 | 24.6 | 1 |
depqbf-v1 | 5500 | 183.33 | 242.52 | 22.36 | 324.4 | 0.767 |
depqbf-v2 | 1546.8 | 51.56 | 108 | 21.37 | 47 | 0.967 |
depqbf-v3 | 1815.82 | 60.53 | 118.59 | 20.58 | 45.52 | 0.967 |
hiqqer1 | 760.76 | 25.36 | 66.65 | 3.06 | 9.57 | 1 |
hiqqer1ldsq | 745.04 | 24.83 | 64.97 | 3.03 | 9.78 | 1 |
hiqqer3 | 488.49 | 16.28 | 42.14 | 3.51 | 14.88 | 1 |
iprover-QBF | 14502.43 | 483.41 | 182.84 | 594.68 | 161.53 | 0.2 |
iprover-QBF-bloqqer | 10631.62 | 354.39 | 253.06 | 482.44 | 547.48 | 0.333 |
qesto | 362.18 | 12.07 | 19.83 | 4.91 | 8.39 | 1 |
qestos | 2181.46 | 72.72 | 157.46 | 6.38 | 35.37 | 0.9 |
qsts | 801.28 | 26.71 | 55.1 | 2.32 | 27.25 | 1 |
rareqs | 138.16 | 4.61 | 4.62 | 3.98 | 5.49 | 1 |
squeezebf+struqs | 16058.9 | 535.3 | 179.7 | 599.71 | 0 | 0.167 |
struqs-10 | 16219.53 | 540.65 | 177.2 | 599.71 | 0 | 0.1 |
xb-bid-qsts | 587.46 | 19.58 | 23.97 | 10.55 | 19.58 | 1 |
xb-qsts | 522.69 | 17.42 | 22.61 | 8.93 | 20.05 | 1 |