Water mark bound: max(0, m) + max(0, n)
Degree: 1

Statistics:
Weakenings inserted per function:
4 for f
Number of LP variables: 771
Number of LP constraints: 620
Maximum focus functions in use: 21
LP solver time ratio: 60%
Total runtime: 0.010s