Water mark bound: 18 max(0, M) max(0, N) + 9 max(0, N) + max(0, w)
+ 3 max(0, y)
Degree: 2

Statistics:
Weakenings inserted per function:
15 for f
Number of LP variables: 96152
Number of LP constraints: 79021
Maximum focus functions in use: 637
LP solver time ratio: 53%
Total runtime: 2.600s