Water mark bound: 7.5 max(0, n)
Degree: 1

Statistics:
Weakenings inserted per function:
10 for f
Number of LP variables: 3879
Number of LP constraints: 3219
Maximum focus functions in use: 35
LP solver time ratio: 57%
Total runtime: 0.055s