Inferring Expected Runtimes Using Sizes


Water mark bound: 0.0172643 max(0, 2 + volToFill)
+ 0.333333 max(0, 10 + volToFill)
+ 0.316069 max(0, 11 + volToFill)
Degree: 1

Statistics:
Weakenings inserted per function:
15 for f
Number of LP variables: 16382
Number of LP constraints: 14188
Maximum focus functions in use: 121
LP solver time ratio: 64%
Total runtime: 0.442s