Water mark bound: 0.666667 max(0, 9 - h + t)
Degree: 1

Statistics:
Weakenings inserted per function:
15 for f
Number of LP variables: 7425
Number of LP constraints: 6158
Maximum focus functions in use: 43
LP solver time ratio: 84%
Total runtime: 0.202s