WORST_CASE(Omega(0),?)

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