Water mark bound: max(0, k)
Degree: 1

Statistics:
Weakenings inserted per function:
5 for f
Number of LP variables: 1751
Number of LP constraints: 1462
Maximum focus functions in use: 33
LP solver time ratio: 54%
Total runtime: 0.026s