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

Statistics:
Weakenings inserted per function:
5 for f
Number of LP variables: 640
Number of LP constraints: 636
Maximum focus functions in use: 8
LP solver time ratio: 55%
Total runtime: 0.009s