10.82/10.70	MAYBE
10.82/10.70	
10.82/10.70	DP problem for innermost termination.
10.82/10.70	P =
10.82/10.70	  f14#(x1, x2, x3, x4, x5, x6) -> f13#(x1, x2, x3, x4, x5, x6) 
10.82/10.70	  f13#(I0, I1, I2, I3, I4, I5) -> f5#(0, rnd2, rnd3, I3, rnd5, I5) [rnd2 = rnd3 /\ rnd3 = rnd5 /\ rnd5 = rnd5]
10.82/10.70	  f6#(I6, I7, I8, I9, I10, I11) -> f5#(1 + I6, I7, I8, I9, I10, rnd6) [rnd6 = rnd6 /\ 1 + I6 <= I7]
10.82/10.70	  f6#(I12, I13, I14, I15, I16, I17) -> f10#(I12, I13, I14, I15, I16, I17) [I13 <= I12]
10.82/10.70	  f2#(I18, I19, I20, I21, I22, I23) -> f3#(I18, I19, I20, I21, I22, I23) 
10.82/10.70	  f11#(I24, I25, I26, I27, I28, I29) -> f12#(I24, I25, I26, I27, I28, I29) 
10.82/10.70	  f11#(I30, I31, I32, I33, I34, I35) -> f8#(I30, I31, I32, I33, I34, I35) 
10.82/10.70	  f11#(I36, I37, I38, I39, I40, I41) -> f12#(I36, I37, I38, I39, I40, I41) 
10.82/10.70	  f12#(I42, I43, I44, I45, I46, I47) -> f10#(I42, I43, I44, rnd4, I46, I47) [rnd4 = rnd4]
10.82/10.70	  f8#(I48, I49, I50, I51, I52, I53) -> f9#(I48, I49, I50, I51, I52, I53) 
10.82/10.70	  f10#(I54, I55, I56, I57, I58, I59) -> f11#(I54, I55, I56, I57, I58, I59) 
10.82/10.70	  f9#(I60, I61, I62, I63, I64, I65) -> f2#(I60, I61, I62, I63, I64, I65) 
10.82/10.70	  f9#(I66, I67, I68, I69, I70, I71) -> f7#(I66, I67, I68, I69, I70, I71) 
10.82/10.70	  f9#(I72, I73, I74, I75, I76, I77) -> f7#(I72, I73, I74, I75, I76, I77) 
10.82/10.70	  f7#(I78, I79, I80, I81, I82, I83) -> f8#(I78, I79, I80, I81, I82, I83) 
10.82/10.70	  f5#(I84, I85, I86, I87, I88, I89) -> f6#(I84, I85, I86, I87, I88, I89) 
10.82/10.70	  f3#(I90, I91, I92, I93, I94, I95) -> f1#(I90, I91, I92, I93, I94, I95) 
10.82/10.70	  f3#(I102, I103, I104, I105, I106, I107) -> f1#(I102, I103, I104, I105, I106, I107) 
10.82/10.70	  f1#(I108, I109, I110, I111, I112, I113) -> f2#(I108, I109, I110, I111, I112, I113) 
10.82/10.70	R = 
10.82/10.70	  f14(x1, x2, x3, x4, x5, x6) -> f13(x1, x2, x3, x4, x5, x6) 
10.82/10.70	  f13(I0, I1, I2, I3, I4, I5) -> f5(0, rnd2, rnd3, I3, rnd5, I5) [rnd2 = rnd3 /\ rnd3 = rnd5 /\ rnd5 = rnd5]
10.82/10.70	  f6(I6, I7, I8, I9, I10, I11) -> f5(1 + I6, I7, I8, I9, I10, rnd6) [rnd6 = rnd6 /\ 1 + I6 <= I7]
10.82/10.70	  f6(I12, I13, I14, I15, I16, I17) -> f10(I12, I13, I14, I15, I16, I17) [I13 <= I12]
10.82/10.70	  f2(I18, I19, I20, I21, I22, I23) -> f3(I18, I19, I20, I21, I22, I23) 
10.82/10.70	  f11(I24, I25, I26, I27, I28, I29) -> f12(I24, I25, I26, I27, I28, I29) 
10.82/10.70	  f11(I30, I31, I32, I33, I34, I35) -> f8(I30, I31, I32, I33, I34, I35) 
10.82/10.70	  f11(I36, I37, I38, I39, I40, I41) -> f12(I36, I37, I38, I39, I40, I41) 
10.82/10.70	  f12(I42, I43, I44, I45, I46, I47) -> f10(I42, I43, I44, rnd4, I46, I47) [rnd4 = rnd4]
10.82/10.70	  f8(I48, I49, I50, I51, I52, I53) -> f9(I48, I49, I50, I51, I52, I53) 
10.82/10.70	  f10(I54, I55, I56, I57, I58, I59) -> f11(I54, I55, I56, I57, I58, I59) 
10.82/10.70	  f9(I60, I61, I62, I63, I64, I65) -> f2(I60, I61, I62, I63, I64, I65) 
10.82/10.70	  f9(I66, I67, I68, I69, I70, I71) -> f7(I66, I67, I68, I69, I70, I71) 
10.82/10.70	  f9(I72, I73, I74, I75, I76, I77) -> f7(I72, I73, I74, I75, I76, I77) 
10.82/10.70	  f7(I78, I79, I80, I81, I82, I83) -> f8(I78, I79, I80, I81, I82, I83) 
10.82/10.70	  f5(I84, I85, I86, I87, I88, I89) -> f6(I84, I85, I86, I87, I88, I89) 
10.82/10.70	  f3(I90, I91, I92, I93, I94, I95) -> f1(I90, I91, I92, I93, I94, I95) 
10.82/10.70	  f3(I96, I97, I98, I99, I100, I101) -> f4(I96, I97, I98, I99, I100, I101) 
10.82/10.70	  f3(I102, I103, I104, I105, I106, I107) -> f1(I102, I103, I104, I105, I106, I107) 
10.82/10.70	  f1(I108, I109, I110, I111, I112, I113) -> f2(I108, I109, I110, I111, I112, I113) 
10.82/10.70	
10.82/10.70	The dependency graph for this problem is:
10.82/10.70	  0 -> 1
10.82/10.70	  1 -> 15
10.82/10.70	  2 -> 15
10.82/10.70	  3 -> 10
10.82/10.70	  4 -> 16, 17
10.82/10.70	  5 -> 8
10.82/10.70	  6 -> 9
10.82/10.70	  7 -> 8
10.82/10.70	  8 -> 10
10.82/10.70	  9 -> 11, 12, 13
10.82/10.70	  10 -> 5, 6, 7
10.82/10.70	  11 -> 4
10.82/10.70	  12 -> 14
10.82/10.70	  13 -> 14
10.82/10.70	  14 -> 9
10.82/10.70	  15 -> 2, 3
10.82/10.70	  16 -> 18
10.82/10.70	  17 -> 18
10.82/10.70	  18 -> 4
10.82/10.70	Where:
10.82/10.70	  0) f14#(x1, x2, x3, x4, x5, x6) -> f13#(x1, x2, x3, x4, x5, x6) 
10.82/10.70	  1) f13#(I0, I1, I2, I3, I4, I5) -> f5#(0, rnd2, rnd3, I3, rnd5, I5) [rnd2 = rnd3 /\ rnd3 = rnd5 /\ rnd5 = rnd5]
10.82/10.70	  2) f6#(I6, I7, I8, I9, I10, I11) -> f5#(1 + I6, I7, I8, I9, I10, rnd6) [rnd6 = rnd6 /\ 1 + I6 <= I7]
10.82/10.70	  3) f6#(I12, I13, I14, I15, I16, I17) -> f10#(I12, I13, I14, I15, I16, I17) [I13 <= I12]
10.82/10.70	  4) f2#(I18, I19, I20, I21, I22, I23) -> f3#(I18, I19, I20, I21, I22, I23) 
10.82/10.70	  5) f11#(I24, I25, I26, I27, I28, I29) -> f12#(I24, I25, I26, I27, I28, I29) 
10.82/10.70	  6) f11#(I30, I31, I32, I33, I34, I35) -> f8#(I30, I31, I32, I33, I34, I35) 
10.82/10.70	  7) f11#(I36, I37, I38, I39, I40, I41) -> f12#(I36, I37, I38, I39, I40, I41) 
10.82/10.70	  8) f12#(I42, I43, I44, I45, I46, I47) -> f10#(I42, I43, I44, rnd4, I46, I47) [rnd4 = rnd4]
10.82/10.70	  9) f8#(I48, I49, I50, I51, I52, I53) -> f9#(I48, I49, I50, I51, I52, I53) 
10.82/10.70	  10) f10#(I54, I55, I56, I57, I58, I59) -> f11#(I54, I55, I56, I57, I58, I59) 
10.82/10.70	  11) f9#(I60, I61, I62, I63, I64, I65) -> f2#(I60, I61, I62, I63, I64, I65) 
10.82/10.70	  12) f9#(I66, I67, I68, I69, I70, I71) -> f7#(I66, I67, I68, I69, I70, I71) 
10.82/10.70	  13) f9#(I72, I73, I74, I75, I76, I77) -> f7#(I72, I73, I74, I75, I76, I77) 
10.82/10.70	  14) f7#(I78, I79, I80, I81, I82, I83) -> f8#(I78, I79, I80, I81, I82, I83) 
10.82/10.70	  15) f5#(I84, I85, I86, I87, I88, I89) -> f6#(I84, I85, I86, I87, I88, I89) 
10.82/10.70	  16) f3#(I90, I91, I92, I93, I94, I95) -> f1#(I90, I91, I92, I93, I94, I95) 
10.82/10.70	  17) f3#(I102, I103, I104, I105, I106, I107) -> f1#(I102, I103, I104, I105, I106, I107) 
10.82/10.70	  18) f1#(I108, I109, I110, I111, I112, I113) -> f2#(I108, I109, I110, I111, I112, I113) 
10.82/10.70	
10.82/10.70	We have the following SCCs.
10.82/10.70	  { 2, 15 }
10.82/10.70	  { 5, 7, 8, 10 }
10.82/10.70	  { 9, 12, 13, 14 }
10.82/10.70	  { 4, 16, 17, 18 }
10.82/10.70	
10.82/10.70	DP problem for innermost termination.
10.82/10.70	P =
10.82/10.70	  f2#(I18, I19, I20, I21, I22, I23) -> f3#(I18, I19, I20, I21, I22, I23) 
10.82/10.70	  f3#(I90, I91, I92, I93, I94, I95) -> f1#(I90, I91, I92, I93, I94, I95) 
10.82/10.70	  f3#(I102, I103, I104, I105, I106, I107) -> f1#(I102, I103, I104, I105, I106, I107) 
10.82/10.70	  f1#(I108, I109, I110, I111, I112, I113) -> f2#(I108, I109, I110, I111, I112, I113) 
10.82/10.70	R = 
10.82/10.70	  f14(x1, x2, x3, x4, x5, x6) -> f13(x1, x2, x3, x4, x5, x6) 
10.82/10.70	  f13(I0, I1, I2, I3, I4, I5) -> f5(0, rnd2, rnd3, I3, rnd5, I5) [rnd2 = rnd3 /\ rnd3 = rnd5 /\ rnd5 = rnd5]
10.82/10.70	  f6(I6, I7, I8, I9, I10, I11) -> f5(1 + I6, I7, I8, I9, I10, rnd6) [rnd6 = rnd6 /\ 1 + I6 <= I7]
10.82/10.70	  f6(I12, I13, I14, I15, I16, I17) -> f10(I12, I13, I14, I15, I16, I17) [I13 <= I12]
10.82/10.70	  f2(I18, I19, I20, I21, I22, I23) -> f3(I18, I19, I20, I21, I22, I23) 
10.82/10.70	  f11(I24, I25, I26, I27, I28, I29) -> f12(I24, I25, I26, I27, I28, I29) 
10.82/10.70	  f11(I30, I31, I32, I33, I34, I35) -> f8(I30, I31, I32, I33, I34, I35) 
10.82/10.70	  f11(I36, I37, I38, I39, I40, I41) -> f12(I36, I37, I38, I39, I40, I41) 
10.82/10.70	  f12(I42, I43, I44, I45, I46, I47) -> f10(I42, I43, I44, rnd4, I46, I47) [rnd4 = rnd4]
10.82/10.70	  f8(I48, I49, I50, I51, I52, I53) -> f9(I48, I49, I50, I51, I52, I53) 
10.82/10.70	  f10(I54, I55, I56, I57, I58, I59) -> f11(I54, I55, I56, I57, I58, I59) 
10.82/10.70	  f9(I60, I61, I62, I63, I64, I65) -> f2(I60, I61, I62, I63, I64, I65) 
10.82/10.70	  f9(I66, I67, I68, I69, I70, I71) -> f7(I66, I67, I68, I69, I70, I71) 
10.82/10.70	  f9(I72, I73, I74, I75, I76, I77) -> f7(I72, I73, I74, I75, I76, I77) 
10.82/10.70	  f7(I78, I79, I80, I81, I82, I83) -> f8(I78, I79, I80, I81, I82, I83) 
10.82/10.70	  f5(I84, I85, I86, I87, I88, I89) -> f6(I84, I85, I86, I87, I88, I89) 
10.82/10.70	  f3(I90, I91, I92, I93, I94, I95) -> f1(I90, I91, I92, I93, I94, I95) 
10.82/10.70	  f3(I96, I97, I98, I99, I100, I101) -> f4(I96, I97, I98, I99, I100, I101) 
10.82/10.70	  f3(I102, I103, I104, I105, I106, I107) -> f1(I102, I103, I104, I105, I106, I107) 
10.82/10.70	  f1(I108, I109, I110, I111, I112, I113) -> f2(I108, I109, I110, I111, I112, I113) 
10.82/10.70	
10.82/13.68	EOF