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