Sorry, I could not find a bound.

Statistics:
Weakenings inserted per function:
5 for nondet_assgnm_to_x, 12 for start
Number of LP variables: 35533
Number of LP constraints: 27293
Maximum focus functions in use: 240
LP solver time ratio: 40%
Total runtime: 0.439s