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

Statistics:
Weakenings inserted per function:
5 for f
Number of LP variables: 1449
Number of LP constraints: 1290
Maximum focus functions in use: 24
LP solver time ratio: 64%
Total runtime: 0.020s