Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 890.27 | 296.76 | 221.85 | 333.16 | 324.48 | 0.333 |
aqua-f3v | 1799.46 | 599.82 | 0.01 | 599.82 | 0.01 | 0 |
aqua-s2v | 1799.48 | 599.83 | 0.01 | 599.83 | 0.01 | 0 |
aqua-s3o | 1799.36 | 599.79 | 0.05 | 599.82 | 0.1 | 0 |
caqe-minisat | 1799.15 | 599.72 | 0.02 | 599.71 | 0.01 | 0 |
caqe-picosat | 1799.57 | 599.86 | 0.12 | 599.83 | 0.1 | 0 |
depqbf-v1 | 1780.08 | 593.36 | 0.3 | 593.52 | 0.58 | 0 |
depqbf-v2 | 1780.17 | 593.39 | 0.34 | 593.52 | 0.59 | 0 |
depqbf-v3 | 1799.13 | 599.71 | 0 | 599.71 | 0 | 0 |
ghostq-cegar | 673.39 | 224.46 | 266.98 | 72.18 | 70.78 | 0.667 |
ghostq-plain | 602.49 | 200.83 | 282.12 | 1.36 | 0.04 | 0.667 |
hiqqer1 | 1799.33 | 599.78 | 0.05 | 599.81 | 0.1 | 0 |
hiqqer1ldsq | 1799.23 | 599.74 | 0.05 | 599.71 | 0 | 0 |
hiqqer3 | 1799.33 | 599.78 | 0.05 | 599.81 | 0.1 | 0 |
iprover-QBF | 1594.61 | 531.54 | 59.09 | 540.15 | 84.91 | 0 |
iprover-QBF-bloqqer | 953.92 | 317.97 | 52.16 | 298.84 | 33 | 0 |
qesto | 1799.14 | 599.71 | 0.01 | 599.71 | 0 | 0 |
qestos | 1799.43 | 599.81 | 0 | 599.81 | 0 | 0 |
qsts | 1799.13 | 599.71 | 0 | 599.71 | 0 | 0 |
rareqs | 1799.33 | 599.78 | 0.05 | 599.81 | 0.1 | 0 |
squeezebf+struqs | 1799.13 | 599.71 | 0 | 599.71 | 0 | 0 |
struqs-10 | 1799.23 | 599.74 | 0.05 | 599.71 | 0 | 0 |
xb-bid-qsts | 1799.13 | 599.71 | 0 | 599.71 | 0 | 0 |
xb-qsts | 1799.14 | 599.71 | 0.01 | 599.71 | 0 | 0 |