Inferring Expected Runtimes Using Sizes


Water mark bound: max(0, 2 + x) max(0, x) + 0.125 max(0, 2 + x)²
Degree: 2

Statistics:
Weakenings inserted per function:
11 for start
Number of LP variables: 30291
Number of LP constraints: 23313
Maximum focus functions in use: 283
LP solver time ratio: 75%
Total runtime: 1.170s