WORST_CASE(Omega(0),?)

Initial ITS
Start location: l2
   0: l0 -> l1 : tmp___0^0'=tmp___0^post0, i5^0'=i5^post0, ret22^0'=ret22^post0, n33^0'=n33^post0, ret_fn144^0'=ret_fn144^post0, ret_fn124^0'=ret_fn124^post0, tmp43^0'=tmp43^post0, i2^0'=i2^post0, tmp31^0'=tmp31^post0, n41^0'=n41^post0, n21^0'=n21^post0, tmp___2^0'=tmp___2^post0, ret42^0'=ret42^post0, ret30^0'=ret30^post0, tmp19^0'=tmp19^post0, ret_fn132^0'=ret_fn132^post0, i7^0'=i7^post0, tmp^0'=tmp^post0, i4^0'=i4^post0, tmp39^0'=tmp39^post0, ret18^0'=ret18^post0, n29^0'=n29^post0, tmp___4^0'=tmp___4^post0, ret_fn120^0'=ret_fn120^post0, ret38^0'=ret38^post0, i1^0'=i1^post0, tmp27^0'=tmp27^post0, ret_fn140^0'=ret_fn140^post0, tmp___6^0'=tmp___6^post0, n17^0'=n17^post0, tmp___1^0'=tmp___1^post0, i6^0'=i6^post0, ret26^0'=ret26^post0, n37^0'=n37^post0, ret_fn148^0'=ret_fn148^post0, ret_fn128^0'=ret_fn128^post0, tmp47^0'=tmp47^post0, i3^0'=i3^post0, tmp35^0'=tmp35^post0, n45^0'=n45^post0, n25^0'=n25^post0, tmp___3^0'=tmp___3^post0, ret46^0'=ret46^post0, ret34^0'=ret34^post0, tmp23^0'=tmp23^post0, ret_fn136^0'=ret_fn136^post0, tmp___5^0'=tmp___5^post0, i8^0'=i8^post0, (0 == 0 /\ -2+n41^post0 == 0 /\ -ret22^post0+ret_fn124^post0 == 0 /\ -tmp19^post0+ret18^post0 == 0 /\ tmp___6^post0-ret_fn148^post0 == 0 /\ ret38^post0-tmp39^post0 == 0 /\ ret42^post0-tmp43^post0 == 0 /\ ret_fn140^post0-ret38^post0 == 0 /\ -2+n45^post0 == 0 /\ -tmp47^post0+ret46^post0 == 0 /\ -tmp___4^post0+i6^post0 == 0 /\ i2^post0-tmp___0^post0 == 0 /\ i3^post0-tmp___1^post0 == 0 /\ i4^post0-tmp___2^post0 == 0 /\ ret34^post0-tmp35^post0 == 0 /\ -ret30^post0+ret_fn132^post0 == 0 /\ tmp___4^post0-ret_fn140^post0 == 0 /\ -ret_fn132^post0+tmp___2^post0 == 0 /\ ret30^post0-tmp31^post0 == 0 /\ -2+n33^post0 == 0 /\ i5^post0-tmp___3^post0 == 0 /\ -ret_fn128^post0+tmp___1^post0 == 0 /\ -ret_fn144^post0+tmp___5^post0 == 0 /\ -2+n17^post0 == 0 /\ tmp^post0-ret_fn120^post0 == 0 /\ tmp___0^post0-ret_fn124^post0 == 0 /\ -2+n37^post0 == 0 /\ ret22^post0-tmp23^post0 == 0 /\ ret26^post0-tmp27^post0 == 0 /\ ret_fn128^post0-ret26^post0 == 0 /\ ret_fn120^post0-ret18^post0 == 0 /\ i7^post0-tmp___5^post0 == 0 /\ -ret46^post0+ret_fn148^post0 == 0 /\ -tmp___6^post0+i8^post0 == 0 /\ -2+n25^post0 == 0 /\ ret_fn136^post0-ret34^post0 == 0 /\ -ret42^post0+ret_fn144^post0 == 0 /\ -2+n29^post0 == 0 /\ -ret_fn136^post0+tmp___3^post0 == 0 /\ -tmp^post0+i1^post0 == 0 /\ -2+n21^post0 == 0), cost: 1
   1: l2 -> l0 : tmp___0^0'=tmp___0^post1, i5^0'=i5^post1, ret22^0'=ret22^post1, n33^0'=n33^post1, ret_fn144^0'=ret_fn144^post1, ret_fn124^0'=ret_fn124^post1, tmp43^0'=tmp43^post1, i2^0'=i2^post1, tmp31^0'=tmp31^post1, n41^0'=n41^post1, n21^0'=n21^post1, tmp___2^0'=tmp___2^post1, ret42^0'=ret42^post1, ret30^0'=ret30^post1, tmp19^0'=tmp19^post1, ret_fn132^0'=ret_fn132^post1, i7^0'=i7^post1, tmp^0'=tmp^post1, i4^0'=i4^post1, tmp39^0'=tmp39^post1, ret18^0'=ret18^post1, n29^0'=n29^post1, tmp___4^0'=tmp___4^post1, ret_fn120^0'=ret_fn120^post1, ret38^0'=ret38^post1, i1^0'=i1^post1, tmp27^0'=tmp27^post1, ret_fn140^0'=ret_fn140^post1, tmp___6^0'=tmp___6^post1, n17^0'=n17^post1, tmp___1^0'=tmp___1^post1, i6^0'=i6^post1, ret26^0'=ret26^post1, n37^0'=n37^post1, ret_fn148^0'=ret_fn148^post1, ret_fn128^0'=ret_fn128^post1, tmp47^0'=tmp47^post1, i3^0'=i3^post1, tmp35^0'=tmp35^post1, n45^0'=n45^post1, n25^0'=n25^post1, tmp___3^0'=tmp___3^post1, ret46^0'=ret46^post1, ret34^0'=ret34^post1, tmp23^0'=tmp23^post1, ret_fn136^0'=ret_fn136^post1, tmp___5^0'=tmp___5^post1, i8^0'=i8^post1, (i3^0-i3^post1 == 0 /\ i5^0-i5^post1 == 0 /\ ret30^0-ret30^post1 == 0 /\ -tmp19^post1+tmp19^0 == 0 /\ -tmp___4^post1+tmp___4^0 == 0 /\ -ret46^post1+ret46^0 == 0 /\ tmp___0^0-tmp___0^post1 == 0 /\ n45^0-n45^post1 == 0 /\ -ret_fn140^post1+ret_fn140^0 == 0 /\ ret_fn148^0-ret_fn148^post1 == 0 /\ -ret26^post1+ret26^0 == 0 /\ i2^0-i2^post1 == 0 /\ ret_fn144^0-ret_fn144^post1 == 0 /\ ret18^0-ret18^post1 == 0 /\ i6^0-i6^post1 == 0 /\ n33^0-n33^post1 == 0 /\ tmp43^0-tmp43^post1 == 0 /\ -i1^post1+i1^0 == 0 /\ -i7^post1+i7^0 == 0 /\ tmp47^0-tmp47^post1 == 0 /\ -n25^post1+n25^0 == 0 /\ -ret_fn136^post1+ret_fn136^0 == 0 /\ n41^0-n41^post1 == 0 /\ -tmp35^post1+tmp35^0 == 0 /\ -ret42^post1+ret42^0 == 0 /\ -ret34^post1+ret34^0 == 0 /\ n29^0-n29^post1 == 0 /\ tmp___1^0-tmp___1^post1 == 0 /\ -tmp___3^post1+tmp___3^0 == 0 /\ ret_fn132^0-ret_fn132^post1 == 0 /\ tmp31^0-tmp31^post1 == 0 /\ tmp___2^0-tmp___2^post1 == 0 /\ -ret38^post1+ret38^0 == 0 /\ ret_fn120^0-ret_fn120^post1 == 0 /\ n21^0-n21^post1 == 0 /\ -tmp___5^post1+tmp___5^0 == 0 /\ -n17^post1+n17^0 == 0 /\ -n37^post1+n37^0 == 0 /\ i4^0-i4^post1 == 0 /\ -ret_fn128^post1+ret_fn128^0 == 0 /\ -ret_fn124^post1+ret_fn124^0 == 0 /\ -i8^post1+i8^0 == 0 /\ -tmp39^post1+tmp39^0 == 0 /\ -tmp23^post1+tmp23^0 == 0 /\ tmp27^0-tmp27^post1 == 0 /\ ret22^0-ret22^post1 == 0 /\ -tmp___6^post1+tmp___6^0 == 0 /\ tmp^0-tmp^post1 == 0), cost: 1


Removed unreachable rules and leafs
Start location: l2
  <empty>


Computing asymptotic complexity

Proved the following lower bound
Complexity:  Unknown
Cpx degree: ?

Solved cost: 0
Rule cost:   0