Sorry, I could not find a bound.

Statistics:
Weakenings inserted per function:
7 for f
Number of LP variables: 38545
Number of LP constraints: 31610
Maximum focus functions in use: 620
LP solver time ratio: 30%
Total runtime: 0.641s