Water mark bound: max(0, 51 + i + k) + 2 max(0, i)

Degree: 1

Statistics:

Weakenings inserted per function:

8 for f

Number of LP variables: 3185

Number of LP constraints: 2951

Maximum focus functions in use: 38

LP solver time ratio: 63%

Total runtime: 0.039s