Water mark bound: 1.65 max(0, 1 + x - y) + 0.15 max(0, y)
Degree: 1

Statistics:
Weakenings inserted per function:
11 for f
Number of LP variables: 4175
Number of LP constraints: 3645
Maximum focus functions in use: 36
LP solver time ratio: 70%
Total runtime: 0.068s