Water mark bound: 4 + 1.5 max(0, -1 + C) max(0, C) + max(0, C)²
Degree: 2

Statistics:
Weakenings inserted per function:
19 for f
Number of LP variables: 523634
Number of LP constraints: 403603
Maximum focus functions in use: 2998
LP solver time ratio: 80%
Total runtime: 78.585s