Water mark bound: 7.5 max(0, x) + 4.5 max(0, x)²
Degree: 2

Statistics:
Weakenings inserted per function:
8 for start
Number of LP variables: 21916
Number of LP constraints: 16930
Maximum focus functions in use: 307
LP solver time ratio: 60%
Total runtime: 0.438s