Water mark bound: 2
Degree: 1

Statistics:
Weakenings inserted per function:
14 for start
Number of LP variables: 307
Number of LP constraints: 360
Maximum focus functions in use: 1
LP solver time ratio: 68%
Total runtime: 0.005s