Sorry, I could not find a bound.

Statistics:

Weakenings inserted per function:

3 for eval_srch_bb1_in, 1 for eval_srch_bb2_in,

3 for eval_srch_bb3_in, 3 for eval_srch_bb4_in,

5 for assign_nondet_to_v_11, 1 for eval_srch_bb5_in,

3 for eval_srch_bb6_in, 1 for eval_srch_bb7_in,

1 for eval_srch_bb8_in, 1 for eval_srch_bb9_in,

1 for eval_srch_bb10_in, 1 for eval_srch_26,

1 for eval_srch__critedge_in, 1 for eval_srch_29, 3 for eval_srch_32,

5 for start

Number of LP variables: 30535

Number of LP constraints: 21849

Maximum focus functions in use: 31

LP solver time ratio: 47%

Total runtime: 0.388s