Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 5291.89 | 529.19 | 176.34 | 599.72 | 116.33 | 0.2 |
aqua-f3v | 4125.41 | 412.54 | 244.08 | 599.93 | 593.94 | 0.4 |
aqua-s2v | 4091.83 | 409.18 | 248.75 | 599.92 | 594.27 | 0.4 |
aqua-s3o | 3903.74 | 390.37 | 261.21 | 599.92 | 593.74 | 0.4 |
caqe-minisat | 3789.8 | 378.98 | 246.52 | 510.4 | 589.61 | 0.5 |
caqe-picosat | 3370.67 | 337.07 | 236.31 | 351.32 | 526 | 0.7 |
depqbf-v1 | 5924.9 | 592.49 | 0.52 | 592.22 | 0.3 | 0 |
depqbf-v2 | 3855.62 | 385.56 | 258.69 | 592.13 | 586.61 | 0.4 |
depqbf-v3 | 4143.62 | 414.36 | 232.19 | 551.14 | 593.22 | 0.5 |
ghostq-cegar | 231.69 | 23.17 | 16.58 | 21 | 27.07 | 1 |
ghostq-plain | 217.15 | 21.72 | 16.15 | 19.06 | 23.96 | 1 |
hiqqer1 | 4526.59 | 452.66 | 206.1 | 599.71 | 465.64 | 0.4 |
hiqqer1ldsq | 4544.16 | 454.42 | 205.89 | 599.71 | 461.26 | 0.4 |
hiqqer3 | 4836.37 | 483.64 | 189.01 | 599.81 | 460.21 | 0.3 |
iprover-QBF | 1459.16 | 145.92 | 148.95 | 80.58 | 47.79 | 0 |
iprover-QBF-bloqqer | 1198.25 | 119.83 | 80 | 84.18 | 69.2 | 0.1 |
qesto | 3267.81 | 326.78 | 236.61 | 391.41 | 464.5 | 0.7 |
qestos | 3412.49 | 341.25 | 148.95 | 362.77 | 162 | 0.1 |
qsts | 3.21 | 0.32 | 0.18 | 0.32 | 0.33 | 1 |
rareqs | 991.54 | 99.15 | 91.86 | 95.84 | 116.1 | 1 |
squeezebf+struqs | 5710.22 | 571.02 | 86.23 | 599.76 | 0.1 | 0.1 |
struqs-10 | 5761.09 | 576.11 | 70.87 | 599.71 | 0 | 0.1 |
xb-bid-qsts | 2901.64 | 290.16 | 235.16 | 205.03 | 443.57 | 0.7 |
xb-qsts | 2828.68 | 282.87 | 238.09 | 169.65 | 443.39 | 0.7 |