Water mark bound: 1.5 max(0, -minPrice + sPrice)
+ 3 max(0, -minPrice + sPrice) max(0, minPrice)
+ 1.5 max(0, -minPrice + sPrice)²
Degree: 2

Statistics:
Weakenings inserted per function:
5 for start, 10 for trade
Number of LP variables: 48576
Number of LP constraints: 36550
Maximum focus functions in use: 437
LP solver time ratio: 56%
Total runtime: 0.976s