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

Statistics:
Weakenings inserted per function:
4 for f
Number of LP variables: 667
Number of LP constraints: 642
Maximum focus functions in use: 16
LP solver time ratio: 57%
Total runtime: 0.010s