Water mark bound: 0.666667 max(0, -1 + x) + 1.33333 max(0, x)
Degree: 1

Statistics:
Weakenings inserted per function:
9 for f
Number of LP variables: 1313
Number of LP constraints: 1145
Maximum focus functions in use: 16
LP solver time ratio: 67%
Total runtime: 0.020s