Water mark bound: 21
Degree: 1

Statistics:
Weakenings inserted per function:
13 for f
Number of LP variables: 5565
Number of LP constraints: 4437
Maximum focus functions in use: 35
LP solver time ratio: 66%
Total runtime: 0.068s