50.07/49.38	MAYBE
50.07/49.38	
50.07/49.38	DP problem for innermost termination.
50.07/49.38	P =
50.07/49.38	  f8#(x1, x2, x3, x4, x5, x6) -> f1#(x1, x2, x3, x4, x5, x6) 
50.07/49.38	  f7#(I0, I1, I2, I3, I4, I5) -> f2#(I0, I1, I2, I3, I4, I5) 
50.07/49.38	  f2#(I6, I7, I8, I9, I10, I11) -> f7#(-1 * I6, -1 * (-1 * I6) + I7, I8, I9, -1 * (-1 * I6) + I10, I11) [1 + I6 <= 0]
50.07/49.38	  f6#(I12, I13, I14, I15, I16, I17) -> f2#(I12, I13, I14, I15, I16, I17) 
50.07/49.38	  f2#(I18, I19, I20, I21, I22, I23) -> f6#(rnd1, -1 * I19, -1 * (-1 * I19) + I20, I21, I22, I23) [rnd1 = I18 - -1 * I19 /\ 1 + I19 <= 0]
50.07/49.38	  f5#(I24, I25, I26, I27, I28, I29) -> f2#(I24, I25, I26, I27, I28, I29) 
50.07/49.38	  f2#(I30, I31, I32, I33, I34, I35) -> f5#(I30, rnd2, -1 * I32, -1 * (-1 * I32) + I33, I34, I35) [rnd2 = I31 - -1 * I32 /\ 1 + I32 <= 0]
50.07/49.38	  f4#(I36, I37, I38, I39, I40, I41) -> f2#(I36, I37, I38, I39, I40, I41) 
50.07/49.38	  f2#(I42, I43, I44, I45, I46, I47) -> f4#(I42, I43, rnd3, -1 * I45, -1 * (-1 * I45) + I46, I47) [rnd3 = I44 - -1 * I45 /\ 1 + I45 <= 0]
50.07/49.38	  f3#(I48, I49, I50, I51, I52, I53) -> f2#(I48, I49, I50, I51, I52, I53) 
50.07/49.38	  f2#(I54, I55, I56, I57, I58, I59) -> f3#(I60, I55, I56, rnd4, -1 * I58, I59) [I60 = I54 - -1 * I58 /\ rnd4 = I57 - -1 * I58 /\ 1 + I58 <= 0]
50.07/49.38	  f1#(I61, I62, I63, I64, I65, I66) -> f2#(I67, I68, I69, I70, rnd5, rnd6) [rnd6 = I67 + I68 + I69 + I70 + rnd5 /\ 1 <= I67 + I68 + I69 + I70 + rnd5 /\ rnd5 = rnd5 /\ I70 = I70 /\ I69 = I69 /\ I68 = I68 /\ I67 = I67]
50.07/49.38	R = 
50.07/49.38	  f8(x1, x2, x3, x4, x5, x6) -> f1(x1, x2, x3, x4, x5, x6) 
50.07/49.38	  f7(I0, I1, I2, I3, I4, I5) -> f2(I0, I1, I2, I3, I4, I5) 
50.07/49.38	  f2(I6, I7, I8, I9, I10, I11) -> f7(-1 * I6, -1 * (-1 * I6) + I7, I8, I9, -1 * (-1 * I6) + I10, I11) [1 + I6 <= 0]
50.07/49.38	  f6(I12, I13, I14, I15, I16, I17) -> f2(I12, I13, I14, I15, I16, I17) 
50.07/49.38	  f2(I18, I19, I20, I21, I22, I23) -> f6(rnd1, -1 * I19, -1 * (-1 * I19) + I20, I21, I22, I23) [rnd1 = I18 - -1 * I19 /\ 1 + I19 <= 0]
50.07/49.38	  f5(I24, I25, I26, I27, I28, I29) -> f2(I24, I25, I26, I27, I28, I29) 
50.07/49.38	  f2(I30, I31, I32, I33, I34, I35) -> f5(I30, rnd2, -1 * I32, -1 * (-1 * I32) + I33, I34, I35) [rnd2 = I31 - -1 * I32 /\ 1 + I32 <= 0]
50.07/49.38	  f4(I36, I37, I38, I39, I40, I41) -> f2(I36, I37, I38, I39, I40, I41) 
50.07/49.38	  f2(I42, I43, I44, I45, I46, I47) -> f4(I42, I43, rnd3, -1 * I45, -1 * (-1 * I45) + I46, I47) [rnd3 = I44 - -1 * I45 /\ 1 + I45 <= 0]
50.07/49.38	  f3(I48, I49, I50, I51, I52, I53) -> f2(I48, I49, I50, I51, I52, I53) 
50.07/49.38	  f2(I54, I55, I56, I57, I58, I59) -> f3(I60, I55, I56, rnd4, -1 * I58, I59) [I60 = I54 - -1 * I58 /\ rnd4 = I57 - -1 * I58 /\ 1 + I58 <= 0]
50.07/49.38	  f1(I61, I62, I63, I64, I65, I66) -> f2(I67, I68, I69, I70, rnd5, rnd6) [rnd6 = I67 + I68 + I69 + I70 + rnd5 /\ 1 <= I67 + I68 + I69 + I70 + rnd5 /\ rnd5 = rnd5 /\ I70 = I70 /\ I69 = I69 /\ I68 = I68 /\ I67 = I67]
50.07/49.38	
50.07/49.38	The dependency graph for this problem is:
50.07/49.38	  0 -> 11
50.07/49.38	  1 -> 2, 4, 6, 8, 10
50.07/49.38	  2 -> 1
50.07/49.38	  3 -> 2, 4, 6, 8, 10
50.07/49.38	  4 -> 3
50.07/49.38	  5 -> 2, 4, 6, 8, 10
50.07/49.38	  6 -> 5
50.07/49.38	  7 -> 2, 4, 6, 8, 10
50.07/49.38	  8 -> 7
50.07/49.38	  9 -> 2, 4, 6, 8, 10
50.07/49.38	  10 -> 9
50.07/49.38	  11 -> 2, 4, 6, 8, 10
50.07/49.38	Where:
50.07/49.38	  0) f8#(x1, x2, x3, x4, x5, x6) -> f1#(x1, x2, x3, x4, x5, x6) 
50.07/49.38	  1) f7#(I0, I1, I2, I3, I4, I5) -> f2#(I0, I1, I2, I3, I4, I5) 
50.07/49.38	  2) f2#(I6, I7, I8, I9, I10, I11) -> f7#(-1 * I6, -1 * (-1 * I6) + I7, I8, I9, -1 * (-1 * I6) + I10, I11) [1 + I6 <= 0]
50.07/49.38	  3) f6#(I12, I13, I14, I15, I16, I17) -> f2#(I12, I13, I14, I15, I16, I17) 
50.07/49.38	  4) f2#(I18, I19, I20, I21, I22, I23) -> f6#(rnd1, -1 * I19, -1 * (-1 * I19) + I20, I21, I22, I23) [rnd1 = I18 - -1 * I19 /\ 1 + I19 <= 0]
50.07/49.38	  5) f5#(I24, I25, I26, I27, I28, I29) -> f2#(I24, I25, I26, I27, I28, I29) 
50.07/49.38	  6) f2#(I30, I31, I32, I33, I34, I35) -> f5#(I30, rnd2, -1 * I32, -1 * (-1 * I32) + I33, I34, I35) [rnd2 = I31 - -1 * I32 /\ 1 + I32 <= 0]
50.07/49.38	  7) f4#(I36, I37, I38, I39, I40, I41) -> f2#(I36, I37, I38, I39, I40, I41) 
50.07/49.38	  8) f2#(I42, I43, I44, I45, I46, I47) -> f4#(I42, I43, rnd3, -1 * I45, -1 * (-1 * I45) + I46, I47) [rnd3 = I44 - -1 * I45 /\ 1 + I45 <= 0]
50.07/49.38	  9) f3#(I48, I49, I50, I51, I52, I53) -> f2#(I48, I49, I50, I51, I52, I53) 
50.07/49.38	  10) f2#(I54, I55, I56, I57, I58, I59) -> f3#(I60, I55, I56, rnd4, -1 * I58, I59) [I60 = I54 - -1 * I58 /\ rnd4 = I57 - -1 * I58 /\ 1 + I58 <= 0]
50.07/49.38	  11) f1#(I61, I62, I63, I64, I65, I66) -> f2#(I67, I68, I69, I70, rnd5, rnd6) [rnd6 = I67 + I68 + I69 + I70 + rnd5 /\ 1 <= I67 + I68 + I69 + I70 + rnd5 /\ rnd5 = rnd5 /\ I70 = I70 /\ I69 = I69 /\ I68 = I68 /\ I67 = I67]
50.07/49.38	
50.07/49.38	We have the following SCCs.
50.07/49.38	  { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 }
50.07/49.38	
50.07/49.38	DP problem for innermost termination.
50.07/49.38	P =
50.07/49.38	  f7#(I0, I1, I2, I3, I4, I5) -> f2#(I0, I1, I2, I3, I4, I5) 
50.07/49.38	  f2#(I6, I7, I8, I9, I10, I11) -> f7#(-1 * I6, -1 * (-1 * I6) + I7, I8, I9, -1 * (-1 * I6) + I10, I11) [1 + I6 <= 0]
50.07/49.38	  f6#(I12, I13, I14, I15, I16, I17) -> f2#(I12, I13, I14, I15, I16, I17) 
50.07/49.38	  f2#(I18, I19, I20, I21, I22, I23) -> f6#(rnd1, -1 * I19, -1 * (-1 * I19) + I20, I21, I22, I23) [rnd1 = I18 - -1 * I19 /\ 1 + I19 <= 0]
50.07/49.38	  f5#(I24, I25, I26, I27, I28, I29) -> f2#(I24, I25, I26, I27, I28, I29) 
50.07/49.38	  f2#(I30, I31, I32, I33, I34, I35) -> f5#(I30, rnd2, -1 * I32, -1 * (-1 * I32) + I33, I34, I35) [rnd2 = I31 - -1 * I32 /\ 1 + I32 <= 0]
50.07/49.38	  f4#(I36, I37, I38, I39, I40, I41) -> f2#(I36, I37, I38, I39, I40, I41) 
50.07/49.38	  f2#(I42, I43, I44, I45, I46, I47) -> f4#(I42, I43, rnd3, -1 * I45, -1 * (-1 * I45) + I46, I47) [rnd3 = I44 - -1 * I45 /\ 1 + I45 <= 0]
50.07/49.38	  f3#(I48, I49, I50, I51, I52, I53) -> f2#(I48, I49, I50, I51, I52, I53) 
50.07/49.38	  f2#(I54, I55, I56, I57, I58, I59) -> f3#(I60, I55, I56, rnd4, -1 * I58, I59) [I60 = I54 - -1 * I58 /\ rnd4 = I57 - -1 * I58 /\ 1 + I58 <= 0]
50.07/49.38	R = 
50.07/49.38	  f8(x1, x2, x3, x4, x5, x6) -> f1(x1, x2, x3, x4, x5, x6) 
50.07/49.38	  f7(I0, I1, I2, I3, I4, I5) -> f2(I0, I1, I2, I3, I4, I5) 
50.07/49.38	  f2(I6, I7, I8, I9, I10, I11) -> f7(-1 * I6, -1 * (-1 * I6) + I7, I8, I9, -1 * (-1 * I6) + I10, I11) [1 + I6 <= 0]
50.07/49.38	  f6(I12, I13, I14, I15, I16, I17) -> f2(I12, I13, I14, I15, I16, I17) 
50.07/49.38	  f2(I18, I19, I20, I21, I22, I23) -> f6(rnd1, -1 * I19, -1 * (-1 * I19) + I20, I21, I22, I23) [rnd1 = I18 - -1 * I19 /\ 1 + I19 <= 0]
50.07/49.38	  f5(I24, I25, I26, I27, I28, I29) -> f2(I24, I25, I26, I27, I28, I29) 
50.07/49.38	  f2(I30, I31, I32, I33, I34, I35) -> f5(I30, rnd2, -1 * I32, -1 * (-1 * I32) + I33, I34, I35) [rnd2 = I31 - -1 * I32 /\ 1 + I32 <= 0]
50.07/49.38	  f4(I36, I37, I38, I39, I40, I41) -> f2(I36, I37, I38, I39, I40, I41) 
50.07/49.38	  f2(I42, I43, I44, I45, I46, I47) -> f4(I42, I43, rnd3, -1 * I45, -1 * (-1 * I45) + I46, I47) [rnd3 = I44 - -1 * I45 /\ 1 + I45 <= 0]
50.07/49.38	  f3(I48, I49, I50, I51, I52, I53) -> f2(I48, I49, I50, I51, I52, I53) 
50.07/49.38	  f2(I54, I55, I56, I57, I58, I59) -> f3(I60, I55, I56, rnd4, -1 * I58, I59) [I60 = I54 - -1 * I58 /\ rnd4 = I57 - -1 * I58 /\ 1 + I58 <= 0]
50.07/49.38	  f1(I61, I62, I63, I64, I65, I66) -> f2(I67, I68, I69, I70, rnd5, rnd6) [rnd6 = I67 + I68 + I69 + I70 + rnd5 /\ 1 <= I67 + I68 + I69 + I70 + rnd5 /\ rnd5 = rnd5 /\ I70 = I70 /\ I69 = I69 /\ I68 = I68 /\ I67 = I67]
50.07/49.38	
50.07/52.36	EOF