Water mark bound: 2 max(0, m - y) + 0.666667 max(0, n - x)
Degree: 1

Statistics:
Weakenings inserted per function:
8 for f
Number of LP variables: 3107
Number of LP constraints: 2596
Maximum focus functions in use: 31
LP solver time ratio: 61%
Total runtime: 0.040s