Water mark bound: 0.5 max(0, -1 + l) + max(0, l)
Degree: 1

Statistics:
Weakenings inserted per function:
8 for f
Number of LP variables: 1905
Number of LP constraints: 1607
Maximum focus functions in use: 26
LP solver time ratio: 67%
Total runtime: 0.023s