Water mark bound: 5 + 2 max(0, s)
Degree: 1

Statistics:
Weakenings inserted per function:
9 for f
Number of LP variables: 24889
Number of LP constraints: 18700
Maximum focus functions in use: 339
LP solver time ratio: 50%
Total runtime: 0.411s