Inferring Expected Runtimes Using Sizes


Water mark bound: 2 max(0, 1 - d + n)
Degree: 1

Statistics:
Weakenings inserted per function:
38 for f
Number of LP variables: 50180
Number of LP constraints: 40841
Maximum focus functions in use: 75
LP solver time ratio: 79%
Total runtime: 1.669s