Water mark bound: 68.4795 max(0, -n) + 0.0526316 max(0, y)
Degree: 1

Statistics:
Weakenings inserted per function:
11 for f
Number of LP variables: 4565
Number of LP constraints: 3945
Maximum focus functions in use: 46
LP solver time ratio: 63%
Total runtime: 0.055s