Water mark bound: 4.93333 max(0, 20 - n)
Degree: 1

Statistics:
Weakenings inserted per function:
31 for f
Number of LP variables: 22430
Number of LP constraints: 20149
Maximum focus functions in use: 57
LP solver time ratio: 83%
Total runtime: 0.693s