Water mark bound: 2.25 max(0, x) + max(0, y)
Degree: 1

Statistics:
Weakenings inserted per function:
11 for f
Number of LP variables: 1950
Number of LP constraints: 1614
Maximum focus functions in use: 21
LP solver time ratio: 61%
Total runtime: 0.025s