Sorry, I could not find a bound.

Statistics:
Weakenings inserted per function:
6 for start
Number of LP variables: 7624
Number of LP constraints: 6600
Maximum focus functions in use: 156
LP solver time ratio: 30%
Total runtime: 0.079