Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
aqua-f3v | 21038.09 | 262.98 | 291.98 | 3.09 | 599.55 | 0.575 |
aqua-s2v | 19882.28 | 248.53 | 288.64 | 4.52 | 599.56 | 0.6 |
aqua-s3o | 19890.82 | 248.64 | 288.64 | 4.5 | 599.56 | 0.6 |
caqe-minisat | 47977.79 | 599.72 | 0.04 | 599.71 | 0.03 | 0 |
caqe-picosat | 22445.97 | 280.57 | 291.8 | 39.26 | 597.45 | 0.55 |
depqbf-v1 | 27454.49 | 343.18 | 284.64 | 592.12 | 589.71 | 0.45 |
depqbf-v2 | 19937.34 | 249.22 | 274.52 | 45.02 | 590.5 | 0.65 |
depqbf-v3 | 29409.79 | 367.62 | 286.22 | 599.71 | 592.82 | 0.4 |
hiqqer1 | 22063.5 | 275.79 | 286.18 | 63.5 | 597 | 0.588 |
hiqqer1ldsq | 21884.12 | 273.55 | 285.77 | 65.41 | 597.05 | 0.588 |
hiqqer3 | 23991.81 | 299.9 | 295.21 | 192.47 | 594.89 | 0.513 |
iprover-QBF | 33045.03 | 413.06 | 150.4 | 458.45 | 257.76 | 0 |
iprover-QBF-bloqqer | 35377.23 | 442.22 | 106.7 | 403.89 | 237.24 | 0 |
qesto | 19991.85 | 249.9 | 276.78 | 35.64 | 598.44 | 0.65 |
qestos | 19399.98 | 242.5 | 261.06 | 144.27 | 597.76 | 0.563 |
qsts | 24024.25 | 300.3 | 299.42 | 304.45 | 599.5 | 0.5 |
rareqs | 18462.41 | 230.78 | 277.3 | 14.46 | 598.83 | 0.65 |
squeezebf+struqs | 43998.13 | 549.98 | 135.71 | 599.71 | 0 | 0.125 |
struqs-10 | 43981.91 | 549.77 | 136.15 | 599.71 | 0 | 0.125 |
xb-bid-qsts | 22238.91 | 277.99 | 281.14 | 70.27 | 591.71 | 0.588 |
xb-qsts | 22230.11 | 277.88 | 281.2 | 70.71 | 591.78 | 0.588 |