Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 3903.29 | 557.61 | 103.38 | 599.82 | 295.44 | 0.143 |
aqua-f3v | 4198.39 | 599.77 | 0.04 | 599.76 | 0.05 | 0 |
aqua-s2v | 4198.42 | 599.77 | 0.06 | 599.73 | 0.11 | 0 |
aqua-s3o | 4198.26 | 599.75 | 0.09 | 599.75 | 0.2 | 0 |
caqe-minisat | 2426.69 | 346.67 | 292.23 | 599.7 | 593.65 | 0.429 |
caqe-picosat | 2213.02 | 316.15 | 217.09 | 262.44 | 389.67 | 0 |
depqbf-v1 | 1995.02 | 285 | 270.95 | 168.01 | 590.61 | 0.571 |
depqbf-v2 | 210.29 | 30.04 | 13.3 | 32.92 | 33.4 | 1 |
depqbf-v3 | 1564.01 | 223.43 | 244.3 | 87.79 | 208.83 | 0.857 |
ghostq-cegar | 2308.66 | 329.81 | 52.72 | 321.32 | 76.89 | 0 |
ghostq-plain | 2042.96 | 291.85 | 50.54 | 267.92 | 91.61 | 0 |
hiqqer1 | 1877.27 | 268.18 | 287.35 | 42.37 | 597.54 | 0.571 |
hiqqer1ldsq | 1877.12 | 268.16 | 287.37 | 42.31 | 597.56 | 0.571 |
hiqqer3 | 1401.68 | 200.24 | 254.77 | 46.6 | 108.79 | 0.714 |
iprover-QBF | 3559.5 | 508.5 | 115.71 | 599.22 | 309.18 | 0 |
iprover-QBF-bloqqer | 3276.45 | 468.06 | 169.82 | 599.12 | 436.35 | 0.143 |
qesto | 4197.88 | 599.7 | 0.04 | 599.71 | 0.1 | 0 |
qestos | 1917.45 | 273.92 | 84.72 | 264.62 | 130.5 | 0 |
qsts | 3198.75 | 456.96 | 81.78 | 474.38 | 158.8 | 0 |
rareqs | 3599.47 | 514.21 | 209.43 | 599.71 | 598.5 | 0.143 |
squeezebf+struqs | 3897.51 | 556.79 | 105.18 | 599.71 | 300.57 | 0.143 |
struqs-10 | 3897.21 | 556.74 | 105.25 | 599.71 | 300.77 | 0.143 |
xb-bid-qsts | 2408.61 | 344.09 | 145.15 | 366.23 | 242.9 | 0 |
xb-qsts | 2538.58 | 362.65 | 171.2 | 361.74 | 238.3 | 0 |