Sorry, I could not find a bound.

Statistics:
Weakenings inserted per function:
10 for f
Number of LP variables: 80990
Number of LP constraints: 63186
Maximum focus functions in use: 1031
LP solver time ratio: 32%
Total runtime: 1.813s