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

Statistics:
Weakenings inserted per function:
9 for f
Number of LP variables: 3024
Number of LP constraints: 2652
Maximum focus functions in use: 33
LP solver time ratio: 65%
Total runtime: 0.040s