Water mark bound: max(0, n) + max(0, n)²
Degree: 2

Statistics:
Weakenings inserted per function:
8 for f
Number of LP variables: 9429
Number of LP constraints: 7140
Maximum focus functions in use: 135
LP solver time ratio: 60%
Total runtime: 0.176s