Water mark bound: 2.08333

Degree: 1

Statistics:

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