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