25.99/25.66 MAYBE 25.99/25.66 25.99/25.66 DP problem for innermost termination. 25.99/25.66 P = 25.99/25.66 f13#(x1, x2, x3, x4, x5, x6, x7, x8, x9) -> f1#(x1, x2, x3, x4, x5, x6, x7, x8, x9) 25.99/25.66 f12#(I0, I1, I2, I3, I4, I5, I6, I7, I8) -> f7#(I0, I1, I2, I3, I4, I5, I6, I7, 1 + I8) [0 <= -1 + I8] 25.99/25.66 f11#(I9, I10, I11, I12, I13, I14, I15, I16, I17) -> f12#(I9, I10, I11, I12, I13, I14, I15, I16, I17) [I12 = I12] 25.99/25.66 f2#(I18, I19, I20, I21, I22, I23, I24, I25, I26) -> f11#(I18, I19, I20, I21, I22, rnd6, rnd7, I25, I26) [rnd7 = rnd6 /\ rnd6 = rnd6] 25.99/25.66 f10#(I38, I39, I40, I41, I42, I43, I44, I45, I46) -> f7#(I38, I39, I40, I41, I42, I43, I44, I45, I46) 25.99/25.66 f9#(I47, I48, I49, I50, I51, I52, I53, I54, I55) -> f10#(I47, I48, I49, I50, I51, I52, I53, I54, 1 + I55) [0 <= -1 + I55] 25.99/25.66 f8#(I56, I57, I58, I59, I60, I61, I62, I63, I64) -> f9#(I56, I57, I58, I59, I60, I61, I62, I63, I64) [I58 = I58] 25.99/25.66 f7#(I65, I66, I67, I68, I69, I70, I71, I72, I73) -> f8#(I65, I66, I67, I68, I69, I74, I75, I72, I73) [I75 = I74 /\ I74 = I74] 25.99/25.66 f6#(I88, I89, I90, I91, I92, I93, I94, I95, I96) -> f7#(I88, I89, I90, I91, I92, I93, I94, I95, 1 + I96) [0 <= -1 + I96] 25.99/25.66 f5#(I97, I98, I99, I100, I101, I102, I103, I104, I105) -> f6#(I97, I98, I99, I100, I101, I102, I103, I104, I105) [I98 = I98] 25.99/25.66 f3#(I106, I107, I108, I109, I110, I111, I112, I113, I114) -> f5#(I106, I107, I108, I109, I110, I115, I116, I113, I114) [I116 = I115 /\ I115 = I115] 25.99/25.66 f1#(I129, I130, I131, I132, I133, I134, I135, I136, I137) -> f2#(I129, I130, I131, I132, rnd5, I134, I135, rnd8, rnd9) [rnd9 = rnd8 /\ rnd8 = rnd5 /\ rnd5 = rnd5] 25.99/25.66 R = 25.99/25.66 f13(x1, x2, x3, x4, x5, x6, x7, x8, x9) -> f1(x1, x2, x3, x4, x5, x6, x7, x8, x9) 25.99/25.66 f12(I0, I1, I2, I3, I4, I5, I6, I7, I8) -> f7(I0, I1, I2, I3, I4, I5, I6, I7, 1 + I8) [0 <= -1 + I8] 25.99/25.66 f11(I9, I10, I11, I12, I13, I14, I15, I16, I17) -> f12(I9, I10, I11, I12, I13, I14, I15, I16, I17) [I12 = I12] 25.99/25.66 f2(I18, I19, I20, I21, I22, I23, I24, I25, I26) -> f11(I18, I19, I20, I21, I22, rnd6, rnd7, I25, I26) [rnd7 = rnd6 /\ rnd6 = rnd6] 25.99/25.66 f2(I27, I28, I29, I30, I31, I32, I33, I34, I35) -> f4(rnd1, I28, I29, I30, I31, I36, I37, I34, I35) [rnd1 = rnd1 /\ 0 <= I37 /\ I37 <= 0 /\ I37 = I36 /\ I36 = I36] 25.99/25.66 f10(I38, I39, I40, I41, I42, I43, I44, I45, I46) -> f7(I38, I39, I40, I41, I42, I43, I44, I45, I46) 25.99/25.66 f9(I47, I48, I49, I50, I51, I52, I53, I54, I55) -> f10(I47, I48, I49, I50, I51, I52, I53, I54, 1 + I55) [0 <= -1 + I55] 25.99/25.66 f8(I56, I57, I58, I59, I60, I61, I62, I63, I64) -> f9(I56, I57, I58, I59, I60, I61, I62, I63, I64) [I58 = I58] 25.99/25.66 f7(I65, I66, I67, I68, I69, I70, I71, I72, I73) -> f8(I65, I66, I67, I68, I69, I74, I75, I72, I73) [I75 = I74 /\ I74 = I74] 25.99/25.66 f7(I76, I77, I78, I79, I80, I81, I82, I83, I84) -> f4(I85, I77, I78, I79, I80, I86, I87, I83, I84) [I85 = I85 /\ 0 <= I87 /\ I87 <= 0 /\ I87 = I86 /\ I86 = I86] 25.99/25.66 f6(I88, I89, I90, I91, I92, I93, I94, I95, I96) -> f7(I88, I89, I90, I91, I92, I93, I94, I95, 1 + I96) [0 <= -1 + I96] 25.99/25.66 f5(I97, I98, I99, I100, I101, I102, I103, I104, I105) -> f6(I97, I98, I99, I100, I101, I102, I103, I104, I105) [I98 = I98] 25.99/25.66 f3(I106, I107, I108, I109, I110, I111, I112, I113, I114) -> f5(I106, I107, I108, I109, I110, I115, I116, I113, I114) [I116 = I115 /\ I115 = I115] 25.99/25.66 f3(I117, I118, I119, I120, I121, I122, I123, I124, I125) -> f4(I126, I118, I119, I120, I121, I127, I128, I124, I125) [I126 = I126 /\ 0 <= I128 /\ I128 <= 0 /\ I128 = I127 /\ I127 = I127] 25.99/25.66 f1(I129, I130, I131, I132, I133, I134, I135, I136, I137) -> f2(I129, I130, I131, I132, rnd5, I134, I135, rnd8, rnd9) [rnd9 = rnd8 /\ rnd8 = rnd5 /\ rnd5 = rnd5] 25.99/25.66 25.99/25.66 The dependency graph for this problem is: 25.99/25.66 0 -> 11 25.99/25.66 1 -> 7 25.99/25.66 2 -> 1 25.99/25.66 3 -> 2 25.99/25.66 4 -> 7 25.99/25.66 5 -> 4 25.99/25.66 6 -> 5 25.99/25.66 7 -> 6 25.99/25.66 8 -> 7 25.99/25.66 9 -> 8 25.99/25.66 10 -> 9 25.99/25.66 11 -> 3 25.99/25.66 Where: 25.99/25.66 0) f13#(x1, x2, x3, x4, x5, x6, x7, x8, x9) -> f1#(x1, x2, x3, x4, x5, x6, x7, x8, x9) 25.99/25.66 1) f12#(I0, I1, I2, I3, I4, I5, I6, I7, I8) -> f7#(I0, I1, I2, I3, I4, I5, I6, I7, 1 + I8) [0 <= -1 + I8] 25.99/25.66 2) f11#(I9, I10, I11, I12, I13, I14, I15, I16, I17) -> f12#(I9, I10, I11, I12, I13, I14, I15, I16, I17) [I12 = I12] 25.99/25.66 3) f2#(I18, I19, I20, I21, I22, I23, I24, I25, I26) -> f11#(I18, I19, I20, I21, I22, rnd6, rnd7, I25, I26) [rnd7 = rnd6 /\ rnd6 = rnd6] 25.99/25.66 4) f10#(I38, I39, I40, I41, I42, I43, I44, I45, I46) -> f7#(I38, I39, I40, I41, I42, I43, I44, I45, I46) 25.99/25.66 5) f9#(I47, I48, I49, I50, I51, I52, I53, I54, I55) -> f10#(I47, I48, I49, I50, I51, I52, I53, I54, 1 + I55) [0 <= -1 + I55] 25.99/25.66 6) f8#(I56, I57, I58, I59, I60, I61, I62, I63, I64) -> f9#(I56, I57, I58, I59, I60, I61, I62, I63, I64) [I58 = I58] 25.99/25.66 7) f7#(I65, I66, I67, I68, I69, I70, I71, I72, I73) -> f8#(I65, I66, I67, I68, I69, I74, I75, I72, I73) [I75 = I74 /\ I74 = I74] 25.99/25.66 8) f6#(I88, I89, I90, I91, I92, I93, I94, I95, I96) -> f7#(I88, I89, I90, I91, I92, I93, I94, I95, 1 + I96) [0 <= -1 + I96] 25.99/25.66 9) f5#(I97, I98, I99, I100, I101, I102, I103, I104, I105) -> f6#(I97, I98, I99, I100, I101, I102, I103, I104, I105) [I98 = I98] 25.99/25.66 10) f3#(I106, I107, I108, I109, I110, I111, I112, I113, I114) -> f5#(I106, I107, I108, I109, I110, I115, I116, I113, I114) [I116 = I115 /\ I115 = I115] 25.99/25.66 11) f1#(I129, I130, I131, I132, I133, I134, I135, I136, I137) -> f2#(I129, I130, I131, I132, rnd5, I134, I135, rnd8, rnd9) [rnd9 = rnd8 /\ rnd8 = rnd5 /\ rnd5 = rnd5] 25.99/25.66 25.99/25.66 We have the following SCCs. 25.99/25.66 { 4, 5, 6, 7 } 25.99/25.66 25.99/25.66 DP problem for innermost termination. 25.99/25.66 P = 25.99/25.66 f10#(I38, I39, I40, I41, I42, I43, I44, I45, I46) -> f7#(I38, I39, I40, I41, I42, I43, I44, I45, I46) 25.99/25.66 f9#(I47, I48, I49, I50, I51, I52, I53, I54, I55) -> f10#(I47, I48, I49, I50, I51, I52, I53, I54, 1 + I55) [0 <= -1 + I55] 25.99/25.66 f8#(I56, I57, I58, I59, I60, I61, I62, I63, I64) -> f9#(I56, I57, I58, I59, I60, I61, I62, I63, I64) [I58 = I58] 25.99/25.66 f7#(I65, I66, I67, I68, I69, I70, I71, I72, I73) -> f8#(I65, I66, I67, I68, I69, I74, I75, I72, I73) [I75 = I74 /\ I74 = I74] 25.99/25.66 R = 25.99/25.66 f13(x1, x2, x3, x4, x5, x6, x7, x8, x9) -> f1(x1, x2, x3, x4, x5, x6, x7, x8, x9) 25.99/25.66 f12(I0, I1, I2, I3, I4, I5, I6, I7, I8) -> f7(I0, I1, I2, I3, I4, I5, I6, I7, 1 + I8) [0 <= -1 + I8] 25.99/25.66 f11(I9, I10, I11, I12, I13, I14, I15, I16, I17) -> f12(I9, I10, I11, I12, I13, I14, I15, I16, I17) [I12 = I12] 25.99/25.66 f2(I18, I19, I20, I21, I22, I23, I24, I25, I26) -> f11(I18, I19, I20, I21, I22, rnd6, rnd7, I25, I26) [rnd7 = rnd6 /\ rnd6 = rnd6] 25.99/25.66 f2(I27, I28, I29, I30, I31, I32, I33, I34, I35) -> f4(rnd1, I28, I29, I30, I31, I36, I37, I34, I35) [rnd1 = rnd1 /\ 0 <= I37 /\ I37 <= 0 /\ I37 = I36 /\ I36 = I36] 25.99/25.66 f10(I38, I39, I40, I41, I42, I43, I44, I45, I46) -> f7(I38, I39, I40, I41, I42, I43, I44, I45, I46) 25.99/25.66 f9(I47, I48, I49, I50, I51, I52, I53, I54, I55) -> f10(I47, I48, I49, I50, I51, I52, I53, I54, 1 + I55) [0 <= -1 + I55] 25.99/25.66 f8(I56, I57, I58, I59, I60, I61, I62, I63, I64) -> f9(I56, I57, I58, I59, I60, I61, I62, I63, I64) [I58 = I58] 25.99/25.66 f7(I65, I66, I67, I68, I69, I70, I71, I72, I73) -> f8(I65, I66, I67, I68, I69, I74, I75, I72, I73) [I75 = I74 /\ I74 = I74] 25.99/25.66 f7(I76, I77, I78, I79, I80, I81, I82, I83, I84) -> f4(I85, I77, I78, I79, I80, I86, I87, I83, I84) [I85 = I85 /\ 0 <= I87 /\ I87 <= 0 /\ I87 = I86 /\ I86 = I86] 25.99/25.66 f6(I88, I89, I90, I91, I92, I93, I94, I95, I96) -> f7(I88, I89, I90, I91, I92, I93, I94, I95, 1 + I96) [0 <= -1 + I96] 25.99/25.66 f5(I97, I98, I99, I100, I101, I102, I103, I104, I105) -> f6(I97, I98, I99, I100, I101, I102, I103, I104, I105) [I98 = I98] 25.99/25.66 f3(I106, I107, I108, I109, I110, I111, I112, I113, I114) -> f5(I106, I107, I108, I109, I110, I115, I116, I113, I114) [I116 = I115 /\ I115 = I115] 25.99/25.66 f3(I117, I118, I119, I120, I121, I122, I123, I124, I125) -> f4(I126, I118, I119, I120, I121, I127, I128, I124, I125) [I126 = I126 /\ 0 <= I128 /\ I128 <= 0 /\ I128 = I127 /\ I127 = I127] 25.99/25.66 f1(I129, I130, I131, I132, I133, I134, I135, I136, I137) -> f2(I129, I130, I131, I132, rnd5, I134, I135, rnd8, rnd9) [rnd9 = rnd8 /\ rnd8 = rnd5 /\ rnd5 = rnd5] 25.99/25.66 25.99/28.64 EOF