Sorry, I could not find a bound.

Statistics:
Weakenings inserted per function:
9 for f
Number of LP variables: 10567
Number of LP constraints: 8460
Maximum focus functions in use: 157
LP solver time ratio: 40%
Total runtime: 0.130s