Water mark bound: 0.6 max(0, x)
Degree: 1

Statistics:
Weakenings inserted per function:
4 for f
Number of LP variables: 694
Number of LP constraints: 586
Maximum focus functions in use: 18
LP solver time ratio: 64%
Total runtime: 0.009s