Water mark bound: 1.5 max(0, -2 + n) max(0, -1 + n)
Degree: 2

Statistics:
Weakenings inserted per function:
9 for f
Number of LP variables: 41578
Number of LP constraints: 31030
Maximum focus functions in use: 570
LP solver time ratio: 87%
Total runtime: 3.327s