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