Inferring Expected Runtimes Using Sizes

Water mark bound: 2 max(0, m) max(0, n) + 4 max(0, n)
Degree: 2

Weakenings inserted per function:
11 for f
Number of LP variables: 101801
Number of LP constraints: 79815
Maximum focus functions in use: 1207
LP solver time ratio: 81%
Total runtime: 7.042s