Inferring Expected Runtimes Using Sizes


Water mark bound: 1.33333 max(0, x)
Degree: 1

Statistics:
Weakenings inserted per function:
9 for f
Number of LP variables: 3013
Number of LP constraints: 2447
Maximum focus functions in use: 38
LP solver time ratio: 60%
Total runtime: 0.038s