Water mark bound: max(0, 51 + i + k) + 2 max(0, i)
Degree: 1

Statistics:
Weakenings inserted per function:
8 for f
Number of LP variables: 3185
Number of LP constraints: 2951
Maximum focus functions in use: 38
LP solver time ratio: 63%
Total runtime: 0.039s