Inferring Expected Runtimes Using Sizes


Sorry, I could not find a bound.

Statistics:
Weakenings inserted per function:
10 for f
Number of LP variables: 33591
Number of LP constraints: 26541
Maximum focus functions in use: 389
LP solver time ratio: 37%
Total runtime: 0.715s