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

Statistics:
Weakenings inserted per function:
4 for f
Number of LP variables: 640
Number of LP constraints: 676
Maximum focus functions in use: 11
LP solver time ratio: 49%
Total runtime: 0.008s