Water mark bound: 5 max(0, n)
Degree: 1

Statistics:
Weakenings inserted per function:
20 for f
Number of LP variables: 12019
Number of LP constraints: 10221
Maximum focus functions in use: 50
LP solver time ratio: 51%
Total runtime: 0.212s