Water mark bound: 2.05808e-06 + 0.624998 max(0, -minPrice + sPrice)
+ 2 max(0, -minPrice + sPrice) max(0, minPrice)
+ 0.625 max(0, -minPrice + sPrice)²
Degree: 2

Statistics:
Weakenings inserted per function:
5 for start, 17 for trade, 25 for trade3, 1 for trade2
Number of LP variables: 111327
Number of LP constraints: 81654
Maximum focus functions in use: 709
LP solver time ratio: 79%
Total runtime: 5.919s