Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
aqua-f3v | 2452.33 | 81.74 | 58.28 | 102.88 | 96.25 | 1 |
aqua-s2v | 2420.55 | 80.69 | 56.86 | 102.85 | 97.65 | 1 |
aqua-s3o | 2087.86 | 69.6 | 44.06 | 100.49 | 84.6 | 1 |
caqe-minisat | 224.88 | 7.5 | 6.67 | 5.73 | 9 | 1 |
caqe-picosat | 269.48 | 8.98 | 9.29 | 5.75 | 11.43 | 1 |
depqbf-v1 | 908.82 | 30.29 | 60.37 | 7.46 | 22.4 | 1 |
depqbf-v2 | 587.8 | 19.59 | 15.4 | 16.62 | 26.8 | 1 |
depqbf-v3 | 522.41 | 17.41 | 13.45 | 14.64 | 21.7 | 1 |
hiqqer1 | 65.1 | 2.17 | 1.8 | 2.01 | 2.58 | 1 |
hiqqer1ldsq | 64.44 | 2.15 | 1.78 | 1.99 | 2.54 | 1 |
hiqqer3 | 72.32 | 2.41 | 2.04 | 2.22 | 3.17 | 1 |
iprover-QBF | 14431.86 | 481.06 | 180.41 | 559.84 | 195.18 | 0.2 |
iprover-QBF-bloqqer | 8733.53 | 291.12 | 261.9 | 404.6 | 522.04 | 0.433 |
qesto | 101.5 | 3.38 | 3.24 | 3.05 | 4.59 | 1 |
qestos | 275.23 | 9.17 | 23.41 | 3.68 | 5.97 | 1 |
qsts | 332.28 | 11.08 | 20.15 | 1.15 | 9.38 | 1 |
rareqs | 77.59 | 2.59 | 2.11 | 2.27 | 3.66 | 1 |
squeezebf+struqs | 15613.16 | 520.44 | 183.55 | 599.71 | 0 | 0.2 |
struqs-10 | 16118.98 | 537.3 | 179.41 | 599.71 | 0 | 0.133 |
xb-bid-qsts | 258.65 | 8.62 | 10.02 | 5.82 | 10.89 | 1 |
xb-qsts | 221.57 | 7.39 | 6.29 | 5.76 | 11.06 | 1 |