Water mark bound: 5
Degree: 1

Statistics:
Weakenings inserted per function:
4 for f
Number of LP variables: 541
Number of LP constraints: 495
Maximum focus functions in use: 13
LP solver time ratio: 61%
Total runtime: 0.009s