41.14/40.89 MAYBE 41.14/40.89 41.14/40.89 DP problem for innermost termination. 41.14/40.89 P = 41.14/40.89 f12#(x1, x2, x3, x4, x5, x6, x7) -> f11#(x1, x2, x3, x4, x5, x6, x7) 41.14/40.89 f11#(I0, I1, I2, I3, I4, I5, I6) -> f3#(I0, I1, I2, I3, I4, I5, I6) 41.14/40.89 f11#(I7, I8, I9, I10, I11, I12, I13) -> f5#(I7, I8, I9, I10, I11, I12, I13) 41.14/40.89 f11#(I14, I15, I16, I17, I18, I19, I20) -> f10#(I14, I15, I16, I17, I18, I19, I20) 41.14/40.89 f11#(I21, I22, I23, I24, I25, I26, I27) -> f9#(I21, I22, I23, I24, I25, I26, I27) 41.14/40.89 f11#(I28, I29, I30, I31, I32, I33, I34) -> f8#(I28, I29, I30, I31, I32, I33, I34) 41.14/40.89 f11#(I35, I36, I37, I38, I39, I40, I41) -> f7#(I35, I36, I37, I38, I39, I40, I41) 41.14/40.89 f11#(I49, I50, I51, I52, I53, I54, I55) -> f6#(I49, I50, I51, I52, I53, I54, I55) 41.14/40.89 f11#(I56, I57, I58, I59, I60, I61, I62) -> f4#(I56, I57, I58, I59, I60, I61, I62) 41.14/40.89 f11#(I63, I64, I65, I66, I67, I68, I69) -> f1#(I63, I64, I65, I66, I67, I68, I69) 41.14/40.89 f3#(I70, I71, I72, I73, I74, I75, I76) -> f10#(I75, I76, I72, I73, I74, I75, I76) 41.14/40.89 f5#(I77, I78, I79, I80, I81, I82, I83) -> f3#(I82, I83, rnd3, I80, I81, I82, rnd7) [rnd7 = rnd3 /\ 1 + I83 - 2 * rnd3 <= 2 /\ 0 <= I83 - 2 * rnd3 /\ rnd3 = rnd3] 41.14/40.89 f10#(I117, I118, I119, I120, I121, I122, I123) -> f9#(I122, I123, I119, I120, I121, I122, I123) [I123 <= 0] 41.14/40.89 f10#(I124, I125, I126, I127, I128, I129, I130) -> f8#(I129, I130, I126, I127, I128, I129, I130) [1 <= I130] 41.14/40.89 f8#(I142, I143, I144, I145, I146, I147, I148) -> f9#(I147, I148, I144, I145, I146, I147, I148) [1 <= I148 /\ I148 <= 1] 41.14/40.89 f8#(I149, I150, I151, I152, I153, I154, I155) -> f7#(I154, I155, I151, I152, I153, I154, I155) [1 + I155 <= 1] 41.14/40.89 f8#(I156, I157, I158, I159, I160, I161, I162) -> f7#(I161, I162, I158, I159, I160, I161, I162) [2 <= I162] 41.14/40.89 f7#(I163, I164, I165, I166, I167, I168, I169) -> f6#(I168, I169, I165, I166, I167, I168, I169) [2 <= I168 /\ I168 <= 2] 41.14/40.89 f7#(I170, I171, I172, I173, I174, I175, I176) -> f4#(I175, I176, I172, I173, I174, I175, I176) [1 + I175 <= 2] 41.14/40.89 f7#(I177, I178, I179, I180, I181, I182, I183) -> f4#(I182, I183, I179, I180, I181, I182, I183) [3 <= I182] 41.14/40.89 f4#(I195, I196, I197, I198, I199, I200, I201) -> f1#(I200, I201, I202, I198, I199, I200, I201) [1 <= I202 /\ I202 <= 1 /\ I202 = I202] 41.14/40.89 f4#(I203, I204, I205, I206, I207, I208, I209) -> f5#(I208, I209, I210, I206, I207, I208, I209) [1 + I210 <= 1 /\ I210 = I210] 41.14/40.89 f4#(I211, I212, I213, I214, I215, I216, I217) -> f5#(I216, I217, I218, I214, I215, I216, I217) [2 <= I218 /\ I218 = I218] 41.14/40.89 f1#(I219, I220, I221, I222, I223, I224, I225) -> f3#(I224, I225, I221, I222, I223, I224, -1 + I225) 41.14/40.89 R = 41.14/40.89 f12(x1, x2, x3, x4, x5, x6, x7) -> f11(x1, x2, x3, x4, x5, x6, x7) 41.14/40.89 f11(I0, I1, I2, I3, I4, I5, I6) -> f3(I0, I1, I2, I3, I4, I5, I6) 41.14/40.89 f11(I7, I8, I9, I10, I11, I12, I13) -> f5(I7, I8, I9, I10, I11, I12, I13) 41.14/40.89 f11(I14, I15, I16, I17, I18, I19, I20) -> f10(I14, I15, I16, I17, I18, I19, I20) 41.14/40.89 f11(I21, I22, I23, I24, I25, I26, I27) -> f9(I21, I22, I23, I24, I25, I26, I27) 41.14/40.89 f11(I28, I29, I30, I31, I32, I33, I34) -> f8(I28, I29, I30, I31, I32, I33, I34) 41.14/40.89 f11(I35, I36, I37, I38, I39, I40, I41) -> f7(I35, I36, I37, I38, I39, I40, I41) 41.14/40.89 f11(I42, I43, I44, I45, I46, I47, I48) -> f2(I42, I43, I44, I45, I46, I47, I48) 41.14/40.89 f11(I49, I50, I51, I52, I53, I54, I55) -> f6(I49, I50, I51, I52, I53, I54, I55) 41.14/40.89 f11(I56, I57, I58, I59, I60, I61, I62) -> f4(I56, I57, I58, I59, I60, I61, I62) 41.14/40.89 f11(I63, I64, I65, I66, I67, I68, I69) -> f1(I63, I64, I65, I66, I67, I68, I69) 41.14/40.89 f3(I70, I71, I72, I73, I74, I75, I76) -> f10(I75, I76, I72, I73, I74, I75, I76) 41.14/40.89 f5(I77, I78, I79, I80, I81, I82, I83) -> f3(I82, I83, rnd3, I80, I81, I82, rnd7) [rnd7 = rnd3 /\ 1 + I83 - 2 * rnd3 <= 2 /\ 0 <= I83 - 2 * rnd3 /\ rnd3 = rnd3] 41.14/40.89 f5(I84, I85, I86, I87, I88, I89, I90) -> f2(I89, I90, I91, rnd4, rnd5, rnd6, I92) [I92 = rnd4 /\ rnd6 = I91 /\ 1 + I90 - 2 * rnd5 <= 2 /\ 0 <= I90 - 2 * rnd5 /\ rnd5 = rnd5 /\ rnd4 = rnd4 /\ I91 = I91] 41.14/40.89 f5(I93, I94, I95, I96, I97, I98, I99) -> f2(I98, I99, I100, I101, I102, I103, I104) [I104 = I101 /\ I103 = I100 /\ 1 + I99 - 2 * I102 <= 0 /\ I102 = I102 /\ I101 = I101 /\ I100 = I100] 41.14/40.89 f5(I105, I106, I107, I108, I109, I110, I111) -> f2(I110, I111, I112, I113, I114, I115, I116) [I116 = I113 /\ I115 = I112 /\ 2 <= I111 - 2 * I114 /\ I114 = I114 /\ I113 = I113 /\ I112 = I112] 41.14/40.89 f10(I117, I118, I119, I120, I121, I122, I123) -> f9(I122, I123, I119, I120, I121, I122, I123) [I123 <= 0] 41.14/40.89 f10(I124, I125, I126, I127, I128, I129, I130) -> f8(I129, I130, I126, I127, I128, I129, I130) [1 <= I130] 41.14/40.89 f9(I131, I132, I133, I134, I135, I136, I137) -> f2(I136, I137, I138, I139, I135, I140, I141) [I141 = I139 /\ I140 = I138 /\ I139 = I139 /\ I138 = I138] 41.14/40.89 f8(I142, I143, I144, I145, I146, I147, I148) -> f9(I147, I148, I144, I145, I146, I147, I148) [1 <= I148 /\ I148 <= 1] 41.14/40.89 f8(I149, I150, I151, I152, I153, I154, I155) -> f7(I154, I155, I151, I152, I153, I154, I155) [1 + I155 <= 1] 41.14/40.89 f8(I156, I157, I158, I159, I160, I161, I162) -> f7(I161, I162, I158, I159, I160, I161, I162) [2 <= I162] 41.14/40.89 f7(I163, I164, I165, I166, I167, I168, I169) -> f6(I168, I169, I165, I166, I167, I168, I169) [2 <= I168 /\ I168 <= 2] 41.14/40.89 f7(I170, I171, I172, I173, I174, I175, I176) -> f4(I175, I176, I172, I173, I174, I175, I176) [1 + I175 <= 2] 41.14/40.89 f7(I177, I178, I179, I180, I181, I182, I183) -> f4(I182, I183, I179, I180, I181, I182, I183) [3 <= I182] 41.14/40.89 f6(I184, I185, I186, I187, I188, I189, I190) -> f2(I189, I190, I191, I192, I188, I193, I194) [I194 = I192 /\ I193 = I191 /\ I192 = I192 /\ I191 = I191] 41.14/40.89 f4(I195, I196, I197, I198, I199, I200, I201) -> f1(I200, I201, I202, I198, I199, I200, I201) [1 <= I202 /\ I202 <= 1 /\ I202 = I202] 41.14/40.89 f4(I203, I204, I205, I206, I207, I208, I209) -> f5(I208, I209, I210, I206, I207, I208, I209) [1 + I210 <= 1 /\ I210 = I210] 41.14/40.89 f4(I211, I212, I213, I214, I215, I216, I217) -> f5(I216, I217, I218, I214, I215, I216, I217) [2 <= I218 /\ I218 = I218] 41.14/40.89 f1(I219, I220, I221, I222, I223, I224, I225) -> f3(I224, I225, I221, I222, I223, I224, -1 + I225) 41.14/40.89 f1(I226, I227, I228, I229, I230, I231, I232) -> f2(I231, I232, I233, I234, I230, I235, I236) [I236 = I234 /\ I235 = I233 /\ I234 = I234 /\ I233 = I233] 41.14/40.89 41.14/40.89 The dependency graph for this problem is: 41.14/40.89 0 -> 1, 2, 3, 4, 5, 6, 7, 8, 9 41.14/40.89 1 -> 10 41.14/40.89 2 -> 11 41.14/40.89 3 -> 12, 13 41.14/40.89 4 -> 41.14/40.89 5 -> 14, 15, 16 41.14/40.89 6 -> 17, 18, 19 41.14/40.89 7 -> 41.14/40.89 8 -> 20, 21, 22 41.14/40.89 9 -> 23 41.14/40.89 10 -> 12, 13 41.14/40.89 11 -> 10 41.14/40.89 12 -> 41.14/40.89 13 -> 14, 16 41.14/40.89 14 -> 41.14/40.89 15 -> 17, 18, 19 41.14/40.89 16 -> 17, 18, 19 41.14/40.89 17 -> 41.14/40.89 18 -> 20, 21, 22 41.14/40.89 19 -> 20, 21, 22 41.14/40.89 20 -> 23 41.14/40.89 21 -> 11 41.14/40.89 22 -> 11 41.14/40.89 23 -> 10 41.14/40.89 Where: 41.14/40.89 0) f12#(x1, x2, x3, x4, x5, x6, x7) -> f11#(x1, x2, x3, x4, x5, x6, x7) 41.14/40.89 1) f11#(I0, I1, I2, I3, I4, I5, I6) -> f3#(I0, I1, I2, I3, I4, I5, I6) 41.14/40.89 2) f11#(I7, I8, I9, I10, I11, I12, I13) -> f5#(I7, I8, I9, I10, I11, I12, I13) 41.14/40.89 3) f11#(I14, I15, I16, I17, I18, I19, I20) -> f10#(I14, I15, I16, I17, I18, I19, I20) 41.14/40.89 4) f11#(I21, I22, I23, I24, I25, I26, I27) -> f9#(I21, I22, I23, I24, I25, I26, I27) 41.14/40.89 5) f11#(I28, I29, I30, I31, I32, I33, I34) -> f8#(I28, I29, I30, I31, I32, I33, I34) 41.14/40.89 6) f11#(I35, I36, I37, I38, I39, I40, I41) -> f7#(I35, I36, I37, I38, I39, I40, I41) 41.14/40.89 7) f11#(I49, I50, I51, I52, I53, I54, I55) -> f6#(I49, I50, I51, I52, I53, I54, I55) 41.14/40.89 8) f11#(I56, I57, I58, I59, I60, I61, I62) -> f4#(I56, I57, I58, I59, I60, I61, I62) 41.14/40.89 9) f11#(I63, I64, I65, I66, I67, I68, I69) -> f1#(I63, I64, I65, I66, I67, I68, I69) 41.14/40.89 10) f3#(I70, I71, I72, I73, I74, I75, I76) -> f10#(I75, I76, I72, I73, I74, I75, I76) 41.14/40.89 11) f5#(I77, I78, I79, I80, I81, I82, I83) -> f3#(I82, I83, rnd3, I80, I81, I82, rnd7) [rnd7 = rnd3 /\ 1 + I83 - 2 * rnd3 <= 2 /\ 0 <= I83 - 2 * rnd3 /\ rnd3 = rnd3] 41.14/40.89 12) f10#(I117, I118, I119, I120, I121, I122, I123) -> f9#(I122, I123, I119, I120, I121, I122, I123) [I123 <= 0] 41.14/40.89 13) f10#(I124, I125, I126, I127, I128, I129, I130) -> f8#(I129, I130, I126, I127, I128, I129, I130) [1 <= I130] 41.14/40.89 14) f8#(I142, I143, I144, I145, I146, I147, I148) -> f9#(I147, I148, I144, I145, I146, I147, I148) [1 <= I148 /\ I148 <= 1] 41.14/40.89 15) f8#(I149, I150, I151, I152, I153, I154, I155) -> f7#(I154, I155, I151, I152, I153, I154, I155) [1 + I155 <= 1] 41.14/40.89 16) f8#(I156, I157, I158, I159, I160, I161, I162) -> f7#(I161, I162, I158, I159, I160, I161, I162) [2 <= I162] 41.14/40.89 17) f7#(I163, I164, I165, I166, I167, I168, I169) -> f6#(I168, I169, I165, I166, I167, I168, I169) [2 <= I168 /\ I168 <= 2] 41.14/40.89 18) f7#(I170, I171, I172, I173, I174, I175, I176) -> f4#(I175, I176, I172, I173, I174, I175, I176) [1 + I175 <= 2] 41.14/40.89 19) f7#(I177, I178, I179, I180, I181, I182, I183) -> f4#(I182, I183, I179, I180, I181, I182, I183) [3 <= I182] 41.14/40.89 20) f4#(I195, I196, I197, I198, I199, I200, I201) -> f1#(I200, I201, I202, I198, I199, I200, I201) [1 <= I202 /\ I202 <= 1 /\ I202 = I202] 41.14/40.89 21) f4#(I203, I204, I205, I206, I207, I208, I209) -> f5#(I208, I209, I210, I206, I207, I208, I209) [1 + I210 <= 1 /\ I210 = I210] 41.14/40.89 22) f4#(I211, I212, I213, I214, I215, I216, I217) -> f5#(I216, I217, I218, I214, I215, I216, I217) [2 <= I218 /\ I218 = I218] 41.14/40.89 23) f1#(I219, I220, I221, I222, I223, I224, I225) -> f3#(I224, I225, I221, I222, I223, I224, -1 + I225) 41.14/40.89 41.14/40.89 We have the following SCCs. 41.14/40.89 { 10, 11, 13, 16, 18, 19, 20, 21, 22, 23 } 41.14/40.89 41.14/40.89 DP problem for innermost termination. 41.14/40.89 P = 41.14/40.89 f3#(I70, I71, I72, I73, I74, I75, I76) -> f10#(I75, I76, I72, I73, I74, I75, I76) 41.14/40.89 f5#(I77, I78, I79, I80, I81, I82, I83) -> f3#(I82, I83, rnd3, I80, I81, I82, rnd7) [rnd7 = rnd3 /\ 1 + I83 - 2 * rnd3 <= 2 /\ 0 <= I83 - 2 * rnd3 /\ rnd3 = rnd3] 41.14/40.89 f10#(I124, I125, I126, I127, I128, I129, I130) -> f8#(I129, I130, I126, I127, I128, I129, I130) [1 <= I130] 41.14/40.89 f8#(I156, I157, I158, I159, I160, I161, I162) -> f7#(I161, I162, I158, I159, I160, I161, I162) [2 <= I162] 41.14/40.89 f7#(I170, I171, I172, I173, I174, I175, I176) -> f4#(I175, I176, I172, I173, I174, I175, I176) [1 + I175 <= 2] 41.14/40.89 f7#(I177, I178, I179, I180, I181, I182, I183) -> f4#(I182, I183, I179, I180, I181, I182, I183) [3 <= I182] 41.14/40.89 f4#(I195, I196, I197, I198, I199, I200, I201) -> f1#(I200, I201, I202, I198, I199, I200, I201) [1 <= I202 /\ I202 <= 1 /\ I202 = I202] 41.14/40.89 f4#(I203, I204, I205, I206, I207, I208, I209) -> f5#(I208, I209, I210, I206, I207, I208, I209) [1 + I210 <= 1 /\ I210 = I210] 41.14/40.89 f4#(I211, I212, I213, I214, I215, I216, I217) -> f5#(I216, I217, I218, I214, I215, I216, I217) [2 <= I218 /\ I218 = I218] 41.14/40.89 f1#(I219, I220, I221, I222, I223, I224, I225) -> f3#(I224, I225, I221, I222, I223, I224, -1 + I225) 41.14/40.89 R = 41.14/40.89 f12(x1, x2, x3, x4, x5, x6, x7) -> f11(x1, x2, x3, x4, x5, x6, x7) 41.14/40.89 f11(I0, I1, I2, I3, I4, I5, I6) -> f3(I0, I1, I2, I3, I4, I5, I6) 41.14/40.89 f11(I7, I8, I9, I10, I11, I12, I13) -> f5(I7, I8, I9, I10, I11, I12, I13) 41.14/40.89 f11(I14, I15, I16, I17, I18, I19, I20) -> f10(I14, I15, I16, I17, I18, I19, I20) 41.14/40.89 f11(I21, I22, I23, I24, I25, I26, I27) -> f9(I21, I22, I23, I24, I25, I26, I27) 41.14/40.89 f11(I28, I29, I30, I31, I32, I33, I34) -> f8(I28, I29, I30, I31, I32, I33, I34) 41.14/40.89 f11(I35, I36, I37, I38, I39, I40, I41) -> f7(I35, I36, I37, I38, I39, I40, I41) 41.14/40.89 f11(I42, I43, I44, I45, I46, I47, I48) -> f2(I42, I43, I44, I45, I46, I47, I48) 41.14/40.89 f11(I49, I50, I51, I52, I53, I54, I55) -> f6(I49, I50, I51, I52, I53, I54, I55) 41.14/40.89 f11(I56, I57, I58, I59, I60, I61, I62) -> f4(I56, I57, I58, I59, I60, I61, I62) 41.14/40.89 f11(I63, I64, I65, I66, I67, I68, I69) -> f1(I63, I64, I65, I66, I67, I68, I69) 41.14/40.89 f3(I70, I71, I72, I73, I74, I75, I76) -> f10(I75, I76, I72, I73, I74, I75, I76) 41.14/40.89 f5(I77, I78, I79, I80, I81, I82, I83) -> f3(I82, I83, rnd3, I80, I81, I82, rnd7) [rnd7 = rnd3 /\ 1 + I83 - 2 * rnd3 <= 2 /\ 0 <= I83 - 2 * rnd3 /\ rnd3 = rnd3] 41.14/40.89 f5(I84, I85, I86, I87, I88, I89, I90) -> f2(I89, I90, I91, rnd4, rnd5, rnd6, I92) [I92 = rnd4 /\ rnd6 = I91 /\ 1 + I90 - 2 * rnd5 <= 2 /\ 0 <= I90 - 2 * rnd5 /\ rnd5 = rnd5 /\ rnd4 = rnd4 /\ I91 = I91] 41.14/40.89 f5(I93, I94, I95, I96, I97, I98, I99) -> f2(I98, I99, I100, I101, I102, I103, I104) [I104 = I101 /\ I103 = I100 /\ 1 + I99 - 2 * I102 <= 0 /\ I102 = I102 /\ I101 = I101 /\ I100 = I100] 41.14/40.89 f5(I105, I106, I107, I108, I109, I110, I111) -> f2(I110, I111, I112, I113, I114, I115, I116) [I116 = I113 /\ I115 = I112 /\ 2 <= I111 - 2 * I114 /\ I114 = I114 /\ I113 = I113 /\ I112 = I112] 41.14/40.89 f10(I117, I118, I119, I120, I121, I122, I123) -> f9(I122, I123, I119, I120, I121, I122, I123) [I123 <= 0] 41.14/40.89 f10(I124, I125, I126, I127, I128, I129, I130) -> f8(I129, I130, I126, I127, I128, I129, I130) [1 <= I130] 41.14/40.89 f9(I131, I132, I133, I134, I135, I136, I137) -> f2(I136, I137, I138, I139, I135, I140, I141) [I141 = I139 /\ I140 = I138 /\ I139 = I139 /\ I138 = I138] 41.14/40.89 f8(I142, I143, I144, I145, I146, I147, I148) -> f9(I147, I148, I144, I145, I146, I147, I148) [1 <= I148 /\ I148 <= 1] 41.14/40.89 f8(I149, I150, I151, I152, I153, I154, I155) -> f7(I154, I155, I151, I152, I153, I154, I155) [1 + I155 <= 1] 41.14/40.89 f8(I156, I157, I158, I159, I160, I161, I162) -> f7(I161, I162, I158, I159, I160, I161, I162) [2 <= I162] 41.14/40.89 f7(I163, I164, I165, I166, I167, I168, I169) -> f6(I168, I169, I165, I166, I167, I168, I169) [2 <= I168 /\ I168 <= 2] 41.14/40.89 f7(I170, I171, I172, I173, I174, I175, I176) -> f4(I175, I176, I172, I173, I174, I175, I176) [1 + I175 <= 2] 41.14/40.89 f7(I177, I178, I179, I180, I181, I182, I183) -> f4(I182, I183, I179, I180, I181, I182, I183) [3 <= I182] 41.14/40.89 f6(I184, I185, I186, I187, I188, I189, I190) -> f2(I189, I190, I191, I192, I188, I193, I194) [I194 = I192 /\ I193 = I191 /\ I192 = I192 /\ I191 = I191] 41.14/40.89 f4(I195, I196, I197, I198, I199, I200, I201) -> f1(I200, I201, I202, I198, I199, I200, I201) [1 <= I202 /\ I202 <= 1 /\ I202 = I202] 41.14/40.89 f4(I203, I204, I205, I206, I207, I208, I209) -> f5(I208, I209, I210, I206, I207, I208, I209) [1 + I210 <= 1 /\ I210 = I210] 41.14/40.89 f4(I211, I212, I213, I214, I215, I216, I217) -> f5(I216, I217, I218, I214, I215, I216, I217) [2 <= I218 /\ I218 = I218] 41.14/40.89 f1(I219, I220, I221, I222, I223, I224, I225) -> f3(I224, I225, I221, I222, I223, I224, -1 + I225) 41.14/40.89 f1(I226, I227, I228, I229, I230, I231, I232) -> f2(I231, I232, I233, I234, I230, I235, I236) [I236 = I234 /\ I235 = I233 /\ I234 = I234 /\ I233 = I233] 41.14/40.89 41.14/43.86 EOF