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

Statistics:
Weakenings inserted per function:
5 for f
Number of LP variables: 779
Number of LP constraints: 695
Maximum focus functions in use: 15
LP solver time ratio: 60%
Total runtime: 0.011s