Water mark bound: 0.42 max(0, 5 + t) + max(0, mt - st)
Degree: 1

Statistics:
Weakenings inserted per function:
11 for f
Number of LP variables: 4552
Number of LP constraints: 3957
Maximum focus functions in use: 40
LP solver time ratio: 59%
Total runtime: 0.055s