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