Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 3598.65 | 599.78 | 0.05 | 599.78 | 0.1 | 0 |
aqua-f3v | 3005.94 | 500.99 | 221.08 | 599.83 | 593.18 | 0.167 |
aqua-s2v | 3005.88 | 500.98 | 221.12 | 599.83 | 593.29 | 0.167 |
aqua-s3o | 3006.41 | 501.07 | 221.03 | 599.88 | 593.1 | 0.167 |
caqe-minisat | 1820.37 | 303.4 | 230.27 | 238.89 | 329.03 | 0.667 |
caqe-picosat | 1331.31 | 221.89 | 188.28 | 158.42 | 174.63 | 0.833 |
depqbf-v1 | 3555.17 | 592.53 | 0.48 | 592.52 | 0.77 | 0 |
depqbf-v2 | 2966.97 | 494.5 | 219.93 | 592.84 | 590.13 | 0.167 |
depqbf-v3 | 3007.06 | 501.18 | 220.51 | 599.81 | 591.7 | 0.167 |
ghostq-cegar | 477.36 | 79.56 | 45.31 | 83.85 | 98.7 | 1 |
ghostq-plain | 330.96 | 55.16 | 34.31 | 52.96 | 60.29 | 1 |
hiqqer1 | 2895.54 | 482.59 | 182.23 | 599.81 | 482.75 | 0.333 |
hiqqer1ldsq | 3001.35 | 500.23 | 176.4 | 599.76 | 482.76 | 0.333 |
hiqqer3 | 2927.64 | 487.94 | 179.58 | 599.81 | 482.77 | 0.333 |
iprover-QBF | 1557.03 | 259.51 | 208 | 165.55 | 169.53 | 0 |
iprover-QBF-bloqqer | 907.31 | 151.22 | 95.5 | 142.34 | 170.9 | 0 |
qesto | 594.68 | 99.11 | 71.6 | 96.12 | 105.75 | 1 |
qestos | 2606.42 | 434.4 | 78.68 | 441.82 | 148.3 | 0 |
qsts | 1.07 | 0.18 | 0.09 | 0.2 | 0.17 | 1 |
rareqs | 2291.33 | 381.89 | 214.36 | 439.25 | 445.9 | 0.833 |
squeezebf+struqs | 3038.94 | 506.49 | 208.49 | 599.71 | 559.42 | 0.167 |
struqs-10 | 3036.44 | 506.07 | 209.47 | 599.71 | 562.02 | 0.167 |
xb-bid-qsts | 1028.15 | 171.36 | 180.12 | 113.57 | 130.45 | 1 |
xb-qsts | 1052.97 | 175.5 | 179.28 | 111.84 | 127.9 | 1 |