Sorry, I could not find a bound.

Statistics:
Weakenings inserted per function:
12 for start
Number of LP variables: 7813
Number of LP constraints: 5230
Maximum focus functions in use: 73
LP solver time ratio: 37%
Total runtime: 0.110s