Sorry, I could not find a bound.

Statistics:
Weakenings inserted per function:
14 for f
Number of LP variables: 534135
Number of LP constraints: 428075
Maximum focus functions in use: 4201
LP solver time ratio: 81%
Total runtime: 85.711s