Water mark bound: 9 + 14 max(0, E)
Degree: 1

Statistics:
Weakenings inserted per function:
5 for f17, 5 for f27, 5 for f37, 5 for f45, 5 for f55, 5 for f65,
4 for f75, 5 for f83, 1 for start
Number of LP variables: 37056
Number of LP constraints: 35166
Maximum focus functions in use: 70
LP solver time ratio: 34%
Total runtime: 0.624s