Water mark bound: 1.2
Degree: 1

Statistics:
Weakenings inserted per function:
6 for f
Number of LP variables: 826
Number of LP constraints: 708
Maximum focus functions in use: 11
LP solver time ratio: 59%
Total runtime: 0.012s