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