WORST_CASE(Omega(1),?)

### Pre-processing the ITS problem ###

Initial linear ITS problem
   Start location: l19
      0: l0 -> l1 : __const_100^0'=__const_100^post_1, __len21^0'=__len21^post_1, ret_my_malloc10^0'=ret_my_malloc10^post_1, ret_my_malloc14^0'=ret_my_malloc14^post_1, retval^0'=retval^post_1, size11^0'=size11^post_1, size15^0'=size15^post_1, size17^0'=size17^post_1, size7^0'=size7^post_1, tmp13^0'=tmp13^post_1, tmp22^0'=tmp22^post_1, tmp9^0'=tmp9^post_1, tmp^0'=tmp^post_1, tmp___0^0'=tmp___0^post_1, tmp___1^0'=tmp___1^post_1, [ ret_my_malloc10^post_1==0 && __const_100^0==__const_100^post_1 && __len21^0==__len21^post_1 && ret_my_malloc14^0==ret_my_malloc14^post_1 && retval^0==retval^post_1 && size11^0==size11^post_1 && size15^0==size15^post_1 && size17^0==size17^post_1 && size7^0==size7^post_1 && tmp^0==tmp^post_1 && tmp13^0==tmp13^post_1 && tmp22^0==tmp22^post_1 && tmp9^0==tmp9^post_1 && tmp___0^0==tmp___0^post_1 && tmp___1^0==tmp___1^post_1 ], cost: 1
      1: l0 -> l1 : __const_100^0'=__const_100^post_2, __len21^0'=__len21^post_2, ret_my_malloc10^0'=ret_my_malloc10^post_2, ret_my_malloc14^0'=ret_my_malloc14^post_2, retval^0'=retval^post_2, size11^0'=size11^post_2, size15^0'=size15^post_2, size17^0'=size17^post_2, size7^0'=size7^post_2, tmp13^0'=tmp13^post_2, tmp22^0'=tmp22^post_2, tmp9^0'=tmp9^post_2, tmp^0'=tmp^post_2, tmp___0^0'=tmp___0^post_2, tmp___1^0'=tmp___1^post_2, [ ret_my_malloc10^post_2==1 && __const_100^0==__const_100^post_2 && __len21^0==__len21^post_2 && ret_my_malloc14^0==ret_my_malloc14^post_2 && retval^0==retval^post_2 && size11^0==size11^post_2 && size15^0==size15^post_2 && size17^0==size17^post_2 && size7^0==size7^post_2 && tmp^0==tmp^post_2 && tmp13^0==tmp13^post_2 && tmp22^0==tmp22^post_2 && tmp9^0==tmp9^post_2 && tmp___0^0==tmp___0^post_2 && tmp___1^0==tmp___1^post_2 ], cost: 1
     28: l1 -> l17 : __const_100^0'=__const_100^post_29, __len21^0'=__len21^post_29, ret_my_malloc10^0'=ret_my_malloc10^post_29, ret_my_malloc14^0'=ret_my_malloc14^post_29, retval^0'=retval^post_29, size11^0'=size11^post_29, size15^0'=size15^post_29, size17^0'=size17^post_29, size7^0'=size7^post_29, tmp13^0'=tmp13^post_29, tmp22^0'=tmp22^post_29, tmp9^0'=tmp9^post_29, tmp^0'=tmp^post_29, tmp___0^0'=tmp___0^post_29, tmp___1^0'=tmp___1^post_29, [ tmp^post_29==ret_my_malloc10^0 && retval^post_29==tmp^post_29 && __const_100^0==__const_100^post_29 && __len21^0==__len21^post_29 && ret_my_malloc10^0==ret_my_malloc10^post_29 && ret_my_malloc14^0==ret_my_malloc14^post_29 && size11^0==size11^post_29 && size15^0==size15^post_29 && size17^0==size17^post_29 && size7^0==size7^post_29 && tmp13^0==tmp13^post_29 && tmp22^0==tmp22^post_29 && tmp9^0==tmp9^post_29 && tmp___0^0==tmp___0^post_29 && tmp___1^0==tmp___1^post_29 ], cost: 1
      2: l2 -> l3 : __const_100^0'=__const_100^post_3, __len21^0'=__len21^post_3, ret_my_malloc10^0'=ret_my_malloc10^post_3, ret_my_malloc14^0'=ret_my_malloc14^post_3, retval^0'=retval^post_3, size11^0'=size11^post_3, size15^0'=size15^post_3, size17^0'=size17^post_3, size7^0'=size7^post_3, tmp13^0'=tmp13^post_3, tmp22^0'=tmp22^post_3, tmp9^0'=tmp9^post_3, tmp^0'=tmp^post_3, tmp___0^0'=tmp___0^post_3, tmp___1^0'=tmp___1^post_3, [ __const_100^0==__const_100^post_3 && __len21^0==__len21^post_3 && ret_my_malloc10^0==ret_my_malloc10^post_3 && ret_my_malloc14^0==ret_my_malloc14^post_3 && retval^0==retval^post_3 && size11^0==size11^post_3 && size15^0==size15^post_3 && size17^0==size17^post_3 && size7^0==size7^post_3 && tmp^0==tmp^post_3 && tmp13^0==tmp13^post_3 && tmp22^0==tmp22^post_3 && tmp9^0==tmp9^post_3 && tmp___0^0==tmp___0^post_3 && tmp___1^0==tmp___1^post_3 ], cost: 1
      3: l4 -> l2 : __const_100^0'=__const_100^post_4, __len21^0'=__len21^post_4, ret_my_malloc10^0'=ret_my_malloc10^post_4, ret_my_malloc14^0'=ret_my_malloc14^post_4, retval^0'=retval^post_4, size11^0'=size11^post_4, size15^0'=size15^post_4, size17^0'=size17^post_4, size7^0'=size7^post_4, tmp13^0'=tmp13^post_4, tmp22^0'=tmp22^post_4, tmp9^0'=tmp9^post_4, tmp^0'=tmp^post_4, tmp___0^0'=tmp___0^post_4, tmp___1^0'=tmp___1^post_4, [ tmp___0^post_4==tmp___0^post_4 && __const_100^0==__const_100^post_4 && __len21^0==__len21^post_4 && ret_my_malloc10^0==ret_my_malloc10^post_4 && ret_my_malloc14^0==ret_my_malloc14^post_4 && retval^0==retval^post_4 && size11^0==size11^post_4 && size15^0==size15^post_4 && size17^0==size17^post_4 && size7^0==size7^post_4 && tmp^0==tmp^post_4 && tmp13^0==tmp13^post_4 && tmp22^0==tmp22^post_4 && tmp9^0==tmp9^post_4 && tmp___1^0==tmp___1^post_4 ], cost: 1
      4: l5 -> l2 : __const_100^0'=__const_100^post_5, __len21^0'=__len21^post_5, ret_my_malloc10^0'=ret_my_malloc10^post_5, ret_my_malloc14^0'=ret_my_malloc14^post_5, retval^0'=retval^post_5, size11^0'=size11^post_5, size15^0'=size15^post_5, size17^0'=size17^post_5, size7^0'=size7^post_5, tmp13^0'=tmp13^post_5, tmp22^0'=tmp22^post_5, tmp9^0'=tmp9^post_5, tmp^0'=tmp^post_5, tmp___0^0'=tmp___0^post_5, tmp___1^0'=tmp___1^post_5, [ tmp___1^0<=-1 && -1<=tmp___1^0 && __len21^post_5==__const_100^0 && tmp22^post_5==tmp22^post_5 && __const_100^0==__const_100^post_5 && ret_my_malloc10^0==ret_my_malloc10^post_5 && ret_my_malloc14^0==ret_my_malloc14^post_5 && retval^0==retval^post_5 && size11^0==size11^post_5 && size15^0==size15^post_5 && size17^0==size17^post_5 && size7^0==size7^post_5 && tmp^0==tmp^post_5 && tmp13^0==tmp13^post_5 && tmp9^0==tmp9^post_5 && tmp___0^0==tmp___0^post_5 && tmp___1^0==tmp___1^post_5 ], cost: 1
      5: l5 -> l4 : __const_100^0'=__const_100^post_6, __len21^0'=__len21^post_6, ret_my_malloc10^0'=ret_my_malloc10^post_6, ret_my_malloc14^0'=ret_my_malloc14^post_6, retval^0'=retval^post_6, size11^0'=size11^post_6, size15^0'=size15^post_6, size17^0'=size17^post_6, size7^0'=size7^post_6, tmp13^0'=tmp13^post_6, tmp22^0'=tmp22^post_6, tmp9^0'=tmp9^post_6, tmp^0'=tmp^post_6, tmp___0^0'=tmp___0^post_6, tmp___1^0'=tmp___1^post_6, [ 0<=tmp___1^0 && __const_100^0==__const_100^post_6 && __len21^0==__len21^post_6 && ret_my_malloc10^0==ret_my_malloc10^post_6 && ret_my_malloc14^0==ret_my_malloc14^post_6 && retval^0==retval^post_6 && size11^0==size11^post_6 && size15^0==size15^post_6 && size17^0==size17^post_6 && size7^0==size7^post_6 && tmp^0==tmp^post_6 && tmp13^0==tmp13^post_6 && tmp22^0==tmp22^post_6 && tmp9^0==tmp9^post_6 && tmp___0^0==tmp___0^post_6 && tmp___1^0==tmp___1^post_6 ], cost: 1
      6: l5 -> l4 : __const_100^0'=__const_100^post_7, __len21^0'=__len21^post_7, ret_my_malloc10^0'=ret_my_malloc10^post_7, ret_my_malloc14^0'=ret_my_malloc14^post_7, retval^0'=retval^post_7, size11^0'=size11^post_7, size15^0'=size15^post_7, size17^0'=size17^post_7, size7^0'=size7^post_7, tmp13^0'=tmp13^post_7, tmp22^0'=tmp22^post_7, tmp9^0'=tmp9^post_7, tmp^0'=tmp^post_7, tmp___0^0'=tmp___0^post_7, tmp___1^0'=tmp___1^post_7, [ 1+tmp___1^0<=-1 && __const_100^0==__const_100^post_7 && __len21^0==__len21^post_7 && ret_my_malloc10^0==ret_my_malloc10^post_7 && ret_my_malloc14^0==ret_my_malloc14^post_7 && retval^0==retval^post_7 && size11^0==size11^post_7 && size15^0==size15^post_7 && size17^0==size17^post_7 && size7^0==size7^post_7 && tmp^0==tmp^post_7 && tmp13^0==tmp13^post_7 && tmp22^0==tmp22^post_7 && tmp9^0==tmp9^post_7 && tmp___0^0==tmp___0^post_7 && tmp___1^0==tmp___1^post_7 ], cost: 1
      7: l6 -> l3 : __const_100^0'=__const_100^post_8, __len21^0'=__len21^post_8, ret_my_malloc10^0'=ret_my_malloc10^post_8, ret_my_malloc14^0'=ret_my_malloc14^post_8, retval^0'=retval^post_8, size11^0'=size11^post_8, size15^0'=size15^post_8, size17^0'=size17^post_8, size7^0'=size7^post_8, tmp13^0'=tmp13^post_8, tmp22^0'=tmp22^post_8, tmp9^0'=tmp9^post_8, tmp^0'=tmp^post_8, tmp___0^0'=tmp___0^post_8, tmp___1^0'=tmp___1^post_8, [ __const_100^0==__const_100^post_8 && __len21^0==__len21^post_8 && ret_my_malloc10^0==ret_my_malloc10^post_8 && ret_my_malloc14^0==ret_my_malloc14^post_8 && retval^0==retval^post_8 && size11^0==size11^post_8 && size15^0==size15^post_8 && size17^0==size17^post_8 && size7^0==size7^post_8 && tmp^0==tmp^post_8 && tmp13^0==tmp13^post_8 && tmp22^0==tmp22^post_8 && tmp9^0==tmp9^post_8 && tmp___0^0==tmp___0^post_8 && tmp___1^0==tmp___1^post_8 ], cost: 1
      8: l7 -> l6 : __const_100^0'=__const_100^post_9, __len21^0'=__len21^post_9, ret_my_malloc10^0'=ret_my_malloc10^post_9, ret_my_malloc14^0'=ret_my_malloc14^post_9, retval^0'=retval^post_9, size11^0'=size11^post_9, size15^0'=size15^post_9, size17^0'=size17^post_9, size7^0'=size7^post_9, tmp13^0'=tmp13^post_9, tmp22^0'=tmp22^post_9, tmp9^0'=tmp9^post_9, tmp^0'=tmp^post_9, tmp___0^0'=tmp___0^post_9, tmp___1^0'=tmp___1^post_9, [ __const_100^0==__const_100^post_9 && __len21^0==__len21^post_9 && ret_my_malloc10^0==ret_my_malloc10^post_9 && ret_my_malloc14^0==ret_my_malloc14^post_9 && retval^0==retval^post_9 && size11^0==size11^post_9 && size15^0==size15^post_9 && size17^0==size17^post_9 && size7^0==size7^post_9 && tmp^0==tmp^post_9 && tmp13^0==tmp13^post_9 && tmp22^0==tmp22^post_9 && tmp9^0==tmp9^post_9 && tmp___0^0==tmp___0^post_9 && tmp___1^0==tmp___1^post_9 ], cost: 1
      9: l8 -> l7 : __const_100^0'=__const_100^post_10, __len21^0'=__len21^post_10, ret_my_malloc10^0'=ret_my_malloc10^post_10, ret_my_malloc14^0'=ret_my_malloc14^post_10, retval^0'=retval^post_10, size11^0'=size11^post_10, size15^0'=size15^post_10, size17^0'=size17^post_10, size7^0'=size7^post_10, tmp13^0'=tmp13^post_10, tmp22^0'=tmp22^post_10, tmp9^0'=tmp9^post_10, tmp^0'=tmp^post_10, tmp___0^0'=tmp___0^post_10, tmp___1^0'=tmp___1^post_10, [ __const_100^0==__const_100^post_10 && __len21^0==__len21^post_10 && ret_my_malloc10^0==ret_my_malloc10^post_10 && ret_my_malloc14^0==ret_my_malloc14^post_10 && retval^0==retval^post_10 && size11^0==size11^post_10 && size15^0==size15^post_10 && size17^0==size17^post_10 && size7^0==size7^post_10 && tmp^0==tmp^post_10 && tmp13^0==tmp13^post_10 && tmp22^0==tmp22^post_10 && tmp9^0==tmp9^post_10 && tmp___0^0==tmp___0^post_10 && tmp___1^0==tmp___1^post_10 ], cost: 1
     10: l8 -> l6 : __const_100^0'=__const_100^post_11, __len21^0'=__len21^post_11, ret_my_malloc10^0'=ret_my_malloc10^post_11, ret_my_malloc14^0'=ret_my_malloc14^post_11, retval^0'=retval^post_11, size11^0'=size11^post_11, size15^0'=size15^post_11, size17^0'=size17^post_11, size7^0'=size7^post_11, tmp13^0'=tmp13^post_11, tmp22^0'=tmp22^post_11, tmp9^0'=tmp9^post_11, tmp^0'=tmp^post_11, tmp___0^0'=tmp___0^post_11, tmp___1^0'=tmp___1^post_11, [ __const_100^0==__const_100^post_11 && __len21^0==__len21^post_11 && ret_my_malloc10^0==ret_my_malloc10^post_11 && ret_my_malloc14^0==ret_my_malloc14^post_11 && retval^0==retval^post_11 && size11^0==size11^post_11 && size15^0==size15^post_11 && size17^0==size17^post_11 && size7^0==size7^post_11 && tmp^0==tmp^post_11 && tmp13^0==tmp13^post_11 && tmp22^0==tmp22^post_11 && tmp9^0==tmp9^post_11 && tmp___0^0==tmp___0^post_11 && tmp___1^0==tmp___1^post_11 ], cost: 1
     11: l8 -> l7 : __const_100^0'=__const_100^post_12, __len21^0'=__len21^post_12, ret_my_malloc10^0'=ret_my_malloc10^post_12, ret_my_malloc14^0'=ret_my_malloc14^post_12, retval^0'=retval^post_12, size11^0'=size11^post_12, size15^0'=size15^post_12, size17^0'=size17^post_12, size7^0'=size7^post_12, tmp13^0'=tmp13^post_12, tmp22^0'=tmp22^post_12, tmp9^0'=tmp9^post_12, tmp^0'=tmp^post_12, tmp___0^0'=tmp___0^post_12, tmp___1^0'=tmp___1^post_12, [ __const_100^0==__const_100^post_12 && __len21^0==__len21^post_12 && ret_my_malloc10^0==ret_my_malloc10^post_12 && ret_my_malloc14^0==ret_my_malloc14^post_12 && retval^0==retval^post_12 && size11^0==size11^post_12 && size15^0==size15^post_12 && size17^0==size17^post_12 && size7^0==size7^post_12 && tmp^0==tmp^post_12 && tmp13^0==tmp13^post_12 && tmp22^0==tmp22^post_12 && tmp9^0==tmp9^post_12 && tmp___0^0==tmp___0^post_12 && tmp___1^0==tmp___1^post_12 ], cost: 1
     12: l9 -> l8 : __const_100^0'=__const_100^post_13, __len21^0'=__len21^post_13, ret_my_malloc10^0'=ret_my_malloc10^post_13, ret_my_malloc14^0'=ret_my_malloc14^post_13, retval^0'=retval^post_13, size11^0'=size11^post_13, size15^0'=size15^post_13, size17^0'=size17^post_13, size7^0'=size7^post_13, tmp13^0'=tmp13^post_13, tmp22^0'=tmp22^post_13, tmp9^0'=tmp9^post_13, tmp^0'=tmp^post_13, tmp___0^0'=tmp___0^post_13, tmp___1^0'=tmp___1^post_13, [ size17^post_13==__const_100^0 && __const_100^0==__const_100^post_13 && __len21^0==__len21^post_13 && ret_my_malloc10^0==ret_my_malloc10^post_13 && ret_my_malloc14^0==ret_my_malloc14^post_13 && retval^0==retval^post_13 && size11^0==size11^post_13 && size15^0==size15^post_13 && size7^0==size7^post_13 && tmp^0==tmp^post_13 && tmp13^0==tmp13^post_13 && tmp22^0==tmp22^post_13 && tmp9^0==tmp9^post_13 && tmp___0^0==tmp___0^post_13 && tmp___1^0==tmp___1^post_13 ], cost: 1
     13: l10 -> l3 : __const_100^0'=__const_100^post_14, __len21^0'=__len21^post_14, ret_my_malloc10^0'=ret_my_malloc10^post_14, ret_my_malloc14^0'=ret_my_malloc14^post_14, retval^0'=retval^post_14, size11^0'=size11^post_14, size15^0'=size15^post_14, size17^0'=size17^post_14, size7^0'=size7^post_14, tmp13^0'=tmp13^post_14, tmp22^0'=tmp22^post_14, tmp9^0'=tmp9^post_14, tmp^0'=tmp^post_14, tmp___0^0'=tmp___0^post_14, tmp___1^0'=tmp___1^post_14, [ __const_100^0==__const_100^post_14 && __len21^0==__len21^post_14 && ret_my_malloc10^0==ret_my_malloc10^post_14 && ret_my_malloc14^0==ret_my_malloc14^post_14 && retval^0==retval^post_14 && size11^0==size11^post_14 && size15^0==size15^post_14 && size17^0==size17^post_14 && size7^0==size7^post_14 && tmp^0==tmp^post_14 && tmp13^0==tmp13^post_14 && tmp22^0==tmp22^post_14 && tmp9^0==tmp9^post_14 && tmp___0^0==tmp___0^post_14 && tmp___1^0==tmp___1^post_14 ], cost: 1
     14: l11 -> l10 : __const_100^0'=__const_100^post_15, __len21^0'=__len21^post_15, ret_my_malloc10^0'=ret_my_malloc10^post_15, ret_my_malloc14^0'=ret_my_malloc14^post_15, retval^0'=retval^post_15, size11^0'=size11^post_15, size15^0'=size15^post_15, size17^0'=size17^post_15, size7^0'=size7^post_15, tmp13^0'=tmp13^post_15, tmp22^0'=tmp22^post_15, tmp9^0'=tmp9^post_15, tmp^0'=tmp^post_15, tmp___0^0'=tmp___0^post_15, tmp___1^0'=tmp___1^post_15, [ __const_100^0==__const_100^post_15 && __len21^0==__len21^post_15 && ret_my_malloc10^0==ret_my_malloc10^post_15 && ret_my_malloc14^0==ret_my_malloc14^post_15 && retval^0==retval^post_15 && size11^0==size11^post_15 && size15^0==size15^post_15 && size17^0==size17^post_15 && size7^0==size7^post_15 && tmp^0==tmp^post_15 && tmp13^0==tmp13^post_15 && tmp22^0==tmp22^post_15 && tmp9^0==tmp9^post_15 && tmp___0^0==tmp___0^post_15 && tmp___1^0==tmp___1^post_15 ], cost: 1
     15: l12 -> l11 : __const_100^0'=__const_100^post_16, __len21^0'=__len21^post_16, ret_my_malloc10^0'=ret_my_malloc10^post_16, ret_my_malloc14^0'=ret_my_malloc14^post_16, retval^0'=retval^post_16, size11^0'=size11^post_16, size15^0'=size15^post_16, size17^0'=size17^post_16, size7^0'=size7^post_16, tmp13^0'=tmp13^post_16, tmp22^0'=tmp22^post_16, tmp9^0'=tmp9^post_16, tmp^0'=tmp^post_16, tmp___0^0'=tmp___0^post_16, tmp___1^0'=tmp___1^post_16, [ __const_100^0==__const_100^post_16 && __len21^0==__len21^post_16 && ret_my_malloc10^0==ret_my_malloc10^post_16 && ret_my_malloc14^0==ret_my_malloc14^post_16 && retval^0==retval^post_16 && size11^0==size11^post_16 && size15^0==size15^post_16 && size17^0==size17^post_16 && size7^0==size7^post_16 && tmp^0==tmp^post_16 && tmp13^0==tmp13^post_16 && tmp22^0==tmp22^post_16 && tmp9^0==tmp9^post_16 && tmp___0^0==tmp___0^post_16 && tmp___1^0==tmp___1^post_16 ], cost: 1
     16: l12 -> l10 : __const_100^0'=__const_100^post_17, __len21^0'=__len21^post_17, ret_my_malloc10^0'=ret_my_malloc10^post_17, ret_my_malloc14^0'=ret_my_malloc14^post_17, retval^0'=retval^post_17, size11^0'=size11^post_17, size15^0'=size15^post_17, size17^0'=size17^post_17, size7^0'=size7^post_17, tmp13^0'=tmp13^post_17, tmp22^0'=tmp22^post_17, tmp9^0'=tmp9^post_17, tmp^0'=tmp^post_17, tmp___0^0'=tmp___0^post_17, tmp___1^0'=tmp___1^post_17, [ __const_100^0==__const_100^post_17 && __len21^0==__len21^post_17 && ret_my_malloc10^0==ret_my_malloc10^post_17 && ret_my_malloc14^0==ret_my_malloc14^post_17 && retval^0==retval^post_17 && size11^0==size11^post_17 && size15^0==size15^post_17 && size17^0==size17^post_17 && size7^0==size7^post_17 && tmp^0==tmp^post_17 && tmp13^0==tmp13^post_17 && tmp22^0==tmp22^post_17 && tmp9^0==tmp9^post_17 && tmp___0^0==tmp___0^post_17 && tmp___1^0==tmp___1^post_17 ], cost: 1
     17: l12 -> l11 : __const_100^0'=__const_100^post_18, __len21^0'=__len21^post_18, ret_my_malloc10^0'=ret_my_malloc10^post_18, ret_my_malloc14^0'=ret_my_malloc14^post_18, retval^0'=retval^post_18, size11^0'=size11^post_18, size15^0'=size15^post_18, size17^0'=size17^post_18, size7^0'=size7^post_18, tmp13^0'=tmp13^post_18, tmp22^0'=tmp22^post_18, tmp9^0'=tmp9^post_18, tmp^0'=tmp^post_18, tmp___0^0'=tmp___0^post_18, tmp___1^0'=tmp___1^post_18, [ __const_100^0==__const_100^post_18 && __len21^0==__len21^post_18 && ret_my_malloc10^0==ret_my_malloc10^post_18 && ret_my_malloc14^0==ret_my_malloc14^post_18 && retval^0==retval^post_18 && size11^0==size11^post_18 && size15^0==size15^post_18 && size17^0==size17^post_18 && size7^0==size7^post_18 && tmp^0==tmp^post_18 && tmp13^0==tmp13^post_18 && tmp22^0==tmp22^post_18 && tmp9^0==tmp9^post_18 && tmp___0^0==tmp___0^post_18 && tmp___1^0==tmp___1^post_18 ], cost: 1
     18: l13 -> l12 : __const_100^0'=__const_100^post_19, __len21^0'=__len21^post_19, ret_my_malloc10^0'=ret_my_malloc10^post_19, ret_my_malloc14^0'=ret_my_malloc14^post_19, retval^0'=retval^post_19, size11^0'=size11^post_19, size15^0'=size15^post_19, size17^0'=size17^post_19, size7^0'=size7^post_19, tmp13^0'=tmp13^post_19, tmp22^0'=tmp22^post_19, tmp9^0'=tmp9^post_19, tmp^0'=tmp^post_19, tmp___0^0'=tmp___0^post_19, tmp___1^0'=tmp___1^post_19, [ size15^post_19==__const_100^0 && __const_100^0==__const_100^post_19 && __len21^0==__len21^post_19 && ret_my_malloc10^0==ret_my_malloc10^post_19 && ret_my_malloc14^0==ret_my_malloc14^post_19 && retval^0==retval^post_19 && size11^0==size11^post_19 && size17^0==size17^post_19 && size7^0==size7^post_19 && tmp^0==tmp^post_19 && tmp13^0==tmp13^post_19 && tmp22^0==tmp22^post_19 && tmp9^0==tmp9^post_19 && tmp___0^0==tmp___0^post_19 && tmp___1^0==tmp___1^post_19 ], cost: 1
     19: l14 -> l15 : __const_100^0'=__const_100^post_20, __len21^0'=__len21^post_20, ret_my_malloc10^0'=ret_my_malloc10^post_20, ret_my_malloc14^0'=ret_my_malloc14^post_20, retval^0'=retval^post_20, size11^0'=size11^post_20, size15^0'=size15^post_20, size17^0'=size17^post_20, size7^0'=size7^post_20, tmp13^0'=tmp13^post_20, tmp22^0'=tmp22^post_20, tmp9^0'=tmp9^post_20, tmp^0'=tmp^post_20, tmp___0^0'=tmp___0^post_20, tmp___1^0'=tmp___1^post_20, [ retval^post_20==ret_my_malloc14^0 && __const_100^0==__const_100^post_20 && __len21^0==__len21^post_20 && ret_my_malloc10^0==ret_my_malloc10^post_20 && ret_my_malloc14^0==ret_my_malloc14^post_20 && size11^0==size11^post_20 && size15^0==size15^post_20 && size17^0==size17^post_20 && size7^0==size7^post_20 && tmp^0==tmp^post_20 && tmp13^0==tmp13^post_20 && tmp22^0==tmp22^post_20 && tmp9^0==tmp9^post_20 && tmp___0^0==tmp___0^post_20 && tmp___1^0==tmp___1^post_20 ], cost: 1
     20: l15 -> l5 : __const_100^0'=__const_100^post_21, __len21^0'=__len21^post_21, ret_my_malloc10^0'=ret_my_malloc10^post_21, ret_my_malloc14^0'=ret_my_malloc14^post_21, retval^0'=retval^post_21, size11^0'=size11^post_21, size15^0'=size15^post_21, size17^0'=size17^post_21, size7^0'=size7^post_21, tmp13^0'=tmp13^post_21, tmp22^0'=tmp22^post_21, tmp9^0'=tmp9^post_21, tmp^0'=tmp^post_21, tmp___0^0'=tmp___0^post_21, tmp___1^0'=tmp___1^post_21, [ retval^0<=1 && 1<=retval^0 && tmp___1^post_21==tmp___1^post_21 && __const_100^0==__const_100^post_21 && __len21^0==__len21^post_21 && ret_my_malloc10^0==ret_my_malloc10^post_21 && ret_my_malloc14^0==ret_my_malloc14^post_21 && retval^0==retval^post_21 && size11^0==size11^post_21 && size15^0==size15^post_21 && size17^0==size17^post_21 && size7^0==size7^post_21 && tmp^0==tmp^post_21 && tmp13^0==tmp13^post_21 && tmp22^0==tmp22^post_21 && tmp9^0==tmp9^post_21 && tmp___0^0==tmp___0^post_21 ], cost: 1
     21: l15 -> l13 : __const_100^0'=__const_100^post_22, __len21^0'=__len21^post_22, ret_my_malloc10^0'=ret_my_malloc10^post_22, ret_my_malloc14^0'=ret_my_malloc14^post_22, retval^0'=retval^post_22, size11^0'=size11^post_22, size15^0'=size15^post_22, size17^0'=size17^post_22, size7^0'=size7^post_22, tmp13^0'=tmp13^post_22, tmp22^0'=tmp22^post_22, tmp9^0'=tmp9^post_22, tmp^0'=tmp^post_22, tmp___0^0'=tmp___0^post_22, tmp___1^0'=tmp___1^post_22, [ 2<=retval^0 && __const_100^0==__const_100^post_22 && __len21^0==__len21^post_22 && ret_my_malloc10^0==ret_my_malloc10^post_22 && ret_my_malloc14^0==ret_my_malloc14^post_22 && retval^0==retval^post_22 && size11^0==size11^post_22 && size15^0==size15^post_22 && size17^0==size17^post_22 && size7^0==size7^post_22 && tmp^0==tmp^post_22 && tmp13^0==tmp13^post_22 && tmp22^0==tmp22^post_22 && tmp9^0==tmp9^post_22 && tmp___0^0==tmp___0^post_22 && tmp___1^0==tmp___1^post_22 ], cost: 1
     22: l15 -> l13 : __const_100^0'=__const_100^post_23, __len21^0'=__len21^post_23, ret_my_malloc10^0'=ret_my_malloc10^post_23, ret_my_malloc14^0'=ret_my_malloc14^post_23, retval^0'=retval^post_23, size11^0'=size11^post_23, size15^0'=size15^post_23, size17^0'=size17^post_23, size7^0'=size7^post_23, tmp13^0'=tmp13^post_23, tmp22^0'=tmp22^post_23, tmp9^0'=tmp9^post_23, tmp^0'=tmp^post_23, tmp___0^0'=tmp___0^post_23, tmp___1^0'=tmp___1^post_23, [ 1+retval^0<=1 && __const_100^0==__const_100^post_23 && __len21^0==__len21^post_23 && ret_my_malloc10^0==ret_my_malloc10^post_23 && ret_my_malloc14^0==ret_my_malloc14^post_23 && retval^0==retval^post_23 && size11^0==size11^post_23 && size15^0==size15^post_23 && size17^0==size17^post_23 && size7^0==size7^post_23 && tmp^0==tmp^post_23 && tmp13^0==tmp13^post_23 && tmp22^0==tmp22^post_23 && tmp9^0==tmp9^post_23 && tmp___0^0==tmp___0^post_23 && tmp___1^0==tmp___1^post_23 ], cost: 1
     23: l16 -> l14 : __const_100^0'=__const_100^post_24, __len21^0'=__len21^post_24, ret_my_malloc10^0'=ret_my_malloc10^post_24, ret_my_malloc14^0'=ret_my_malloc14^post_24, retval^0'=retval^post_24, size11^0'=size11^post_24, size15^0'=size15^post_24, size17^0'=size17^post_24, size7^0'=size7^post_24, tmp13^0'=tmp13^post_24, tmp22^0'=tmp22^post_24, tmp9^0'=tmp9^post_24, tmp^0'=tmp^post_24, tmp___0^0'=tmp___0^post_24, tmp___1^0'=tmp___1^post_24, [ ret_my_malloc14^post_24==0 && __const_100^0==__const_100^post_24 && __len21^0==__len21^post_24 && ret_my_malloc10^0==ret_my_malloc10^post_24 && retval^0==retval^post_24 && size11^0==size11^post_24 && size15^0==size15^post_24 && size17^0==size17^post_24 && size7^0==size7^post_24 && tmp^0==tmp^post_24 && tmp13^0==tmp13^post_24 && tmp22^0==tmp22^post_24 && tmp9^0==tmp9^post_24 && tmp___0^0==tmp___0^post_24 && tmp___1^0==tmp___1^post_24 ], cost: 1
     24: l16 -> l14 : __const_100^0'=__const_100^post_25, __len21^0'=__len21^post_25, ret_my_malloc10^0'=ret_my_malloc10^post_25, ret_my_malloc14^0'=ret_my_malloc14^post_25, retval^0'=retval^post_25, size11^0'=size11^post_25, size15^0'=size15^post_25, size17^0'=size17^post_25, size7^0'=size7^post_25, tmp13^0'=tmp13^post_25, tmp22^0'=tmp22^post_25, tmp9^0'=tmp9^post_25, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, tmp___1^0'=tmp___1^post_25, [ ret_my_malloc14^post_25==1 && __const_100^0==__const_100^post_25 && __len21^0==__len21^post_25 && ret_my_malloc10^0==ret_my_malloc10^post_25 && retval^0==retval^post_25 && size11^0==size11^post_25 && size15^0==size15^post_25 && size17^0==size17^post_25 && size7^0==size7^post_25 && tmp^0==tmp^post_25 && tmp13^0==tmp13^post_25 && tmp22^0==tmp22^post_25 && tmp9^0==tmp9^post_25 && tmp___0^0==tmp___0^post_25 && tmp___1^0==tmp___1^post_25 ], cost: 1
     25: l17 -> l9 : __const_100^0'=__const_100^post_26, __len21^0'=__len21^post_26, ret_my_malloc10^0'=ret_my_malloc10^post_26, ret_my_malloc14^0'=ret_my_malloc14^post_26, retval^0'=retval^post_26, size11^0'=size11^post_26, size15^0'=size15^post_26, size17^0'=size17^post_26, size7^0'=size7^post_26, tmp13^0'=tmp13^post_26, tmp22^0'=tmp22^post_26, tmp9^0'=tmp9^post_26, tmp^0'=tmp^post_26, tmp___0^0'=tmp___0^post_26, tmp___1^0'=tmp___1^post_26, [ 2<=retval^0 && __const_100^0==__const_100^post_26 && __len21^0==__len21^post_26 && ret_my_malloc10^0==ret_my_malloc10^post_26 && ret_my_malloc14^0==ret_my_malloc14^post_26 && retval^0==retval^post_26 && size11^0==size11^post_26 && size15^0==size15^post_26 && size17^0==size17^post_26 && size7^0==size7^post_26 && tmp^0==tmp^post_26 && tmp13^0==tmp13^post_26 && tmp22^0==tmp22^post_26 && tmp9^0==tmp9^post_26 && tmp___0^0==tmp___0^post_26 && tmp___1^0==tmp___1^post_26 ], cost: 1
     26: l17 -> l9 : __const_100^0'=__const_100^post_27, __len21^0'=__len21^post_27, ret_my_malloc10^0'=ret_my_malloc10^post_27, ret_my_malloc14^0'=ret_my_malloc14^post_27, retval^0'=retval^post_27, size11^0'=size11^post_27, size15^0'=size15^post_27, size17^0'=size17^post_27, size7^0'=size7^post_27, tmp13^0'=tmp13^post_27, tmp22^0'=tmp22^post_27, tmp9^0'=tmp9^post_27, tmp^0'=tmp^post_27, tmp___0^0'=tmp___0^post_27, tmp___1^0'=tmp___1^post_27, [ 1+retval^0<=1 && __const_100^0==__const_100^post_27 && __len21^0==__len21^post_27 && ret_my_malloc10^0==ret_my_malloc10^post_27 && ret_my_malloc14^0==ret_my_malloc14^post_27 && retval^0==retval^post_27 && size11^0==size11^post_27 && size15^0==size15^post_27 && size17^0==size17^post_27 && size7^0==size7^post_27 && tmp^0==tmp^post_27 && tmp13^0==tmp13^post_27 && tmp22^0==tmp22^post_27 && tmp9^0==tmp9^post_27 && tmp___0^0==tmp___0^post_27 && tmp___1^0==tmp___1^post_27 ], cost: 1
     27: l17 -> l16 : __const_100^0'=__const_100^post_28, __len21^0'=__len21^post_28, ret_my_malloc10^0'=ret_my_malloc10^post_28, ret_my_malloc14^0'=ret_my_malloc14^post_28, retval^0'=retval^post_28, size11^0'=size11^post_28, size15^0'=size15^post_28, size17^0'=size17^post_28, size7^0'=size7^post_28, tmp13^0'=tmp13^post_28, tmp22^0'=tmp22^post_28, tmp9^0'=tmp9^post_28, tmp^0'=tmp^post_28, tmp___0^0'=tmp___0^post_28, tmp___1^0'=tmp___1^post_28, [ retval^0<=1 && 1<=retval^0 && size11^post_28==__const_100^0 && tmp13^post_28==tmp13^post_28 && __const_100^0==__const_100^post_28 && __len21^0==__len21^post_28 && ret_my_malloc10^0==ret_my_malloc10^post_28 && ret_my_malloc14^0==ret_my_malloc14^post_28 && retval^0==retval^post_28 && size15^0==size15^post_28 && size17^0==size17^post_28 && size7^0==size7^post_28 && tmp^0==tmp^post_28 && tmp22^0==tmp22^post_28 && tmp9^0==tmp9^post_28 && tmp___0^0==tmp___0^post_28 && tmp___1^0==tmp___1^post_28 ], cost: 1
     29: l18 -> l0 : __const_100^0'=__const_100^post_30, __len21^0'=__len21^post_30, ret_my_malloc10^0'=ret_my_malloc10^post_30, ret_my_malloc14^0'=ret_my_malloc14^post_30, retval^0'=retval^post_30, size11^0'=size11^post_30, size15^0'=size15^post_30, size17^0'=size17^post_30, size7^0'=size7^post_30, tmp13^0'=tmp13^post_30, tmp22^0'=tmp22^post_30, tmp9^0'=tmp9^post_30, tmp^0'=tmp^post_30, tmp___0^0'=tmp___0^post_30, tmp___1^0'=tmp___1^post_30, [ size7^post_30==__const_100^0 && tmp9^post_30==tmp9^post_30 && __const_100^0==__const_100^post_30 && __len21^0==__len21^post_30 && ret_my_malloc10^0==ret_my_malloc10^post_30 && ret_my_malloc14^0==ret_my_malloc14^post_30 && retval^0==retval^post_30 && size11^0==size11^post_30 && size15^0==size15^post_30 && size17^0==size17^post_30 && tmp^0==tmp^post_30 && tmp13^0==tmp13^post_30 && tmp22^0==tmp22^post_30 && tmp___0^0==tmp___0^post_30 && tmp___1^0==tmp___1^post_30 ], cost: 1
     30: l19 -> l18 : __const_100^0'=__const_100^post_31, __len21^0'=__len21^post_31, ret_my_malloc10^0'=ret_my_malloc10^post_31, ret_my_malloc14^0'=ret_my_malloc14^post_31, retval^0'=retval^post_31, size11^0'=size11^post_31, size15^0'=size15^post_31, size17^0'=size17^post_31, size7^0'=size7^post_31, tmp13^0'=tmp13^post_31, tmp22^0'=tmp22^post_31, tmp9^0'=tmp9^post_31, tmp^0'=tmp^post_31, tmp___0^0'=tmp___0^post_31, tmp___1^0'=tmp___1^post_31, [ __const_100^0==__const_100^post_31 && __len21^0==__len21^post_31 && ret_my_malloc10^0==ret_my_malloc10^post_31 && ret_my_malloc14^0==ret_my_malloc14^post_31 && retval^0==retval^post_31 && size11^0==size11^post_31 && size15^0==size15^post_31 && size17^0==size17^post_31 && size7^0==size7^post_31 && tmp^0==tmp^post_31 && tmp13^0==tmp13^post_31 && tmp22^0==tmp22^post_31 && tmp9^0==tmp9^post_31 && tmp___0^0==tmp___0^post_31 && tmp___1^0==tmp___1^post_31 ], cost: 1

Checking for constant complexity:
   The following rule is satisfiable with cost >= 1, yielding constant complexity:
     30: l19 -> l18 : __const_100^0'=__const_100^post_31, __len21^0'=__len21^post_31, ret_my_malloc10^0'=ret_my_malloc10^post_31, ret_my_malloc14^0'=ret_my_malloc14^post_31, retval^0'=retval^post_31, size11^0'=size11^post_31, size15^0'=size15^post_31, size17^0'=size17^post_31, size7^0'=size7^post_31, tmp13^0'=tmp13^post_31, tmp22^0'=tmp22^post_31, tmp9^0'=tmp9^post_31, tmp^0'=tmp^post_31, tmp___0^0'=tmp___0^post_31, tmp___1^0'=tmp___1^post_31, [ __const_100^0==__const_100^post_31 && __len21^0==__len21^post_31 && ret_my_malloc10^0==ret_my_malloc10^post_31 && ret_my_malloc14^0==ret_my_malloc14^post_31 && retval^0==retval^post_31 && size11^0==size11^post_31 && size15^0==size15^post_31 && size17^0==size17^post_31 && size7^0==size7^post_31 && tmp^0==tmp^post_31 && tmp13^0==tmp13^post_31 && tmp22^0==tmp22^post_31 && tmp9^0==tmp9^post_31 && tmp___0^0==tmp___0^post_31 && tmp___1^0==tmp___1^post_31 ], cost: 1

Removed unreachable and leaf rules:
   Start location: l19
     <empty>

Empty problem, aborting

Obtained the following overall complexity (w.r.t. the length of the input n):
   Complexity:  Constant
   Cpx degree:  0
   Solved cost: 1
   Rule cost:   1
   Rule guard:  [ __const_100^0==__const_100^post_31 && __len21^0==__len21^post_31 && ret_my_malloc10^0==ret_my_malloc10^post_31 && ret_my_malloc14^0==ret_my_malloc14^post_31 && retval^0==retval^post_31 && size11^0==size11^post_31 && size15^0==size15^post_31 && size17^0==size17^post_31 && size7^0==size7^post_31 && tmp^0==tmp^post_31 && tmp13^0==tmp13^post_31 && tmp22^0==tmp22^post_31 && tmp9^0==tmp9^post_31 && tmp___0^0==tmp___0^post_31 && tmp___1^0==tmp___1^post_31 ]

WORST_CASE(Omega(1),?)