Inferring Expected Runtimes Using Sizes

Water mark bound: 2.08333
Degree: 1

Weakenings inserted per function:
12 for start, 3 for abc, 5 for ab, 4 for ac, 4 for bc
Number of LP variables: 11009
Number of LP constraints: 8735
Maximum focus functions in use: 37
LP solver time ratio: 55%
Total runtime: 0.141s