Sorry, I could not find a bound.

Statistics:
Weakenings inserted per function:
8 for f
Number of LP variables: 478939
Number of LP constraints: 364781
Maximum focus functions in use: 6365
LP solver time ratio: 17%
Total runtime: 15.291s