Water mark bound: 0.2 max(0, 9 + n)
Degree: 1

Statistics:
Weakenings inserted per function:
14 for f
Number of LP variables: 7946
Number of LP constraints: 6822
Maximum focus functions in use: 51
LP solver time ratio: 83%
Total runtime: 0.231s