Sorry, I could not find a bound.

Statistics:
Weakenings inserted per function:
11 for start
Number of LP variables: 17601
Number of LP constraints: 13743
Maximum focus functions in use: 210
LP solver time ratio: 51%
Total runtime: 0.285s