Water mark bound: 2 max(0, n)
Degree: 1
Statistics:
Weakenings inserted per function:
14 for f
Number of LP variables: 81235
Number of LP constraints: 59003
Maximum focus functions in use: 785
LP solver time ratio: 67%
Total runtime: 2.494s