YES(?,POLY) * Step 1: ArgumentFilter WORST_CASE(?,POLY) + Considered Problem: Rules: 0. f3(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X) -> f1(A,2,Y,C1,Z,A1,B1,D1,E1,F1,Y,L,M,N,O,P,Q,R,S,T,U,V,W,G1) [A >= 2] (1,1) 1. f3(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X) -> f4(D1,0,0,D,E,F,G,H,E1,J,K,L,M,C1,O,B1,Y,Z,A1,F1,U,V,W,X) [0 >= D1 && 0 >= A] (1,1) 2. f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X) -> f10(Y,1 + U,C,D,E,F,G,H,I,J,C,L,M,C,U,0,C,0,C,C,U,V,W,X) [A + -1*B >= 0 (?,1) && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && B >= A && B >= 0 && Z >= Y && Y >= 2 && 0 >= 1 + C] 3. f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X) -> f10(Y,1 + U,C,D,E,F,G,H,I,J,C,L,M,C,U,0,C,0,C,C,U,V,W,X) [A + -1*B >= 0 (?,1) && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && B >= A && B >= 0 && Z >= Y && Y >= 2 && C >= 1] 4. f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X) -> f1(A,1 + B,D,B1,Y,Z,A1,C1,D1,E1,D,F1,B,N,O,P,Q,R,S,T,U,V,W,X) [A + -1*B >= 0 && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && A >= 1 + B && B >= 0] (?,1) 5. f10(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X) -> f10(A1,Z,Y,D,E,F,G,H,I,J,Y,L,M,N,O,0,Y,0,Y,N,-1 + U,B1,-1 + U,X) [O + -1*U >= 0 (?,1) && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && N >= 1 + C1 && U >= 0 && A1 >= 2 && Z >= A1 && C1 >= 1 + Y && P = 0] 6. f10(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X) -> f10(A1,Z,Y,D,E,F,G,H,I,J,Y,L,M,N,O,0,Y,0,Y,N,-1 + U,B1,-1 + U,X) [O + -1*U >= 0 (?,1) && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && N >= 1 + C1 && U >= 0 && A1 >= 2 && Z >= A1 && Y >= 1 + C1 && P = 0] 7. f10(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X) -> f10(A1,Z,Y,D,E,F,G,H,I,J,Y,L,M,N,O,0,Y,0,Y,N,-1 + U,B1,-1 + U,X) [O + -1*U >= 0 (?,1) && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && C1 >= 1 + N && U >= 0 && A1 >= 2 && Z >= A1 && C1 >= 1 + Y && P = 0] 8. f10(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X) -> f10(A1,Z,Y,D,E,F,G,H,I,J,Y,L,M,N,O,0,Y,0,Y,N,-1 + U,B1,-1 + U,X) [O + -1*U >= 0 (?,1) && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && C1 >= 1 + N && U >= 0 && A1 >= 2 && Z >= A1 && Y >= 1 + C1 && P = 0] 9. f10(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X) -> f4(D1,B,C,D,E,F,G,H,E1,J,K,L,M,C1,O,B1,Y,Z,A1,F1,U,V,W,X) [O + -1*U >= 0 (?,1) && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && D1 >= 2 && U >= 0 && P = N] Signature: {(f1,24);(f10,24);(f3,24);(f4,24)} Flow Graph: [0->{2,3,4},1->{},2->{5,6,7,8,9},3->{5,6,7,8,9},4->{2,3,4},5->{5,6,7,8,9},6->{5,6,7,8,9},7->{5,6,7,8,9} ,8->{5,6,7,8,9},9->{}] + Applied Processor: ArgumentFilter [3,4,5,6,7,8,9,10,11,12,16,18,21,22,23] + Details: We remove following argument positions: [3,4,5,6,7,8,9,10,11,12,16,18,21,22,23]. * Step 2: UnsatPaths WORST_CASE(?,POLY) + Considered Problem: Rules: 0. f3(A,B,C,N,O,P,R,T,U) -> f1(A,2,Y,N,O,P,R,T,U) [A >= 2] (1,1) 1. f3(A,B,C,N,O,P,R,T,U) -> f4(D1,0,0,C1,O,B1,Z,F1,U) [0 >= D1 && 0 >= A] (1,1) 2. f1(A,B,C,N,O,P,R,T,U) -> f10(Y,1 + U,C,C,U,0,0,C,U) [A + -1*B >= 0 (?,1) && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && B >= A && B >= 0 && Z >= Y && Y >= 2 && 0 >= 1 + C] 3. f1(A,B,C,N,O,P,R,T,U) -> f10(Y,1 + U,C,C,U,0,0,C,U) [A + -1*B >= 0 (?,1) && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && B >= A && B >= 0 && Z >= Y && Y >= 2 && C >= 1] 4. f1(A,B,C,N,O,P,R,T,U) -> f1(A,1 + B,D,N,O,P,R,T,U) [A + -1*B >= 0 && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && A >= 1 + B && B >= 0] (?,1) 5. f10(A,B,C,N,O,P,R,T,U) -> f10(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 (?,1) && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && N >= 1 + C1 && U >= 0 && A1 >= 2 && Z >= A1 && C1 >= 1 + Y && P = 0] 6. f10(A,B,C,N,O,P,R,T,U) -> f10(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 (?,1) && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && N >= 1 + C1 && U >= 0 && A1 >= 2 && Z >= A1 && Y >= 1 + C1 && P = 0] 7. f10(A,B,C,N,O,P,R,T,U) -> f10(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 (?,1) && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && C1 >= 1 + N && U >= 0 && A1 >= 2 && Z >= A1 && C1 >= 1 + Y && P = 0] 8. f10(A,B,C,N,O,P,R,T,U) -> f10(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 (?,1) && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && C1 >= 1 + N && U >= 0 && A1 >= 2 && Z >= A1 && Y >= 1 + C1 && P = 0] 9. f10(A,B,C,N,O,P,R,T,U) -> f4(D1,B,C,C1,O,B1,Z,F1,U) [O + -1*U >= 0 (?,1) && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && D1 >= 2 && U >= 0 && P = N] Signature: {(f1,24);(f10,24);(f3,24);(f4,24)} Flow Graph: [0->{2,3,4},1->{},2->{5,6,7,8,9},3->{5,6,7,8,9},4->{2,3,4},5->{5,6,7,8,9},6->{5,6,7,8,9},7->{5,6,7,8,9} ,8->{5,6,7,8,9},9->{}] + Applied Processor: UnsatPaths + Details: We remove following edges from the transition graph: [(2,9),(3,9)] * Step 3: FromIts WORST_CASE(?,POLY) + Considered Problem: Rules: 0. f3(A,B,C,N,O,P,R,T,U) -> f1(A,2,Y,N,O,P,R,T,U) [A >= 2] (1,1) 1. f3(A,B,C,N,O,P,R,T,U) -> f4(D1,0,0,C1,O,B1,Z,F1,U) [0 >= D1 && 0 >= A] (1,1) 2. f1(A,B,C,N,O,P,R,T,U) -> f10(Y,1 + U,C,C,U,0,0,C,U) [A + -1*B >= 0 (?,1) && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && B >= A && B >= 0 && Z >= Y && Y >= 2 && 0 >= 1 + C] 3. f1(A,B,C,N,O,P,R,T,U) -> f10(Y,1 + U,C,C,U,0,0,C,U) [A + -1*B >= 0 (?,1) && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && B >= A && B >= 0 && Z >= Y && Y >= 2 && C >= 1] 4. f1(A,B,C,N,O,P,R,T,U) -> f1(A,1 + B,D,N,O,P,R,T,U) [A + -1*B >= 0 && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && A >= 1 + B && B >= 0] (?,1) 5. f10(A,B,C,N,O,P,R,T,U) -> f10(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 (?,1) && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && N >= 1 + C1 && U >= 0 && A1 >= 2 && Z >= A1 && C1 >= 1 + Y && P = 0] 6. f10(A,B,C,N,O,P,R,T,U) -> f10(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 (?,1) && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && N >= 1 + C1 && U >= 0 && A1 >= 2 && Z >= A1 && Y >= 1 + C1 && P = 0] 7. f10(A,B,C,N,O,P,R,T,U) -> f10(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 (?,1) && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && C1 >= 1 + N && U >= 0 && A1 >= 2 && Z >= A1 && C1 >= 1 + Y && P = 0] 8. f10(A,B,C,N,O,P,R,T,U) -> f10(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 (?,1) && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && C1 >= 1 + N && U >= 0 && A1 >= 2 && Z >= A1 && Y >= 1 + C1 && P = 0] 9. f10(A,B,C,N,O,P,R,T,U) -> f4(D1,B,C,C1,O,B1,Z,F1,U) [O + -1*U >= 0 (?,1) && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && D1 >= 2 && U >= 0 && P = N] Signature: {(f1,24);(f10,24);(f3,24);(f4,24)} Flow Graph: [0->{2,3,4},1->{},2->{5,6,7,8},3->{5,6,7,8},4->{2,3,4},5->{5,6,7,8,9},6->{5,6,7,8,9},7->{5,6,7,8,9},8->{5 ,6,7,8,9},9->{}] + Applied Processor: FromIts + Details: () * Step 4: Unfold WORST_CASE(?,POLY) + Considered Problem: Rules: f3(A,B,C,N,O,P,R,T,U) -> f1(A,2,Y,N,O,P,R,T,U) [A >= 2] f3(A,B,C,N,O,P,R,T,U) -> f4(D1,0,0,C1,O,B1,Z,F1,U) [0 >= D1 && 0 >= A] f1(A,B,C,N,O,P,R,T,U) -> f10(Y,1 + U,C,C,U,0,0,C,U) [A + -1*B >= 0 && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && B >= A && B >= 0 && Z >= Y && Y >= 2 && 0 >= 1 + C] f1(A,B,C,N,O,P,R,T,U) -> f10(Y,1 + U,C,C,U,0,0,C,U) [A + -1*B >= 0 && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && B >= A && B >= 0 && Z >= Y && Y >= 2 && C >= 1] f1(A,B,C,N,O,P,R,T,U) -> f1(A,1 + B,D,N,O,P,R,T,U) [A + -1*B >= 0 && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && A >= 1 + B && B >= 0] f10(A,B,C,N,O,P,R,T,U) -> f10(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && N >= 1 + C1 && U >= 0 && A1 >= 2 && Z >= A1 && C1 >= 1 + Y && P = 0] f10(A,B,C,N,O,P,R,T,U) -> f10(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && N >= 1 + C1 && U >= 0 && A1 >= 2 && Z >= A1 && Y >= 1 + C1 && P = 0] f10(A,B,C,N,O,P,R,T,U) -> f10(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && C1 >= 1 + N && U >= 0 && A1 >= 2 && Z >= A1 && C1 >= 1 + Y && P = 0] f10(A,B,C,N,O,P,R,T,U) -> f10(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && C1 >= 1 + N && U >= 0 && A1 >= 2 && Z >= A1 && Y >= 1 + C1 && P = 0] f10(A,B,C,N,O,P,R,T,U) -> f4(D1,B,C,C1,O,B1,Z,F1,U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && D1 >= 2 && U >= 0 && P = N] Signature: {(f1,24);(f10,24);(f3,24);(f4,24)} Rule Graph: [0->{2,3,4},1->{},2->{5,6,7,8},3->{5,6,7,8},4->{2,3,4},5->{5,6,7,8,9},6->{5,6,7,8,9},7->{5,6,7,8,9},8->{5 ,6,7,8,9},9->{}] + Applied Processor: Unfold + Details: () * Step 5: AddSinks WORST_CASE(?,POLY) + Considered Problem: Rules: f3.0(A,B,C,N,O,P,R,T,U) -> f1.2(A,2,Y,N,O,P,R,T,U) [A >= 2] f3.0(A,B,C,N,O,P,R,T,U) -> f1.3(A,2,Y,N,O,P,R,T,U) [A >= 2] f3.0(A,B,C,N,O,P,R,T,U) -> f1.4(A,2,Y,N,O,P,R,T,U) [A >= 2] f3.1(A,B,C,N,O,P,R,T,U) -> f4.10(D1,0,0,C1,O,B1,Z,F1,U) [0 >= D1 && 0 >= A] f1.2(A,B,C,N,O,P,R,T,U) -> f10.5(Y,1 + U,C,C,U,0,0,C,U) [A + -1*B >= 0 && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && B >= A && B >= 0 && Z >= Y && Y >= 2 && 0 >= 1 + C] f1.2(A,B,C,N,O,P,R,T,U) -> f10.6(Y,1 + U,C,C,U,0,0,C,U) [A + -1*B >= 0 && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && B >= A && B >= 0 && Z >= Y && Y >= 2 && 0 >= 1 + C] f1.2(A,B,C,N,O,P,R,T,U) -> f10.7(Y,1 + U,C,C,U,0,0,C,U) [A + -1*B >= 0 && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && B >= A && B >= 0 && Z >= Y && Y >= 2 && 0 >= 1 + C] f1.2(A,B,C,N,O,P,R,T,U) -> f10.8(Y,1 + U,C,C,U,0,0,C,U) [A + -1*B >= 0 && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && B >= A && B >= 0 && Z >= Y && Y >= 2 && 0 >= 1 + C] f1.3(A,B,C,N,O,P,R,T,U) -> f10.5(Y,1 + U,C,C,U,0,0,C,U) [A + -1*B >= 0 && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && B >= A && B >= 0 && Z >= Y && Y >= 2 && C >= 1] f1.3(A,B,C,N,O,P,R,T,U) -> f10.6(Y,1 + U,C,C,U,0,0,C,U) [A + -1*B >= 0 && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && B >= A && B >= 0 && Z >= Y && Y >= 2 && C >= 1] f1.3(A,B,C,N,O,P,R,T,U) -> f10.7(Y,1 + U,C,C,U,0,0,C,U) [A + -1*B >= 0 && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && B >= A && B >= 0 && Z >= Y && Y >= 2 && C >= 1] f1.3(A,B,C,N,O,P,R,T,U) -> f10.8(Y,1 + U,C,C,U,0,0,C,U) [A + -1*B >= 0 && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && B >= A && B >= 0 && Z >= Y && Y >= 2 && C >= 1] f1.4(A,B,C,N,O,P,R,T,U) -> f1.2(A,1 + B,D,N,O,P,R,T,U) [A + -1*B >= 0 && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && A >= 1 + B && B >= 0] f1.4(A,B,C,N,O,P,R,T,U) -> f1.3(A,1 + B,D,N,O,P,R,T,U) [A + -1*B >= 0 && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && A >= 1 + B && B >= 0] f1.4(A,B,C,N,O,P,R,T,U) -> f1.4(A,1 + B,D,N,O,P,R,T,U) [A + -1*B >= 0 && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && A >= 1 + B && B >= 0] f10.5(A,B,C,N,O,P,R,T,U) -> f10.5(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && N >= 1 + C1 && U >= 0 && A1 >= 2 && Z >= A1 && C1 >= 1 + Y && P = 0] f10.5(A,B,C,N,O,P,R,T,U) -> f10.6(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && N >= 1 + C1 && U >= 0 && A1 >= 2 && Z >= A1 && C1 >= 1 + Y && P = 0] f10.5(A,B,C,N,O,P,R,T,U) -> f10.7(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && N >= 1 + C1 && U >= 0 && A1 >= 2 && Z >= A1 && C1 >= 1 + Y && P = 0] f10.5(A,B,C,N,O,P,R,T,U) -> f10.8(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && N >= 1 + C1 && U >= 0 && A1 >= 2 && Z >= A1 && C1 >= 1 + Y && P = 0] f10.5(A,B,C,N,O,P,R,T,U) -> f10.9(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && N >= 1 + C1 && U >= 0 && A1 >= 2 && Z >= A1 && C1 >= 1 + Y && P = 0] f10.6(A,B,C,N,O,P,R,T,U) -> f10.5(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && N >= 1 + C1 && U >= 0 && A1 >= 2 && Z >= A1 && Y >= 1 + C1 && P = 0] f10.6(A,B,C,N,O,P,R,T,U) -> f10.6(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && N >= 1 + C1 && U >= 0 && A1 >= 2 && Z >= A1 && Y >= 1 + C1 && P = 0] f10.6(A,B,C,N,O,P,R,T,U) -> f10.7(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && N >= 1 + C1 && U >= 0 && A1 >= 2 && Z >= A1 && Y >= 1 + C1 && P = 0] f10.6(A,B,C,N,O,P,R,T,U) -> f10.8(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && N >= 1 + C1 && U >= 0 && A1 >= 2 && Z >= A1 && Y >= 1 + C1 && P = 0] f10.6(A,B,C,N,O,P,R,T,U) -> f10.9(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && N >= 1 + C1 && U >= 0 && A1 >= 2 && Z >= A1 && Y >= 1 + C1 && P = 0] f10.7(A,B,C,N,O,P,R,T,U) -> f10.5(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && C1 >= 1 + N && U >= 0 && A1 >= 2 && Z >= A1 && C1 >= 1 + Y && P = 0] f10.7(A,B,C,N,O,P,R,T,U) -> f10.6(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && C1 >= 1 + N && U >= 0 && A1 >= 2 && Z >= A1 && C1 >= 1 + Y && P = 0] f10.7(A,B,C,N,O,P,R,T,U) -> f10.7(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && C1 >= 1 + N && U >= 0 && A1 >= 2 && Z >= A1 && C1 >= 1 + Y && P = 0] f10.7(A,B,C,N,O,P,R,T,U) -> f10.8(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && C1 >= 1 + N && U >= 0 && A1 >= 2 && Z >= A1 && C1 >= 1 + Y && P = 0] f10.7(A,B,C,N,O,P,R,T,U) -> f10.9(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && C1 >= 1 + N && U >= 0 && A1 >= 2 && Z >= A1 && C1 >= 1 + Y && P = 0] f10.8(A,B,C,N,O,P,R,T,U) -> f10.5(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && C1 >= 1 + N && U >= 0 && A1 >= 2 && Z >= A1 && Y >= 1 + C1 && P = 0] f10.8(A,B,C,N,O,P,R,T,U) -> f10.6(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && C1 >= 1 + N && U >= 0 && A1 >= 2 && Z >= A1 && Y >= 1 + C1 && P = 0] f10.8(A,B,C,N,O,P,R,T,U) -> f10.7(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && C1 >= 1 + N && U >= 0 && A1 >= 2 && Z >= A1 && Y >= 1 + C1 && P = 0] f10.8(A,B,C,N,O,P,R,T,U) -> f10.8(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && C1 >= 1 + N && U >= 0 && A1 >= 2 && Z >= A1 && Y >= 1 + C1 && P = 0] f10.8(A,B,C,N,O,P,R,T,U) -> f10.9(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && C1 >= 1 + N && U >= 0 && A1 >= 2 && Z >= A1 && Y >= 1 + C1 && P = 0] f10.9(A,B,C,N,O,P,R,T,U) -> f4.10(D1,B,C,C1,O,B1,Z,F1,U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && D1 >= 2 && U >= 0 && P = N] Signature: {(f1.2,9);(f1.3,9);(f1.4,9);(f10.5,9);(f10.6,9);(f10.7,9);(f10.8,9);(f10.9,9);(f3.0,9);(f3.1,9);(f4.10,9)} Rule Graph: [0->{4,5,6,7},1->{8,9,10,11},2->{12,13,14},3->{},4->{15,16,17,18,19},5->{20,21,22,23,24},6->{25,26,27,28 ,29},7->{30,31,32,33,34},8->{15,16,17,18,19},9->{20,21,22,23,24},10->{25,26,27,28,29},11->{30,31,32,33,34} ,12->{4,5,6,7},13->{8,9,10,11},14->{12,13,14},15->{15,16,17,18,19},16->{20,21,22,23,24},17->{25,26,27,28,29} ,18->{30,31,32,33,34},19->{35},20->{15,16,17,18,19},21->{20,21,22,23,24},22->{25,26,27,28,29},23->{30,31,32 ,33,34},24->{35},25->{15,16,17,18,19},26->{20,21,22,23,24},27->{25,26,27,28,29},28->{30,31,32,33,34} ,29->{35},30->{15,16,17,18,19},31->{20,21,22,23,24},32->{25,26,27,28,29},33->{30,31,32,33,34},34->{35} ,35->{}] + Applied Processor: AddSinks + Details: () * Step 6: Decompose WORST_CASE(?,POLY) + Considered Problem: Rules: f3.0(A,B,C,N,O,P,R,T,U) -> f1.2(A,2,Y,N,O,P,R,T,U) [A >= 2] f3.0(A,B,C,N,O,P,R,T,U) -> f1.3(A,2,Y,N,O,P,R,T,U) [A >= 2] f3.0(A,B,C,N,O,P,R,T,U) -> f1.4(A,2,Y,N,O,P,R,T,U) [A >= 2] f3.1(A,B,C,N,O,P,R,T,U) -> f4.10(D1,0,0,C1,O,B1,Z,F1,U) [0 >= D1 && 0 >= A] f1.2(A,B,C,N,O,P,R,T,U) -> f10.5(Y,1 + U,C,C,U,0,0,C,U) [A + -1*B >= 0 && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && B >= A && B >= 0 && Z >= Y && Y >= 2 && 0 >= 1 + C] f1.2(A,B,C,N,O,P,R,T,U) -> f10.6(Y,1 + U,C,C,U,0,0,C,U) [A + -1*B >= 0 && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && B >= A && B >= 0 && Z >= Y && Y >= 2 && 0 >= 1 + C] f1.2(A,B,C,N,O,P,R,T,U) -> f10.7(Y,1 + U,C,C,U,0,0,C,U) [A + -1*B >= 0 && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && B >= A && B >= 0 && Z >= Y && Y >= 2 && 0 >= 1 + C] f1.2(A,B,C,N,O,P,R,T,U) -> f10.8(Y,1 + U,C,C,U,0,0,C,U) [A + -1*B >= 0 && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && B >= A && B >= 0 && Z >= Y && Y >= 2 && 0 >= 1 + C] f1.3(A,B,C,N,O,P,R,T,U) -> f10.5(Y,1 + U,C,C,U,0,0,C,U) [A + -1*B >= 0 && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && B >= A && B >= 0 && Z >= Y && Y >= 2 && C >= 1] f1.3(A,B,C,N,O,P,R,T,U) -> f10.6(Y,1 + U,C,C,U,0,0,C,U) [A + -1*B >= 0 && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && B >= A && B >= 0 && Z >= Y && Y >= 2 && C >= 1] f1.3(A,B,C,N,O,P,R,T,U) -> f10.7(Y,1 + U,C,C,U,0,0,C,U) [A + -1*B >= 0 && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && B >= A && B >= 0 && Z >= Y && Y >= 2 && C >= 1] f1.3(A,B,C,N,O,P,R,T,U) -> f10.8(Y,1 + U,C,C,U,0,0,C,U) [A + -1*B >= 0 && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && B >= A && B >= 0 && Z >= Y && Y >= 2 && C >= 1] f1.4(A,B,C,N,O,P,R,T,U) -> f1.2(A,1 + B,D,N,O,P,R,T,U) [A + -1*B >= 0 && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && A >= 1 + B && B >= 0] f1.4(A,B,C,N,O,P,R,T,U) -> f1.3(A,1 + B,D,N,O,P,R,T,U) [A + -1*B >= 0 && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && A >= 1 + B && B >= 0] f1.4(A,B,C,N,O,P,R,T,U) -> f1.4(A,1 + B,D,N,O,P,R,T,U) [A + -1*B >= 0 && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && A >= 1 + B && B >= 0] f10.5(A,B,C,N,O,P,R,T,U) -> f10.5(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && N >= 1 + C1 && U >= 0 && A1 >= 2 && Z >= A1 && C1 >= 1 + Y && P = 0] f10.5(A,B,C,N,O,P,R,T,U) -> f10.6(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && N >= 1 + C1 && U >= 0 && A1 >= 2 && Z >= A1 && C1 >= 1 + Y && P = 0] f10.5(A,B,C,N,O,P,R,T,U) -> f10.7(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && N >= 1 + C1 && U >= 0 && A1 >= 2 && Z >= A1 && C1 >= 1 + Y && P = 0] f10.5(A,B,C,N,O,P,R,T,U) -> f10.8(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && N >= 1 + C1 && U >= 0 && A1 >= 2 && Z >= A1 && C1 >= 1 + Y && P = 0] f10.5(A,B,C,N,O,P,R,T,U) -> f10.9(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && N >= 1 + C1 && U >= 0 && A1 >= 2 && Z >= A1 && C1 >= 1 + Y && P = 0] f10.6(A,B,C,N,O,P,R,T,U) -> f10.5(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && N >= 1 + C1 && U >= 0 && A1 >= 2 && Z >= A1 && Y >= 1 + C1 && P = 0] f10.6(A,B,C,N,O,P,R,T,U) -> f10.6(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && N >= 1 + C1 && U >= 0 && A1 >= 2 && Z >= A1 && Y >= 1 + C1 && P = 0] f10.6(A,B,C,N,O,P,R,T,U) -> f10.7(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && N >= 1 + C1 && U >= 0 && A1 >= 2 && Z >= A1 && Y >= 1 + C1 && P = 0] f10.6(A,B,C,N,O,P,R,T,U) -> f10.8(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && N >= 1 + C1 && U >= 0 && A1 >= 2 && Z >= A1 && Y >= 1 + C1 && P = 0] f10.6(A,B,C,N,O,P,R,T,U) -> f10.9(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && N >= 1 + C1 && U >= 0 && A1 >= 2 && Z >= A1 && Y >= 1 + C1 && P = 0] f10.7(A,B,C,N,O,P,R,T,U) -> f10.5(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && C1 >= 1 + N && U >= 0 && A1 >= 2 && Z >= A1 && C1 >= 1 + Y && P = 0] f10.7(A,B,C,N,O,P,R,T,U) -> f10.6(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && C1 >= 1 + N && U >= 0 && A1 >= 2 && Z >= A1 && C1 >= 1 + Y && P = 0] f10.7(A,B,C,N,O,P,R,T,U) -> f10.7(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && C1 >= 1 + N && U >= 0 && A1 >= 2 && Z >= A1 && C1 >= 1 + Y && P = 0] f10.7(A,B,C,N,O,P,R,T,U) -> f10.8(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && C1 >= 1 + N && U >= 0 && A1 >= 2 && Z >= A1 && C1 >= 1 + Y && P = 0] f10.7(A,B,C,N,O,P,R,T,U) -> f10.9(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && C1 >= 1 + N && U >= 0 && A1 >= 2 && Z >= A1 && C1 >= 1 + Y && P = 0] f10.8(A,B,C,N,O,P,R,T,U) -> f10.5(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && C1 >= 1 + N && U >= 0 && A1 >= 2 && Z >= A1 && Y >= 1 + C1 && P = 0] f10.8(A,B,C,N,O,P,R,T,U) -> f10.6(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && C1 >= 1 + N && U >= 0 && A1 >= 2 && Z >= A1 && Y >= 1 + C1 && P = 0] f10.8(A,B,C,N,O,P,R,T,U) -> f10.7(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && C1 >= 1 + N && U >= 0 && A1 >= 2 && Z >= A1 && Y >= 1 + C1 && P = 0] f10.8(A,B,C,N,O,P,R,T,U) -> f10.8(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && C1 >= 1 + N && U >= 0 && A1 >= 2 && Z >= A1 && Y >= 1 + C1 && P = 0] f10.8(A,B,C,N,O,P,R,T,U) -> f10.9(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && C1 >= 1 + N && U >= 0 && A1 >= 2 && Z >= A1 && Y >= 1 + C1 && P = 0] f10.9(A,B,C,N,O,P,R,T,U) -> f4.10(D1,B,C,C1,O,B1,Z,F1,U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && D1 >= 2 && U >= 0 && P = N] f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True Signature: {(exitus616,9) ;(f1.2,9) ;(f1.3,9) ;(f1.4,9) ;(f10.5,9) ;(f10.6,9) ;(f10.7,9) ;(f10.8,9) ;(f10.9,9) ;(f3.0,9) ;(f3.1,9) ;(f4.10,9)} Rule Graph: [0->{4,5,6,7},1->{8,9,10,11},2->{12,13,14},3->{36},4->{15,16,17,18,19},5->{20,21,22,23,24},6->{25,26,27,28 ,29},7->{30,31,32,33,34},8->{15,16,17,18,19},9->{20,21,22,23,24},10->{25,26,27,28,29},11->{30,31,32,33,34} ,12->{4,5,6,7},13->{8,9,10,11},14->{12,13,14},15->{15,16,17,18,19},16->{20,21,22,23,24},17->{25,26,27,28,29} ,18->{30,31,32,33,34},19->{35},20->{15,16,17,18,19},21->{20,21,22,23,24},22->{25,26,27,28,29},23->{30,31,32 ,33,34},24->{35},25->{15,16,17,18,19},26->{20,21,22,23,24},27->{25,26,27,28,29},28->{30,31,32,33,34} ,29->{35},30->{15,16,17,18,19},31->{20,21,22,23,24},32->{25,26,27,28,29},33->{30,31,32,33,34},34->{35} ,35->{37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70 ,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100}] + Applied Processor: Decompose Greedy + Details: We construct a looptree: P: [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100] | +- p:[14] c: [14] | `- p:[15,20,16,25,17,30,18,23,21,26,22,31,28,27,32,33] c: [15,16,17,18,20,21,22,23,25,26,27,28,30,31,32,33] * Step 7: AbstractSize WORST_CASE(?,POLY) + Considered Problem: (Rules: f3.0(A,B,C,N,O,P,R,T,U) -> f1.2(A,2,Y,N,O,P,R,T,U) [A >= 2] f3.0(A,B,C,N,O,P,R,T,U) -> f1.3(A,2,Y,N,O,P,R,T,U) [A >= 2] f3.0(A,B,C,N,O,P,R,T,U) -> f1.4(A,2,Y,N,O,P,R,T,U) [A >= 2] f3.1(A,B,C,N,O,P,R,T,U) -> f4.10(D1,0,0,C1,O,B1,Z,F1,U) [0 >= D1 && 0 >= A] f1.2(A,B,C,N,O,P,R,T,U) -> f10.5(Y,1 + U,C,C,U,0,0,C,U) [A + -1*B >= 0 && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && B >= A && B >= 0 && Z >= Y && Y >= 2 && 0 >= 1 + C] f1.2(A,B,C,N,O,P,R,T,U) -> f10.6(Y,1 + U,C,C,U,0,0,C,U) [A + -1*B >= 0 && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && B >= A && B >= 0 && Z >= Y && Y >= 2 && 0 >= 1 + C] f1.2(A,B,C,N,O,P,R,T,U) -> f10.7(Y,1 + U,C,C,U,0,0,C,U) [A + -1*B >= 0 && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && B >= A && B >= 0 && Z >= Y && Y >= 2 && 0 >= 1 + C] f1.2(A,B,C,N,O,P,R,T,U) -> f10.8(Y,1 + U,C,C,U,0,0,C,U) [A + -1*B >= 0 && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && B >= A && B >= 0 && Z >= Y && Y >= 2 && 0 >= 1 + C] f1.3(A,B,C,N,O,P,R,T,U) -> f10.5(Y,1 + U,C,C,U,0,0,C,U) [A + -1*B >= 0 && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && B >= A && B >= 0 && Z >= Y && Y >= 2 && C >= 1] f1.3(A,B,C,N,O,P,R,T,U) -> f10.6(Y,1 + U,C,C,U,0,0,C,U) [A + -1*B >= 0 && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && B >= A && B >= 0 && Z >= Y && Y >= 2 && C >= 1] f1.3(A,B,C,N,O,P,R,T,U) -> f10.7(Y,1 + U,C,C,U,0,0,C,U) [A + -1*B >= 0 && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && B >= A && B >= 0 && Z >= Y && Y >= 2 && C >= 1] f1.3(A,B,C,N,O,P,R,T,U) -> f10.8(Y,1 + U,C,C,U,0,0,C,U) [A + -1*B >= 0 && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && B >= A && B >= 0 && Z >= Y && Y >= 2 && C >= 1] f1.4(A,B,C,N,O,P,R,T,U) -> f1.2(A,1 + B,D,N,O,P,R,T,U) [A + -1*B >= 0 && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && A >= 1 + B && B >= 0] f1.4(A,B,C,N,O,P,R,T,U) -> f1.3(A,1 + B,D,N,O,P,R,T,U) [A + -1*B >= 0 && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && A >= 1 + B && B >= 0] f1.4(A,B,C,N,O,P,R,T,U) -> f1.4(A,1 + B,D,N,O,P,R,T,U) [A + -1*B >= 0 && -2 + B >= 0 && -4 + A + B >= 0 && -2 + A >= 0 && A >= 1 + B && B >= 0] f10.5(A,B,C,N,O,P,R,T,U) -> f10.5(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && N >= 1 + C1 && U >= 0 && A1 >= 2 && Z >= A1 && C1 >= 1 + Y && P = 0] f10.5(A,B,C,N,O,P,R,T,U) -> f10.6(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && N >= 1 + C1 && U >= 0 && A1 >= 2 && Z >= A1 && C1 >= 1 + Y && P = 0] f10.5(A,B,C,N,O,P,R,T,U) -> f10.7(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && N >= 1 + C1 && U >= 0 && A1 >= 2 && Z >= A1 && C1 >= 1 + Y && P = 0] f10.5(A,B,C,N,O,P,R,T,U) -> f10.8(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && N >= 1 + C1 && U >= 0 && A1 >= 2 && Z >= A1 && C1 >= 1 + Y && P = 0] f10.5(A,B,C,N,O,P,R,T,U) -> f10.9(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && N >= 1 + C1 && U >= 0 && A1 >= 2 && Z >= A1 && C1 >= 1 + Y && P = 0] f10.6(A,B,C,N,O,P,R,T,U) -> f10.5(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && N >= 1 + C1 && U >= 0 && A1 >= 2 && Z >= A1 && Y >= 1 + C1 && P = 0] f10.6(A,B,C,N,O,P,R,T,U) -> f10.6(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && N >= 1 + C1 && U >= 0 && A1 >= 2 && Z >= A1 && Y >= 1 + C1 && P = 0] f10.6(A,B,C,N,O,P,R,T,U) -> f10.7(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && N >= 1 + C1 && U >= 0 && A1 >= 2 && Z >= A1 && Y >= 1 + C1 && P = 0] f10.6(A,B,C,N,O,P,R,T,U) -> f10.8(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && N >= 1 + C1 && U >= 0 && A1 >= 2 && Z >= A1 && Y >= 1 + C1 && P = 0] f10.6(A,B,C,N,O,P,R,T,U) -> f10.9(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && N >= 1 + C1 && U >= 0 && A1 >= 2 && Z >= A1 && Y >= 1 + C1 && P = 0] f10.7(A,B,C,N,O,P,R,T,U) -> f10.5(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && C1 >= 1 + N && U >= 0 && A1 >= 2 && Z >= A1 && C1 >= 1 + Y && P = 0] f10.7(A,B,C,N,O,P,R,T,U) -> f10.6(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && C1 >= 1 + N && U >= 0 && A1 >= 2 && Z >= A1 && C1 >= 1 + Y && P = 0] f10.7(A,B,C,N,O,P,R,T,U) -> f10.7(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && C1 >= 1 + N && U >= 0 && A1 >= 2 && Z >= A1 && C1 >= 1 + Y && P = 0] f10.7(A,B,C,N,O,P,R,T,U) -> f10.8(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && C1 >= 1 + N && U >= 0 && A1 >= 2 && Z >= A1 && C1 >= 1 + Y && P = 0] f10.7(A,B,C,N,O,P,R,T,U) -> f10.9(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && C1 >= 1 + N && U >= 0 && A1 >= 2 && Z >= A1 && C1 >= 1 + Y && P = 0] f10.8(A,B,C,N,O,P,R,T,U) -> f10.5(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && C1 >= 1 + N && U >= 0 && A1 >= 2 && Z >= A1 && Y >= 1 + C1 && P = 0] f10.8(A,B,C,N,O,P,R,T,U) -> f10.6(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && C1 >= 1 + N && U >= 0 && A1 >= 2 && Z >= A1 && Y >= 1 + C1 && P = 0] f10.8(A,B,C,N,O,P,R,T,U) -> f10.7(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && C1 >= 1 + N && U >= 0 && A1 >= 2 && Z >= A1 && Y >= 1 + C1 && P = 0] f10.8(A,B,C,N,O,P,R,T,U) -> f10.8(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && C1 >= 1 + N && U >= 0 && A1 >= 2 && Z >= A1 && Y >= 1 + C1 && P = 0] f10.8(A,B,C,N,O,P,R,T,U) -> f10.9(A1,Z,Y,N,O,0,0,N,-1 + U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && C1 >= 1 + N && U >= 0 && A1 >= 2 && Z >= A1 && Y >= 1 + C1 && P = 0] f10.9(A,B,C,N,O,P,R,T,U) -> f4.10(D1,B,C,C1,O,B1,Z,F1,U) [O + -1*U >= 0 && N + -1*T >= 0 && -1*N + T >= 0 && -1*R >= 0 && P + -1*R >= 0 && -1*P + -1*R >= 0 && -2 + A + -1*R >= 0 && R >= 0 && P + R >= 0 && -1*P + R >= 0 && -2 + A + R >= 0 && -1*P >= 0 && -2 + A + -1*P >= 0 && P >= 0 && -2 + A + P >= 0 && -2 + A >= 0 && D1 >= 2 && U >= 0 && P = N] f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True f4.10(A,B,C,N,O,P,R,T,U) -> exitus616(A,B,C,N,O,P,R,T,U) True Signature: {(exitus616,9) ;(f1.2,9) ;(f1.3,9) ;(f1.4,9) ;(f10.5,9) ;(f10.6,9) ;(f10.7,9) ;(f10.8,9) ;(f10.9,9) ;(f3.0,9) ;(f3.1,9) ;(f4.10,9)} Rule Graph: [0->{4,5,6,7},1->{8,9,10,11},2->{12,13,14},3->{36},4->{15,16,17,18,19},5->{20,21,22,23,24},6->{25,26,27,28 ,29},7->{30,31,32,33,34},8->{15,16,17,18,19},9->{20,21,22,23,24},10->{25,26,27,28,29},11->{30,31,32,33,34} ,12->{4,5,6,7},13->{8,9,10,11},14->{12,13,14},15->{15,16,17,18,19},16->{20,21,22,23,24},17->{25,26,27,28,29} ,18->{30,31,32,33,34},19->{35},20->{15,16,17,18,19},21->{20,21,22,23,24},22->{25,26,27,28,29},23->{30,31,32 ,33,34},24->{35},25->{15,16,17,18,19},26->{20,21,22,23,24},27->{25,26,27,28,29},28->{30,31,32,33,34} ,29->{35},30->{15,16,17,18,19},31->{20,21,22,23,24},32->{25,26,27,28,29},33->{30,31,32,33,34},34->{35} ,35->{37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70 ,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100}] ,We construct a looptree: P: [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100] | +- p:[14] c: [14] | `- p:[15,20,16,25,17,30,18,23,21,26,22,31,28,27,32,33] c: [15,16,17,18,20,21,22,23,25,26,27,28,30,31,32,33]) + Applied Processor: AbstractSize Minimize + Details: () * Step 8: AbstractFlow WORST_CASE(?,POLY) + Considered Problem: Program: Domain: [A,B,C,N,O,P,R,T,U,0.0,0.1] f3.0 ~> f1.2 [A <= A, B <= 2*K, C <= unknown, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f3.0 ~> f1.3 [A <= A, B <= 2*K, C <= unknown, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f3.0 ~> f1.4 [A <= A, B <= 2*K, C <= unknown, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f3.1 ~> f4.10 [A <= unknown, B <= 0*K, C <= 0*K, N <= unknown, O <= O, P <= unknown, R <= unknown, T <= unknown, U <= U] f1.2 ~> f10.5 [A <= unknown, B <= K + U, C <= C, N <= C, O <= U, P <= 0*K, R <= 0*K, T <= C, U <= U] f1.2 ~> f10.6 [A <= unknown, B <= K + U, C <= C, N <= C, O <= U, P <= 0*K, R <= 0*K, T <= C, U <= U] f1.2 ~> f10.7 [A <= unknown, B <= K + U, C <= C, N <= C, O <= U, P <= 0*K, R <= 0*K, T <= C, U <= U] f1.2 ~> f10.8 [A <= unknown, B <= K + U, C <= C, N <= C, O <= U, P <= 0*K, R <= 0*K, T <= C, U <= U] f1.3 ~> f10.5 [A <= unknown, B <= K + U, C <= C, N <= C, O <= U, P <= 0*K, R <= 0*K, T <= C, U <= U] f1.3 ~> f10.6 [A <= unknown, B <= K + U, C <= C, N <= C, O <= U, P <= 0*K, R <= 0*K, T <= C, U <= U] f1.3 ~> f10.7 [A <= unknown, B <= K + U, C <= C, N <= C, O <= U, P <= 0*K, R <= 0*K, T <= C, U <= U] f1.3 ~> f10.8 [A <= unknown, B <= K + U, C <= C, N <= C, O <= U, P <= 0*K, R <= 0*K, T <= C, U <= U] f1.4 ~> f1.2 [A <= A, B <= A, C <= unknown, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f1.4 ~> f1.3 [A <= A, B <= A, C <= unknown, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f1.4 ~> f1.4 [A <= A, B <= A, C <= unknown, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f10.5 ~> f10.5 [A <= unknown, B <= unknown, C <= unknown, N <= N, O <= O, P <= 0*K, R <= 0*K, T <= N, U <= K + U] f10.5 ~> f10.6 [A <= unknown, B <= unknown, C <= unknown, N <= N, O <= O, P <= 0*K, R <= 0*K, T <= N, U <= K + U] f10.5 ~> f10.7 [A <= unknown, B <= unknown, C <= unknown, N <= N, O <= O, P <= 0*K, R <= 0*K, T <= N, U <= K + U] f10.5 ~> f10.8 [A <= unknown, B <= unknown, C <= unknown, N <= N, O <= O, P <= 0*K, R <= 0*K, T <= N, U <= K + U] f10.5 ~> f10.9 [A <= unknown, B <= unknown, C <= unknown, N <= N, O <= O, P <= 0*K, R <= 0*K, T <= N, U <= K + U] f10.6 ~> f10.5 [A <= unknown, B <= unknown, C <= unknown, N <= N, O <= O, P <= 0*K, R <= 0*K, T <= N, U <= K + U] f10.6 ~> f10.6 [A <= unknown, B <= unknown, C <= unknown, N <= N, O <= O, P <= 0*K, R <= 0*K, T <= N, U <= K + U] f10.6 ~> f10.7 [A <= unknown, B <= unknown, C <= unknown, N <= N, O <= O, P <= 0*K, R <= 0*K, T <= N, U <= K + U] f10.6 ~> f10.8 [A <= unknown, B <= unknown, C <= unknown, N <= N, O <= O, P <= 0*K, R <= 0*K, T <= N, U <= K + U] f10.6 ~> f10.9 [A <= unknown, B <= unknown, C <= unknown, N <= N, O <= O, P <= 0*K, R <= 0*K, T <= N, U <= K + U] f10.7 ~> f10.5 [A <= unknown, B <= unknown, C <= unknown, N <= N, O <= O, P <= 0*K, R <= 0*K, T <= N, U <= K + U] f10.7 ~> f10.6 [A <= unknown, B <= unknown, C <= unknown, N <= N, O <= O, P <= 0*K, R <= 0*K, T <= N, U <= K + U] f10.7 ~> f10.7 [A <= unknown, B <= unknown, C <= unknown, N <= N, O <= O, P <= 0*K, R <= 0*K, T <= N, U <= K + U] f10.7 ~> f10.8 [A <= unknown, B <= unknown, C <= unknown, N <= N, O <= O, P <= 0*K, R <= 0*K, T <= N, U <= K + U] f10.7 ~> f10.9 [A <= unknown, B <= unknown, C <= unknown, N <= N, O <= O, P <= 0*K, R <= 0*K, T <= N, U <= K + U] f10.8 ~> f10.5 [A <= unknown, B <= unknown, C <= unknown, N <= N, O <= O, P <= 0*K, R <= 0*K, T <= N, U <= K + U] f10.8 ~> f10.6 [A <= unknown, B <= unknown, C <= unknown, N <= N, O <= O, P <= 0*K, R <= 0*K, T <= N, U <= K + U] f10.8 ~> f10.7 [A <= unknown, B <= unknown, C <= unknown, N <= N, O <= O, P <= 0*K, R <= 0*K, T <= N, U <= K + U] f10.8 ~> f10.8 [A <= unknown, B <= unknown, C <= unknown, N <= N, O <= O, P <= 0*K, R <= 0*K, T <= N, U <= K + U] f10.8 ~> f10.9 [A <= unknown, B <= unknown, C <= unknown, N <= N, O <= O, P <= 0*K, R <= 0*K, T <= N, U <= K + U] f10.9 ~> f4.10 [A <= unknown, B <= B, C <= C, N <= unknown, O <= O, P <= unknown, R <= unknown, T <= unknown, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] + Loop: [0.0 <= K + A + B] f1.4 ~> f1.4 [A <= A, B <= A, C <= unknown, N <= N, O <= O, P <= P, R <= R, T <= T, U <= U] + Loop: [0.1 <= K + U] f10.5 ~> f10.5 [A <= unknown, B <= unknown, C <= unknown, N <= N, O <= O, P <= 0*K, R <= 0*K, T <= N, U <= K + U] f10.6 ~> f10.5 [A <= unknown, B <= unknown, C <= unknown, N <= N, O <= O, P <= 0*K, R <= 0*K, T <= N, U <= K + U] f10.5 ~> f10.6 [A <= unknown, B <= unknown, C <= unknown, N <= N, O <= O, P <= 0*K, R <= 0*K, T <= N, U <= K + U] f10.7 ~> f10.5 [A <= unknown, B <= unknown, C <= unknown, N <= N, O <= O, P <= 0*K, R <= 0*K, T <= N, U <= K + U] f10.5 ~> f10.7 [A <= unknown, B <= unknown, C <= unknown, N <= N, O <= O, P <= 0*K, R <= 0*K, T <= N, U <= K + U] f10.8 ~> f10.5 [A <= unknown, B <= unknown, C <= unknown, N <= N, O <= O, P <= 0*K, R <= 0*K, T <= N, U <= K + U] f10.5 ~> f10.8 [A <= unknown, B <= unknown, C <= unknown, N <= N, O <= O, P <= 0*K, R <= 0*K, T <= N, U <= K + U] f10.6 ~> f10.8 [A <= unknown, B <= unknown, C <= unknown, N <= N, O <= O, P <= 0*K, R <= 0*K, T <= N, U <= K + U] f10.6 ~> f10.6 [A <= unknown, B <= unknown, C <= unknown, N <= N, O <= O, P <= 0*K, R <= 0*K, T <= N, U <= K + U] f10.7 ~> f10.6 [A <= unknown, B <= unknown, C <= unknown, N <= N, O <= O, P <= 0*K, R <= 0*K, T <= N, U <= K + U] f10.6 ~> f10.7 [A <= unknown, B <= unknown, C <= unknown, N <= N, O <= O, P <= 0*K, R <= 0*K, T <= N, U <= K + U] f10.8 ~> f10.6 [A <= unknown, B <= unknown, C <= unknown, N <= N, O <= O, P <= 0*K, R <= 0*K, T <= N, U <= K + U] f10.7 ~> f10.8 [A <= unknown, B <= unknown, C <= unknown, N <= N, O <= O, P <= 0*K, R <= 0*K, T <= N, U <= K + U] f10.7 ~> f10.7 [A <= unknown, B <= unknown, C <= unknown, N <= N, O <= O, P <= 0*K, R <= 0*K, T <= N, U <= K + U] f10.8 ~> f10.7 [A <= unknown, B <= unknown, C <= unknown, N <= N, O <= O, P <= 0*K, R <= 0*K, T <= N, U <= K + U] f10.8 ~> f10.8 [A <= unknown, B <= unknown, C <= unknown, N <= N, O <= O, P <= 0*K, R <= 0*K, T <= N, U <= K + U] + Applied Processor: AbstractFlow + Details: () * Step 9: Lare WORST_CASE(?,POLY) + Considered Problem: Program: Domain: [tick,huge,K,A,B,C,N,O,P,R,T,U,0.0,0.1] f3.0 ~> f1.2 [K ~=> B,huge ~=> C] f3.0 ~> f1.3 [K ~=> B,huge ~=> C] f3.0 ~> f1.4 [K ~=> B,huge ~=> C] f3.1 ~> f4.10 [K ~=> B,K ~=> C,huge ~=> A,huge ~=> N,huge ~=> P,huge ~=> R,huge ~=> T] f1.2 ~> f10.5 [C ~=> N,C ~=> T,U ~=> O,K ~=> P,K ~=> R,huge ~=> A,U ~+> B,K ~+> B] f1.2 ~> f10.6 [C ~=> N,C ~=> T,U ~=> O,K ~=> P,K ~=> R,huge ~=> A,U ~+> B,K ~+> B] f1.2 ~> f10.7 [C ~=> N,C ~=> T,U ~=> O,K ~=> P,K ~=> R,huge ~=> A,U ~+> B,K ~+> B] f1.2 ~> f10.8 [C ~=> N,C ~=> T,U ~=> O,K ~=> P,K ~=> R,huge ~=> A,U ~+> B,K ~+> B] f1.3 ~> f10.5 [C ~=> N,C ~=> T,U ~=> O,K ~=> P,K ~=> R,huge ~=> A,U ~+> B,K ~+> B] f1.3 ~> f10.6 [C ~=> N,C ~=> T,U ~=> O,K ~=> P,K ~=> R,huge ~=> A,U ~+> B,K ~+> B] f1.3 ~> f10.7 [C ~=> N,C ~=> T,U ~=> O,K ~=> P,K ~=> R,huge ~=> A,U ~+> B,K ~+> B] f1.3 ~> f10.8 [C ~=> N,C ~=> T,U ~=> O,K ~=> P,K ~=> R,huge ~=> A,U ~+> B,K ~+> B] f1.4 ~> f1.2 [A ~=> B,huge ~=> C] f1.4 ~> f1.3 [A ~=> B,huge ~=> C] f1.4 ~> f1.4 [A ~=> B,huge ~=> C] f10.5 ~> f10.5 [N ~=> T,K ~=> P,K ~=> R,huge ~=> A,huge ~=> B,huge ~=> C,U ~+> U,K ~+> U] f10.5 ~> f10.6 [N ~=> T,K ~=> P,K ~=> R,huge ~=> A,huge ~=> B,huge ~=> C,U ~+> U,K ~+> U] f10.5 ~> f10.7 [N ~=> T,K ~=> P,K ~=> R,huge ~=> A,huge ~=> B,huge ~=> C,U ~+> U,K ~+> U] f10.5 ~> f10.8 [N ~=> T,K ~=> P,K ~=> R,huge ~=> A,huge ~=> B,huge ~=> C,U ~+> U,K ~+> U] f10.5 ~> f10.9 [N ~=> T,K ~=> P,K ~=> R,huge ~=> A,huge ~=> B,huge ~=> C,U ~+> U,K ~+> U] f10.6 ~> f10.5 [N ~=> T,K ~=> P,K ~=> R,huge ~=> A,huge ~=> B,huge ~=> C,U ~+> U,K ~+> U] f10.6 ~> f10.6 [N ~=> T,K ~=> P,K ~=> R,huge ~=> A,huge ~=> B,huge ~=> C,U ~+> U,K ~+> U] f10.6 ~> f10.7 [N ~=> T,K ~=> P,K ~=> R,huge ~=> A,huge ~=> B,huge ~=> C,U ~+> U,K ~+> U] f10.6 ~> f10.8 [N ~=> T,K ~=> P,K ~=> R,huge ~=> A,huge ~=> B,huge ~=> C,U ~+> U,K ~+> U] f10.6 ~> f10.9 [N ~=> T,K ~=> P,K ~=> R,huge ~=> A,huge ~=> B,huge ~=> C,U ~+> U,K ~+> U] f10.7 ~> f10.5 [N ~=> T,K ~=> P,K ~=> R,huge ~=> A,huge ~=> B,huge ~=> C,U ~+> U,K ~+> U] f10.7 ~> f10.6 [N ~=> T,K ~=> P,K ~=> R,huge ~=> A,huge ~=> B,huge ~=> C,U ~+> U,K ~+> U] f10.7 ~> f10.7 [N ~=> T,K ~=> P,K ~=> R,huge ~=> A,huge ~=> B,huge ~=> C,U ~+> U,K ~+> U] f10.7 ~> f10.8 [N ~=> T,K ~=> P,K ~=> R,huge ~=> A,huge ~=> B,huge ~=> C,U ~+> U,K ~+> U] f10.7 ~> f10.9 [N ~=> T,K ~=> P,K ~=> R,huge ~=> A,huge ~=> B,huge ~=> C,U ~+> U,K ~+> U] f10.8 ~> f10.5 [N ~=> T,K ~=> P,K ~=> R,huge ~=> A,huge ~=> B,huge ~=> C,U ~+> U,K ~+> U] f10.8 ~> f10.6 [N ~=> T,K ~=> P,K ~=> R,huge ~=> A,huge ~=> B,huge ~=> C,U ~+> U,K ~+> U] f10.8 ~> f10.7 [N ~=> T,K ~=> P,K ~=> R,huge ~=> A,huge ~=> B,huge ~=> C,U ~+> U,K ~+> U] f10.8 ~> f10.8 [N ~=> T,K ~=> P,K ~=> R,huge ~=> A,huge ~=> B,huge ~=> C,U ~+> U,K ~+> U] f10.8 ~> f10.9 [N ~=> T,K ~=> P,K ~=> R,huge ~=> A,huge ~=> B,huge ~=> C,U ~+> U,K ~+> U] f10.9 ~> f4.10 [huge ~=> A,huge ~=> N,huge ~=> P,huge ~=> R,huge ~=> T] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] + Loop: [A ~+> 0.0,B ~+> 0.0,K ~+> 0.0] f1.4 ~> f1.4 [A ~=> B,huge ~=> C] + Loop: [U ~+> 0.1,K ~+> 0.1] f10.5 ~> f10.5 [N ~=> T,K ~=> P,K ~=> R,huge ~=> A,huge ~=> B,huge ~=> C,U ~+> U,K ~+> U] f10.6 ~> f10.5 [N ~=> T,K ~=> P,K ~=> R,huge ~=> A,huge ~=> B,huge ~=> C,U ~+> U,K ~+> U] f10.5 ~> f10.6 [N ~=> T,K ~=> P,K ~=> R,huge ~=> A,huge ~=> B,huge ~=> C,U ~+> U,K ~+> U] f10.7 ~> f10.5 [N ~=> T,K ~=> P,K ~=> R,huge ~=> A,huge ~=> B,huge ~=> C,U ~+> U,K ~+> U] f10.5 ~> f10.7 [N ~=> T,K ~=> P,K ~=> R,huge ~=> A,huge ~=> B,huge ~=> C,U ~+> U,K ~+> U] f10.8 ~> f10.5 [N ~=> T,K ~=> P,K ~=> R,huge ~=> A,huge ~=> B,huge ~=> C,U ~+> U,K ~+> U] f10.5 ~> f10.8 [N ~=> T,K ~=> P,K ~=> R,huge ~=> A,huge ~=> B,huge ~=> C,U ~+> U,K ~+> U] f10.6 ~> f10.8 [N ~=> T,K ~=> P,K ~=> R,huge ~=> A,huge ~=> B,huge ~=> C,U ~+> U,K ~+> U] f10.6 ~> f10.6 [N ~=> T,K ~=> P,K ~=> R,huge ~=> A,huge ~=> B,huge ~=> C,U ~+> U,K ~+> U] f10.7 ~> f10.6 [N ~=> T,K ~=> P,K ~=> R,huge ~=> A,huge ~=> B,huge ~=> C,U ~+> U,K ~+> U] f10.6 ~> f10.7 [N ~=> T,K ~=> P,K ~=> R,huge ~=> A,huge ~=> B,huge ~=> C,U ~+> U,K ~+> U] f10.8 ~> f10.6 [N ~=> T,K ~=> P,K ~=> R,huge ~=> A,huge ~=> B,huge ~=> C,U ~+> U,K ~+> U] f10.7 ~> f10.8 [N ~=> T,K ~=> P,K ~=> R,huge ~=> A,huge ~=> B,huge ~=> C,U ~+> U,K ~+> U] f10.7 ~> f10.7 [N ~=> T,K ~=> P,K ~=> R,huge ~=> A,huge ~=> B,huge ~=> C,U ~+> U,K ~+> U] f10.8 ~> f10.7 [N ~=> T,K ~=> P,K ~=> R,huge ~=> A,huge ~=> B,huge ~=> C,U ~+> U,K ~+> U] f10.8 ~> f10.8 [N ~=> T,K ~=> P,K ~=> R,huge ~=> A,huge ~=> B,huge ~=> C,U ~+> U,K ~+> U] + Applied Processor: Lare + Details: f3.0 ~> exitus616 [U ~=> O ,huge ~=> A ,huge ~=> B ,huge ~=> C ,huge ~=> N ,huge ~=> P ,huge ~=> R ,huge ~=> T ,A ~+> 0.0 ,A ~+> tick ,U ~+> U ,U ~+> 0.1 ,U ~+> tick ,tick ~+> tick ,K ~+> U ,K ~+> 0.0 ,K ~+> 0.1 ,K ~+> tick ,U ~*> U ,U ~*> 0.1 ,U ~*> tick ,K ~*> U ,K ~*> 0.0 ,K ~*> 0.1 ,K ~*> tick] f3.1 ~> exitus616 [K ~=> B,K ~=> C,huge ~=> A,huge ~=> N,huge ~=> P,huge ~=> R,huge ~=> T] + f1.4> [A ~=> B ,huge ~=> C ,A ~+> 0.0 ,A ~+> tick ,B ~+> 0.0 ,B ~+> tick ,tick ~+> tick ,K ~+> 0.0 ,K ~+> tick] + f10.5> [N ~=> T ,K ~=> P ,K ~=> R ,huge ~=> A ,huge ~=> B ,huge ~=> C ,U ~+> U ,U ~+> 0.1 ,U ~+> tick ,tick ~+> tick ,K ~+> U ,K ~+> 0.1 ,K ~+> tick ,U ~*> U ,K ~*> U] f10.7> [N ~=> T ,K ~=> P ,K ~=> R ,huge ~=> A ,huge ~=> B ,huge ~=> C ,U ~+> U ,U ~+> 0.1 ,U ~+> tick ,tick ~+> tick ,K ~+> U ,K ~+> 0.1 ,K ~+> tick ,U ~*> U ,K ~*> U] f10.8> [N ~=> T ,K ~=> P ,K ~=> R ,huge ~=> A ,huge ~=> B ,huge ~=> C ,U ~+> U ,U ~+> 0.1 ,U ~+> tick ,tick ~+> tick ,K ~+> U ,K ~+> 0.1 ,K ~+> tick ,U ~*> U ,K ~*> U] f10.6> [N ~=> T ,K ~=> P ,K ~=> R ,huge ~=> A ,huge ~=> B ,huge ~=> C ,U ~+> U ,U ~+> 0.1 ,U ~+> tick ,tick ~+> tick ,K ~+> U ,K ~+> 0.1 ,K ~+> tick ,U ~*> U ,K ~*> U] f10.5> [N ~=> T ,K ~=> P ,K ~=> R ,huge ~=> A ,huge ~=> B ,huge ~=> C ,U ~+> U ,U ~+> 0.1 ,U ~+> tick ,tick ~+> tick ,K ~+> U ,K ~+> 0.1 ,K ~+> tick ,U ~*> U ,K ~*> U] f10.7> [N ~=> T ,K ~=> P ,K ~=> R ,huge ~=> A ,huge ~=> B ,huge ~=> C ,U ~+> U ,U ~+> 0.1 ,U ~+> tick ,tick ~+> tick ,K ~+> U ,K ~+> 0.1 ,K ~+> tick ,U ~*> U ,K ~*> U] f10.8> [N ~=> T ,K ~=> P ,K ~=> R ,huge ~=> A ,huge ~=> B ,huge ~=> C ,U ~+> U ,U ~+> 0.1 ,U ~+> tick ,tick ~+> tick ,K ~+> U ,K ~+> 0.1 ,K ~+> tick ,U ~*> U ,K ~*> U] f10.6> [N ~=> T ,K ~=> P ,K ~=> R ,huge ~=> A ,huge ~=> B ,huge ~=> C ,U ~+> U ,U ~+> 0.1 ,U ~+> tick ,tick ~+> tick ,K ~+> U ,K ~+> 0.1 ,K ~+> tick ,U ~*> U ,K ~*> U] f10.5> [N ~=> T ,K ~=> P ,K ~=> R ,huge ~=> A ,huge ~=> B ,huge ~=> C ,U ~+> U ,U ~+> 0.1 ,U ~+> tick ,tick ~+> tick ,K ~+> U ,K ~+> 0.1 ,K ~+> tick ,U ~*> U ,K ~*> U] f10.7> [N ~=> T ,K ~=> P ,K ~=> R ,huge ~=> A ,huge ~=> B ,huge ~=> C ,U ~+> U ,U ~+> 0.1 ,U ~+> tick ,tick ~+> tick ,K ~+> U ,K ~+> 0.1 ,K ~+> tick ,U ~*> U ,K ~*> U] f10.8> [N ~=> T ,K ~=> P ,K ~=> R ,huge ~=> A ,huge ~=> B ,huge ~=> C ,U ~+> U ,U ~+> 0.1 ,U ~+> tick ,tick ~+> tick ,K ~+> U ,K ~+> 0.1 ,K ~+> tick ,U ~*> U ,K ~*> U] f10.6> [N ~=> T ,K ~=> P ,K ~=> R ,huge ~=> A ,huge ~=> B ,huge ~=> C ,U ~+> U ,U ~+> 0.1 ,U ~+> tick ,tick ~+> tick ,K ~+> U ,K ~+> 0.1 ,K ~+> tick ,U ~*> U ,K ~*> U] f10.5> [N ~=> T ,K ~=> P ,K ~=> R ,huge ~=> A ,huge ~=> B ,huge ~=> C ,U ~+> U ,U ~+> 0.1 ,U ~+> tick ,tick ~+> tick ,K ~+> U ,K ~+> 0.1 ,K ~+> tick ,U ~*> U ,K ~*> U] f10.7> [N ~=> T ,K ~=> P ,K ~=> R ,huge ~=> A ,huge ~=> B ,huge ~=> C ,U ~+> U ,U ~+> 0.1 ,U ~+> tick ,tick ~+> tick ,K ~+> U ,K ~+> 0.1 ,K ~+> tick ,U ~*> U ,K ~*> U] f10.8> [N ~=> T ,K ~=> P ,K ~=> R ,huge ~=> A ,huge ~=> B ,huge ~=> C ,U ~+> U ,U ~+> 0.1 ,U ~+> tick ,tick ~+> tick ,K ~+> U ,K ~+> 0.1 ,K ~+> tick ,U ~*> U ,K ~*> U] f10.6> [N ~=> T ,K ~=> P ,K ~=> R ,huge ~=> A ,huge ~=> B ,huge ~=> C ,U ~+> U ,U ~+> 0.1 ,U ~+> tick ,tick ~+> tick ,K ~+> U ,K ~+> 0.1 ,K ~+> tick ,U ~*> U ,K ~*> U] YES(?,POLY)