Water mark bound: 1.14286 max(0, 4 + n - x)
Degree: 1

Statistics:
Weakenings inserted per function:
11 for f
Number of LP variables: 3387
Number of LP constraints: 2746
Maximum focus functions in use: 27
LP solver time ratio: 69%
Total runtime: 0.049s