YES(?,POLY) * Step 1: UnsatPaths WORST_CASE(?,POLY) + Considered Problem: Rules: 0. f0(A,B,C,D,E,F,G,H,I,J,K,L) -> f3(A,B,C,D,E,F,G,H,I,J,K,L) True (1,1) 1. f0(A,B,C,D,E,F,G,H,I,J,K,L) -> f4(A,B,C,D,E,F,G,H,I,J,K,L) True (1,1) 2. f0(A,B,C,D,E,F,G,H,I,J,K,L) -> f8(A,B,C,D,E,F,G,H,I,J,K,L) True (1,1) 3. f3(A,B,C,D,E,F,G,H,I,J,K,L) -> f4(A,B,D,D,F,F,A,B,I,J,K,L) [A >= 1 + B] (?,1) 4. f3(A,B,C,D,E,F,G,H,I,J,K,L) -> f4(A,B,D,D,F,F,A,B,I,J,K,L) [B >= 1 + A] (?,1) 5. f0(A,B,C,D,E,F,G,H,I,J,K,L) -> f3(F,D,D,D,F,F,A,B,I,J,K,L) True (1,1) 6. f0(A,B,C,D,E,F,G,H,I,J,K,L) -> f3(F,D,D,D,F,F,M,N,M,N,K,L) True (1,1) 7. f0(A,B,C,D,E,F,G,H,I,J,K,L) -> f8(O,P,D,M,F,N,A,B,M,N,O,P) True (1,1) 8. f3(A,B,C,D,E,F,G,H,I,J,K,L) -> f8(O,P,D,M,F,N,A,A,M,N,O,P) [A = B] (?,1) 9. f0(A,B,C,D,E,F,G,H,I,J,K,L) -> f3(1 + A,B,D,D,F,F,A,B,I,J,K,L) True (1,1) 10. f4(A,B,C,D,E,F,G,H,I,J,K,L) -> f3(1 + A,B,D,D,F,F,A,B,I,J,K,L) [B >= 1 + A] (?,1) 11. f0(A,B,C,D,E,F,G,H,I,J,K,L) -> f3(A,1 + B,D,D,F,F,A,B,I,J,K,L) True (1,1) 12. f4(A,B,C,D,E,F,G,H,I,J,K,L) -> f3(A,1 + B,D,D,F,F,A,B,I,J,K,L) [A >= B] (?,1) Signature: {(f0,12);(f3,12);(f4,12);(f8,12)} Flow Graph: [0->{3,4,8},1->{10,12},2->{},3->{10,12},4->{10,12},5->{3,4,8},6->{3,4,8},7->{},8->{},9->{3,4,8},10->{3,4 ,8},11->{3,4,8},12->{3,4,8}] + Applied Processor: UnsatPaths + Details: We remove following edges from the transition graph: [(3,10),(4,12),(10,3)] * Step 2: FromIts WORST_CASE(?,POLY) + Considered Problem: Rules: 0. f0(A,B,C,D,E,F,G,H,I,J,K,L) -> f3(A,B,C,D,E,F,G,H,I,J,K,L) True (1,1) 1. f0(A,B,C,D,E,F,G,H,I,J,K,L) -> f4(A,B,C,D,E,F,G,H,I,J,K,L) True (1,1) 2. f0(A,B,C,D,E,F,G,H,I,J,K,L) -> f8(A,B,C,D,E,F,G,H,I,J,K,L) True (1,1) 3. f3(A,B,C,D,E,F,G,H,I,J,K,L) -> f4(A,B,D,D,F,F,A,B,I,J,K,L) [A >= 1 + B] (?,1) 4. f3(A,B,C,D,E,F,G,H,I,J,K,L) -> f4(A,B,D,D,F,F,A,B,I,J,K,L) [B >= 1 + A] (?,1) 5. f0(A,B,C,D,E,F,G,H,I,J,K,L) -> f3(F,D,D,D,F,F,A,B,I,J,K,L) True (1,1) 6. f0(A,B,C,D,E,F,G,H,I,J,K,L) -> f3(F,D,D,D,F,F,M,N,M,N,K,L) True (1,1) 7. f0(A,B,C,D,E,F,G,H,I,J,K,L) -> f8(O,P,D,M,F,N,A,B,M,N,O,P) True (1,1) 8. f3(A,B,C,D,E,F,G,H,I,J,K,L) -> f8(O,P,D,M,F,N,A,A,M,N,O,P) [A = B] (?,1) 9. f0(A,B,C,D,E,F,G,H,I,J,K,L) -> f3(1 + A,B,D,D,F,F,A,B,I,J,K,L) True (1,1) 10. f4(A,B,C,D,E,F,G,H,I,J,K,L) -> f3(1 + A,B,D,D,F,F,A,B,I,J,K,L) [B >= 1 + A] (?,1) 11. f0(A,B,C,D,E,F,G,H,I,J,K,L) -> f3(A,1 + B,D,D,F,F,A,B,I,J,K,L) True (1,1) 12. f4(A,B,C,D,E,F,G,H,I,J,K,L) -> f3(A,1 + B,D,D,F,F,A,B,I,J,K,L) [A >= B] (?,1) Signature: {(f0,12);(f3,12);(f4,12);(f8,12)} Flow Graph: [0->{3,4,8},1->{10,12},2->{},3->{12},4->{10},5->{3,4,8},6->{3,4,8},7->{},8->{},9->{3,4,8},10->{4,8},11->{3 ,4,8},12->{3,4,8}] + Applied Processor: FromIts + Details: () * Step 3: Unfold WORST_CASE(?,POLY) + Considered Problem: Rules: f0(A,B,C,D,E,F,G,H,I,J,K,L) -> f3(A,B,C,D,E,F,G,H,I,J,K,L) True f0(A,B,C,D,E,F,G,H,I,J,K,L) -> f4(A,B,C,D,E,F,G,H,I,J,K,L) True f0(A,B,C,D,E,F,G,H,I,J,K,L) -> f8(A,B,C,D,E,F,G,H,I,J,K,L) True f3(A,B,C,D,E,F,G,H,I,J,K,L) -> f4(A,B,D,D,F,F,A,B,I,J,K,L) [A >= 1 + B] f3(A,B,C,D,E,F,G,H,I,J,K,L) -> f4(A,B,D,D,F,F,A,B,I,J,K,L) [B >= 1 + A] f0(A,B,C,D,E,F,G,H,I,J,K,L) -> f3(F,D,D,D,F,F,A,B,I,J,K,L) True f0(A,B,C,D,E,F,G,H,I,J,K,L) -> f3(F,D,D,D,F,F,M,N,M,N,K,L) True f0(A,B,C,D,E,F,G,H,I,J,K,L) -> f8(O,P,D,M,F,N,A,B,M,N,O,P) True f3(A,B,C,D,E,F,G,H,I,J,K,L) -> f8(O,P,D,M,F,N,A,A,M,N,O,P) [A = B] f0(A,B,C,D,E,F,G,H,I,J,K,L) -> f3(1 + A,B,D,D,F,F,A,B,I,J,K,L) True f4(A,B,C,D,E,F,G,H,I,J,K,L) -> f3(1 + A,B,D,D,F,F,A,B,I,J,K,L) [B >= 1 + A] f0(A,B,C,D,E,F,G,H,I,J,K,L) -> f3(A,1 + B,D,D,F,F,A,B,I,J,K,L) True f4(A,B,C,D,E,F,G,H,I,J,K,L) -> f3(A,1 + B,D,D,F,F,A,B,I,J,K,L) [A >= B] Signature: {(f0,12);(f3,12);(f4,12);(f8,12)} Rule Graph: [0->{3,4,8},1->{10,12},2->{},3->{12},4->{10},5->{3,4,8},6->{3,4,8},7->{},8->{},9->{3,4,8},10->{4,8},11->{3 ,4,8},12->{3,4,8}] + Applied Processor: Unfold + Details: () * Step 4: AddSinks WORST_CASE(?,POLY) + Considered Problem: Rules: f0.0(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.3(A,B,C,D,E,F,G,H,I,J,K,L) True f0.0(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.4(A,B,C,D,E,F,G,H,I,J,K,L) True f0.0(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.8(A,B,C,D,E,F,G,H,I,J,K,L) True f0.1(A,B,C,D,E,F,G,H,I,J,K,L) -> f4.10(A,B,C,D,E,F,G,H,I,J,K,L) True f0.1(A,B,C,D,E,F,G,H,I,J,K,L) -> f4.12(A,B,C,D,E,F,G,H,I,J,K,L) True f0.2(A,B,C,D,E,F,G,H,I,J,K,L) -> f8.13(A,B,C,D,E,F,G,H,I,J,K,L) True f3.3(A,B,C,D,E,F,G,H,I,J,K,L) -> f4.12(A,B,D,D,F,F,A,B,I,J,K,L) [A >= 1 + B] f3.4(A,B,C,D,E,F,G,H,I,J,K,L) -> f4.10(A,B,D,D,F,F,A,B,I,J,K,L) [B >= 1 + A] f0.5(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.3(F,D,D,D,F,F,A,B,I,J,K,L) True f0.5(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.4(F,D,D,D,F,F,A,B,I,J,K,L) True f0.5(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.8(F,D,D,D,F,F,A,B,I,J,K,L) True f0.6(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.3(F,D,D,D,F,F,M,N,M,N,K,L) True f0.6(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.4(F,D,D,D,F,F,M,N,M,N,K,L) True f0.6(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.8(F,D,D,D,F,F,M,N,M,N,K,L) True f0.7(A,B,C,D,E,F,G,H,I,J,K,L) -> f8.13(O,P,D,M,F,N,A,B,M,N,O,P) True f3.8(A,B,C,D,E,F,G,H,I,J,K,L) -> f8.13(O,P,D,M,F,N,A,A,M,N,O,P) [A = B] f0.9(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.3(1 + A,B,D,D,F,F,A,B,I,J,K,L) True f0.9(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.4(1 + A,B,D,D,F,F,A,B,I,J,K,L) True f0.9(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.8(1 + A,B,D,D,F,F,A,B,I,J,K,L) True f4.10(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.4(1 + A,B,D,D,F,F,A,B,I,J,K,L) [B >= 1 + A] f4.10(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.8(1 + A,B,D,D,F,F,A,B,I,J,K,L) [B >= 1 + A] f0.11(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.3(A,1 + B,D,D,F,F,A,B,I,J,K,L) True f0.11(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.4(A,1 + B,D,D,F,F,A,B,I,J,K,L) True f0.11(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.8(A,1 + B,D,D,F,F,A,B,I,J,K,L) True f4.12(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.3(A,1 + B,D,D,F,F,A,B,I,J,K,L) [A >= B] f4.12(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.4(A,1 + B,D,D,F,F,A,B,I,J,K,L) [A >= B] f4.12(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.8(A,1 + B,D,D,F,F,A,B,I,J,K,L) [A >= B] Signature: {(f0.0,12) ;(f0.1,12) ;(f0.11,12) ;(f0.2,12) ;(f0.5,12) ;(f0.6,12) ;(f0.7,12) ;(f0.9,12) ;(f3.3,12) ;(f3.4,12) ;(f3.8,12) ;(f4.10,12) ;(f4.12,12) ;(f8.13,12)} Rule Graph: [0->{6},1->{7},2->{15},3->{19,20},4->{24,25,26},5->{},6->{24,25,26},7->{19,20},8->{6},9->{7},10->{15} ,11->{6},12->{7},13->{15},14->{},15->{},16->{6},17->{7},18->{15},19->{7},20->{15},21->{6},22->{7},23->{15} ,24->{6},25->{7},26->{15}] + Applied Processor: AddSinks + Details: () * Step 5: Decompose WORST_CASE(?,POLY) + Considered Problem: Rules: f0.0(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.3(A,B,C,D,E,F,G,H,I,J,K,L) True f0.0(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.4(A,B,C,D,E,F,G,H,I,J,K,L) True f0.0(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.8(A,B,C,D,E,F,G,H,I,J,K,L) True f0.1(A,B,C,D,E,F,G,H,I,J,K,L) -> f4.10(A,B,C,D,E,F,G,H,I,J,K,L) True f0.1(A,B,C,D,E,F,G,H,I,J,K,L) -> f4.12(A,B,C,D,E,F,G,H,I,J,K,L) True f0.2(A,B,C,D,E,F,G,H,I,J,K,L) -> f8.13(A,B,C,D,E,F,G,H,I,J,K,L) True f3.3(A,B,C,D,E,F,G,H,I,J,K,L) -> f4.12(A,B,D,D,F,F,A,B,I,J,K,L) [A >= 1 + B] f3.4(A,B,C,D,E,F,G,H,I,J,K,L) -> f4.10(A,B,D,D,F,F,A,B,I,J,K,L) [B >= 1 + A] f0.5(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.3(F,D,D,D,F,F,A,B,I,J,K,L) True f0.5(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.4(F,D,D,D,F,F,A,B,I,J,K,L) True f0.5(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.8(F,D,D,D,F,F,A,B,I,J,K,L) True f0.6(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.3(F,D,D,D,F,F,M,N,M,N,K,L) True f0.6(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.4(F,D,D,D,F,F,M,N,M,N,K,L) True f0.6(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.8(F,D,D,D,F,F,M,N,M,N,K,L) True f0.7(A,B,C,D,E,F,G,H,I,J,K,L) -> f8.13(O,P,D,M,F,N,A,B,M,N,O,P) True f3.8(A,B,C,D,E,F,G,H,I,J,K,L) -> f8.13(O,P,D,M,F,N,A,A,M,N,O,P) [A = B] f0.9(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.3(1 + A,B,D,D,F,F,A,B,I,J,K,L) True f0.9(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.4(1 + A,B,D,D,F,F,A,B,I,J,K,L) True f0.9(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.8(1 + A,B,D,D,F,F,A,B,I,J,K,L) True f4.10(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.4(1 + A,B,D,D,F,F,A,B,I,J,K,L) [B >= 1 + A] f4.10(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.8(1 + A,B,D,D,F,F,A,B,I,J,K,L) [B >= 1 + A] f0.11(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.3(A,1 + B,D,D,F,F,A,B,I,J,K,L) True f0.11(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.4(A,1 + B,D,D,F,F,A,B,I,J,K,L) True f0.11(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.8(A,1 + B,D,D,F,F,A,B,I,J,K,L) True f4.12(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.3(A,1 + B,D,D,F,F,A,B,I,J,K,L) [A >= B] f4.12(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.4(A,1 + B,D,D,F,F,A,B,I,J,K,L) [A >= B] f4.12(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.8(A,1 + B,D,D,F,F,A,B,I,J,K,L) [A >= B] f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True Signature: {(exitus616,12) ;(f0.0,12) ;(f0.1,12) ;(f0.11,12) ;(f0.2,12) ;(f0.5,12) ;(f0.6,12) ;(f0.7,12) ;(f0.9,12) ;(f3.3,12) ;(f3.4,12) ;(f3.8,12) ;(f4.10,12) ;(f4.12,12) ;(f8.13,12)} Rule Graph: [0->{6},1->{7},2->{15},3->{19,20},4->{24,25,26},5->{44},6->{24,25,26},7->{19,20},8->{6},9->{7},10->{15} ,11->{6},12->{7},13->{15},14->{35},15->{27,28,29,30,31,32,33,34,36,37,38,39,40,41,42,43,45,46,47,48,49,50 ,51},16->{6},17->{7},18->{15},19->{7},20->{15},21->{6},22->{7},23->{15},24->{6},25->{7},26->{15}] + 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] | +- p:[6,24] c: [6,24] | `- p:[7,19] c: [7,19] * Step 6: AbstractSize WORST_CASE(?,POLY) + Considered Problem: (Rules: f0.0(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.3(A,B,C,D,E,F,G,H,I,J,K,L) True f0.0(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.4(A,B,C,D,E,F,G,H,I,J,K,L) True f0.0(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.8(A,B,C,D,E,F,G,H,I,J,K,L) True f0.1(A,B,C,D,E,F,G,H,I,J,K,L) -> f4.10(A,B,C,D,E,F,G,H,I,J,K,L) True f0.1(A,B,C,D,E,F,G,H,I,J,K,L) -> f4.12(A,B,C,D,E,F,G,H,I,J,K,L) True f0.2(A,B,C,D,E,F,G,H,I,J,K,L) -> f8.13(A,B,C,D,E,F,G,H,I,J,K,L) True f3.3(A,B,C,D,E,F,G,H,I,J,K,L) -> f4.12(A,B,D,D,F,F,A,B,I,J,K,L) [A >= 1 + B] f3.4(A,B,C,D,E,F,G,H,I,J,K,L) -> f4.10(A,B,D,D,F,F,A,B,I,J,K,L) [B >= 1 + A] f0.5(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.3(F,D,D,D,F,F,A,B,I,J,K,L) True f0.5(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.4(F,D,D,D,F,F,A,B,I,J,K,L) True f0.5(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.8(F,D,D,D,F,F,A,B,I,J,K,L) True f0.6(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.3(F,D,D,D,F,F,M,N,M,N,K,L) True f0.6(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.4(F,D,D,D,F,F,M,N,M,N,K,L) True f0.6(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.8(F,D,D,D,F,F,M,N,M,N,K,L) True f0.7(A,B,C,D,E,F,G,H,I,J,K,L) -> f8.13(O,P,D,M,F,N,A,B,M,N,O,P) True f3.8(A,B,C,D,E,F,G,H,I,J,K,L) -> f8.13(O,P,D,M,F,N,A,A,M,N,O,P) [A = B] f0.9(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.3(1 + A,B,D,D,F,F,A,B,I,J,K,L) True f0.9(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.4(1 + A,B,D,D,F,F,A,B,I,J,K,L) True f0.9(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.8(1 + A,B,D,D,F,F,A,B,I,J,K,L) True f4.10(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.4(1 + A,B,D,D,F,F,A,B,I,J,K,L) [B >= 1 + A] f4.10(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.8(1 + A,B,D,D,F,F,A,B,I,J,K,L) [B >= 1 + A] f0.11(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.3(A,1 + B,D,D,F,F,A,B,I,J,K,L) True f0.11(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.4(A,1 + B,D,D,F,F,A,B,I,J,K,L) True f0.11(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.8(A,1 + B,D,D,F,F,A,B,I,J,K,L) True f4.12(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.3(A,1 + B,D,D,F,F,A,B,I,J,K,L) [A >= B] f4.12(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.4(A,1 + B,D,D,F,F,A,B,I,J,K,L) [A >= B] f4.12(A,B,C,D,E,F,G,H,I,J,K,L) -> f3.8(A,1 + B,D,D,F,F,A,B,I,J,K,L) [A >= B] f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True f8.13(A,B,C,D,E,F,G,H,I,J,K,L) -> exitus616(A,B,C,D,E,F,G,H,I,J,K,L) True Signature: {(exitus616,12) ;(f0.0,12) ;(f0.1,12) ;(f0.11,12) ;(f0.2,12) ;(f0.5,12) ;(f0.6,12) ;(f0.7,12) ;(f0.9,12) ;(f3.3,12) ;(f3.4,12) ;(f3.8,12) ;(f4.10,12) ;(f4.12,12) ;(f8.13,12)} Rule Graph: [0->{6},1->{7},2->{15},3->{19,20},4->{24,25,26},5->{44},6->{24,25,26},7->{19,20},8->{6},9->{7},10->{15} ,11->{6},12->{7},13->{15},14->{35},15->{27,28,29,30,31,32,33,34,36,37,38,39,40,41,42,43,45,46,47,48,49,50 ,51},16->{6},17->{7},18->{15},19->{7},20->{15},21->{6},22->{7},23->{15},24->{6},25->{7},26->{15}] ,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] | +- p:[6,24] c: [6,24] | `- p:[7,19] c: [7,19]) + Applied Processor: AbstractSize Minimize + Details: () * Step 7: AbstractFlow WORST_CASE(?,POLY) + Considered Problem: Program: Domain: [A,B,C,D,E,F,G,H,I,J,K,L,0.0,0.1] f0.0 ~> f3.3 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K, L <= L] f0.0 ~> f3.4 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K, L <= L] f0.0 ~> f3.8 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K, L <= L] f0.1 ~> f4.10 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K, L <= L] f0.1 ~> f4.12 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K, L <= L] f0.2 ~> f8.13 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K, L <= L] f3.3 ~> f4.12 [A <= A, B <= B, C <= D, D <= D, E <= F, F <= F, G <= A, H <= B, I <= I, J <= J, K <= K, L <= L] f3.4 ~> f4.10 [A <= A, B <= B, C <= D, D <= D, E <= F, F <= F, G <= A, H <= B, I <= I, J <= J, K <= K, L <= L] f0.5 ~> f3.3 [A <= F, B <= D, C <= D, D <= D, E <= F, F <= F, G <= A, H <= B, I <= I, J <= J, K <= K, L <= L] f0.5 ~> f3.4 [A <= F, B <= D, C <= D, D <= D, E <= F, F <= F, G <= A, H <= B, I <= I, J <= J, K <= K, L <= L] f0.5 ~> f3.8 [A <= F, B <= D, C <= D, D <= D, E <= F, F <= F, G <= A, H <= B, I <= I, J <= J, K <= K, L <= L] f0.6 ~> f3.3 [A <= F, B <= D, C <= D, D <= D, E <= F, F <= F, G <= unknown, H <= unknown, I <= unknown, J <= unknown, K <= K, L <= L] f0.6 ~> f3.4 [A <= F, B <= D, C <= D, D <= D, E <= F, F <= F, G <= unknown, H <= unknown, I <= unknown, J <= unknown, K <= K, L <= L] f0.6 ~> f3.8 [A <= F, B <= D, C <= D, D <= D, E <= F, F <= F, G <= unknown, H <= unknown, I <= unknown, J <= unknown, K <= K, L <= L] f0.7 ~> f8.13 [A <= unknown, B <= unknown, C <= D, D <= unknown, E <= F, F <= unknown, G <= A, H <= B, I <= unknown, J <= unknown, K <= unknown, L <= unknown] f3.8 ~> f8.13 [A <= unknown, B <= unknown, C <= D, D <= unknown, E <= F, F <= unknown, G <= A, H <= A, I <= unknown, J <= unknown, K <= unknown, L <= unknown] f0.9 ~> f3.3 [A <= K + A, B <= B, C <= D, D <= D, E <= F, F <= F, G <= A, H <= B, I <= I, J <= J, K <= K, L <= L] f0.9 ~> f3.4 [A <= K + A, B <= B, C <= D, D <= D, E <= F, F <= F, G <= A, H <= B, I <= I, J <= J, K <= K, L <= L] f0.9 ~> f3.8 [A <= K + A, B <= B, C <= D, D <= D, E <= F, F <= F, G <= A, H <= B, I <= I, J <= J, K <= K, L <= L] f4.10 ~> f3.4 [A <= A + B, B <= B, C <= D, D <= D, E <= F, F <= F, G <= A, H <= B, I <= I, J <= J, K <= K, L <= L] f4.10 ~> f3.8 [A <= A + B, B <= B, C <= D, D <= D, E <= F, F <= F, G <= A, H <= B, I <= I, J <= J, K <= K, L <= L] f0.11 ~> f3.3 [A <= A, B <= K + B, C <= D, D <= D, E <= F, F <= F, G <= A, H <= B, I <= I, J <= J, K <= K, L <= L] f0.11 ~> f3.4 [A <= A, B <= K + B, C <= D, D <= D, E <= F, F <= F, G <= A, H <= B, I <= I, J <= J, K <= K, L <= L] f0.11 ~> f3.8 [A <= A, B <= K + B, C <= D, D <= D, E <= F, F <= F, G <= A, H <= B, I <= I, J <= J, K <= K, L <= L] f4.12 ~> f3.3 [A <= A, B <= K + B, C <= D, D <= D, E <= F, F <= F, G <= A, H <= B, I <= I, J <= J, K <= K, L <= L] f4.12 ~> f3.4 [A <= A, B <= K + B, C <= D, D <= D, E <= F, F <= F, G <= A, H <= B, I <= I, J <= J, K <= K, L <= L] f4.12 ~> f3.8 [A <= A, B <= K + B, C <= D, D <= D, E <= F, F <= F, G <= A, H <= B, I <= I, J <= J, K <= K, L <= L] f8.13 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K, L <= L] f8.13 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K, L <= L] f8.13 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K, L <= L] f8.13 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K, L <= L] f8.13 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K, L <= L] f8.13 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K, L <= L] f8.13 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K, L <= L] f8.13 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K, L <= L] f8.13 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K, L <= L] f8.13 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K, L <= L] f8.13 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K, L <= L] f8.13 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K, L <= L] f8.13 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K, L <= L] f8.13 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K, L <= L] f8.13 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K, L <= L] f8.13 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K, L <= L] f8.13 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K, L <= L] f8.13 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K, L <= L] f8.13 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K, L <= L] f8.13 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K, L <= L] f8.13 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K, L <= L] f8.13 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K, L <= L] f8.13 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K, L <= L] f8.13 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K, L <= L] f8.13 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K, L <= L] + Loop: [0.0 <= A + B] f3.3 ~> f4.12 [A <= A, B <= B, C <= D, D <= D, E <= F, F <= F, G <= A, H <= B, I <= I, J <= J, K <= K, L <= L] f4.12 ~> f3.3 [A <= A, B <= K + B, C <= D, D <= D, E <= F, F <= F, G <= A, H <= B, I <= I, J <= J, K <= K, L <= L] + Loop: [0.1 <= K + A + B] f3.4 ~> f4.10 [A <= A, B <= B, C <= D, D <= D, E <= F, F <= F, G <= A, H <= B, I <= I, J <= J, K <= K, L <= L] f4.10 ~> f3.4 [A <= A + B, B <= B, C <= D, D <= D, E <= F, F <= F, G <= A, H <= B, I <= I, J <= J, K <= K, L <= L] + Applied Processor: AbstractFlow + Details: () * Step 8: Lare WORST_CASE(?,POLY) + Considered Problem: Program: Domain: [tick,huge,K,A,B,C,D,E,F,G,H,I,J,K,L,0.0,0.1] f0.0 ~> f3.3 [] f0.0 ~> f3.4 [] f0.0 ~> f3.8 [] f0.1 ~> f4.10 [] f0.1 ~> f4.12 [] f0.2 ~> f8.13 [] f3.3 ~> f4.12 [A ~=> G,B ~=> H,D ~=> C,F ~=> E] f3.4 ~> f4.10 [A ~=> G,B ~=> H,D ~=> C,F ~=> E] f0.5 ~> f3.3 [A ~=> G,B ~=> H,D ~=> B,D ~=> C,F ~=> A,F ~=> E] f0.5 ~> f3.4 [A ~=> G,B ~=> H,D ~=> B,D ~=> C,F ~=> A,F ~=> E] f0.5 ~> f3.8 [A ~=> G,B ~=> H,D ~=> B,D ~=> C,F ~=> A,F ~=> E] f0.6 ~> f3.3 [D ~=> B,D ~=> C,F ~=> A,F ~=> E,huge ~=> G,huge ~=> H,huge ~=> I,huge ~=> J] f0.6 ~> f3.4 [D ~=> B,D ~=> C,F ~=> A,F ~=> E,huge ~=> G,huge ~=> H,huge ~=> I,huge ~=> J] f0.6 ~> f3.8 [D ~=> B,D ~=> C,F ~=> A,F ~=> E,huge ~=> G,huge ~=> H,huge ~=> I,huge ~=> J] f0.7 ~> f8.13 [A ~=> G ,B ~=> H ,D ~=> C ,F ~=> E ,huge ~=> A ,huge ~=> B ,huge ~=> D ,huge ~=> F ,huge ~=> I ,huge ~=> J ,huge ~=> K ,huge ~=> L] f3.8 ~> f8.13 [A ~=> G ,A ~=> H ,D ~=> C ,F ~=> E ,huge ~=> A ,huge ~=> B ,huge ~=> D ,huge ~=> F ,huge ~=> I ,huge ~=> J ,huge ~=> K ,huge ~=> L] f0.9 ~> f3.3 [A ~=> G,B ~=> H,D ~=> C,F ~=> E,A ~+> A,K ~+> A] f0.9 ~> f3.4 [A ~=> G,B ~=> H,D ~=> C,F ~=> E,A ~+> A,K ~+> A] f0.9 ~> f3.8 [A ~=> G,B ~=> H,D ~=> C,F ~=> E,A ~+> A,K ~+> A] f4.10 ~> f3.4 [A ~=> G,B ~=> H,D ~=> C,F ~=> E,A ~+> A,B ~+> A] f4.10 ~> f3.8 [A ~=> G,B ~=> H,D ~=> C,F ~=> E,A ~+> A,B ~+> A] f0.11 ~> f3.3 [A ~=> G,B ~=> H,D ~=> C,F ~=> E,B ~+> B,K ~+> B] f0.11 ~> f3.4 [A ~=> G,B ~=> H,D ~=> C,F ~=> E,B ~+> B,K ~+> B] f0.11 ~> f3.8 [A ~=> G,B ~=> H,D ~=> C,F ~=> E,B ~+> B,K ~+> B] f4.12 ~> f3.3 [A ~=> G,B ~=> H,D ~=> C,F ~=> E,B ~+> B,K ~+> B] f4.12 ~> f3.4 [A ~=> G,B ~=> H,D ~=> C,F ~=> E,B ~+> B,K ~+> B] f4.12 ~> f3.8 [A ~=> G,B ~=> H,D ~=> C,F ~=> E,B ~+> B,K ~+> B] f8.13 ~> exitus616 [] f8.13 ~> exitus616 [] f8.13 ~> exitus616 [] f8.13 ~> exitus616 [] f8.13 ~> exitus616 [] f8.13 ~> exitus616 [] f8.13 ~> exitus616 [] f8.13 ~> exitus616 [] f8.13 ~> exitus616 [] f8.13 ~> exitus616 [] f8.13 ~> exitus616 [] f8.13 ~> exitus616 [] f8.13 ~> exitus616 [] f8.13 ~> exitus616 [] f8.13 ~> exitus616 [] f8.13 ~> exitus616 [] f8.13 ~> exitus616 [] f8.13 ~> exitus616 [] f8.13 ~> exitus616 [] f8.13 ~> exitus616 [] f8.13 ~> exitus616 [] f8.13 ~> exitus616 [] f8.13 ~> exitus616 [] f8.13 ~> exitus616 [] f8.13 ~> exitus616 [] + Loop: [A ~+> 0.0,B ~+> 0.0] f3.3 ~> f4.12 [A ~=> G,B ~=> H,D ~=> C,F ~=> E] f4.12 ~> f3.3 [A ~=> G,B ~=> H,D ~=> C,F ~=> E,B ~+> B,K ~+> B] + Loop: [A ~+> 0.1,B ~+> 0.1,K ~+> 0.1] f3.4 ~> f4.10 [A ~=> G,B ~=> H,D ~=> C,F ~=> E] f4.10 ~> f3.4 [A ~=> G,B ~=> H,D ~=> C,F ~=> E,A ~+> A,B ~+> A] + Applied Processor: Lare + Details: f0.0 ~> exitus616 [A ~=> G ,A ~=> H ,D ~=> C ,F ~=> E ,huge ~=> A ,huge ~=> B ,huge ~=> D ,huge ~=> F ,huge ~=> I ,huge ~=> J ,huge ~=> K ,huge ~=> L ,A ~+> G ,A ~+> H ,A ~+> 0.0 ,A ~+> 0.1 ,A ~+> tick ,B ~+> G ,B ~+> H ,B ~+> 0.0 ,B ~+> 0.1 ,B ~+> tick ,tick ~+> tick ,K ~+> G ,K ~+> H ,K ~+> 0.0 ,K ~+> 0.1 ,K ~+> tick ,A ~*> G ,A ~*> H ,A ~*> 0.0 ,A ~*> 0.1 ,A ~*> tick ,B ~*> G ,B ~*> H ,B ~*> 0.0 ,B ~*> 0.1 ,B ~*> tick ,K ~*> G ,K ~*> H ,K ~*> 0.0 ,K ~*> 0.1 ,K ~*> tick] f0.5 ~> exitus616 [D ~=> C ,F ~=> E ,F ~=> G ,F ~=> H ,huge ~=> A ,huge ~=> B ,huge ~=> D ,huge ~=> F ,huge ~=> I ,huge ~=> J ,huge ~=> K ,huge ~=> L ,D ~+> G ,D ~+> H ,D ~+> 0.0 ,D ~+> 0.1 ,D ~+> tick ,F ~+> G ,F ~+> H ,F ~+> 0.0 ,F ~+> 0.1 ,F ~+> tick ,tick ~+> tick ,K ~+> G ,K ~+> H ,K ~+> 0.0 ,K ~+> 0.1 ,K ~+> tick ,D ~*> G ,D ~*> H ,D ~*> 0.0 ,D ~*> 0.1 ,D ~*> tick ,F ~*> G ,F ~*> H ,F ~*> 0.0 ,F ~*> 0.1 ,F ~*> tick ,K ~*> G ,K ~*> H ,K ~*> 0.0 ,K ~*> 0.1 ,K ~*> tick] f0.6 ~> exitus616 [D ~=> C ,F ~=> E ,F ~=> G ,F ~=> H ,huge ~=> A ,huge ~=> B ,huge ~=> D ,huge ~=> F ,huge ~=> I ,huge ~=> J ,huge ~=> K ,huge ~=> L ,D ~+> G ,D ~+> H ,D ~+> 0.0 ,D ~+> 0.1 ,D ~+> tick ,F ~+> G ,F ~+> H ,F ~+> 0.0 ,F ~+> 0.1 ,F ~+> tick ,tick ~+> tick ,K ~+> G ,K ~+> H ,K ~+> 0.0 ,K ~+> 0.1 ,K ~+> tick ,D ~*> G ,D ~*> H ,D ~*> 0.0 ,D ~*> 0.1 ,D ~*> tick ,F ~*> G ,F ~*> H ,F ~*> 0.0 ,F ~*> 0.1 ,F ~*> tick ,K ~*> G ,K ~*> H ,K ~*> 0.0 ,K ~*> 0.1 ,K ~*> tick] f0.9 ~> exitus616 [D ~=> C ,F ~=> E ,huge ~=> A ,huge ~=> B ,huge ~=> D ,huge ~=> F ,huge ~=> I ,huge ~=> J ,huge ~=> K ,huge ~=> L ,A ~+> G ,A ~+> H ,A ~+> 0.0 ,A ~+> 0.1 ,A ~+> tick ,B ~+> G ,B ~+> H ,B ~+> 0.0 ,B ~+> 0.1 ,B ~+> tick ,tick ~+> tick ,K ~+> G ,K ~+> H ,K ~+> 0.0 ,K ~+> 0.1 ,K ~+> tick ,A ~*> G ,A ~*> H ,A ~*> 0.0 ,A ~*> 0.1 ,A ~*> tick ,B ~*> G ,B ~*> H ,B ~*> 0.0 ,B ~*> 0.1 ,B ~*> tick ,K ~*> G ,K ~*> H ,K ~*> 0.0 ,K ~*> 0.1 ,K ~*> tick] f0.11 ~> exitus616 [A ~=> G ,A ~=> H ,D ~=> C ,F ~=> E ,huge ~=> A ,huge ~=> B ,huge ~=> D ,huge ~=> F ,huge ~=> I ,huge ~=> J ,huge ~=> K ,huge ~=> L ,A ~+> G ,A ~+> H ,A ~+> 0.0 ,A ~+> 0.1 ,A ~+> tick ,B ~+> G ,B ~+> H ,B ~+> 0.0 ,B ~+> 0.1 ,B ~+> tick ,tick ~+> tick ,K ~+> G ,K ~+> H ,K ~+> 0.0 ,K ~+> 0.1 ,K ~+> tick ,A ~*> G ,A ~*> H ,A ~*> 0.0 ,A ~*> 0.1 ,A ~*> tick ,B ~*> G ,B ~*> H ,B ~*> 0.0 ,B ~*> 0.1 ,B ~*> tick ,K ~*> G ,K ~*> H ,K ~*> 0.0 ,K ~*> 0.1 ,K ~*> tick] f0.2 ~> exitus616 [] f0.7 ~> exitus616 [A ~=> G ,B ~=> H ,D ~=> C ,F ~=> E ,huge ~=> A ,huge ~=> B ,huge ~=> D ,huge ~=> F ,huge ~=> I ,huge ~=> J ,huge ~=> K ,huge ~=> L] f0.1 ~> exitus616 [A ~=> G ,A ~=> H ,D ~=> C ,F ~=> E ,huge ~=> A ,huge ~=> B ,huge ~=> D ,huge ~=> F ,huge ~=> I ,huge ~=> J ,huge ~=> K ,huge ~=> L ,A ~+> G ,A ~+> H ,A ~+> 0.0 ,A ~+> 0.1 ,A ~+> tick ,B ~+> G ,B ~+> H ,B ~+> 0.0 ,B ~+> 0.1 ,B ~+> tick ,tick ~+> tick ,K ~+> G ,K ~+> H ,K ~+> 0.1 ,K ~+> tick ,A ~*> G ,A ~*> H ,A ~*> 0.1 ,A ~*> tick ,B ~*> G ,B ~*> H ,B ~*> 0.1 ,B ~*> tick ,K ~*> G ,K ~*> H ,K ~*> 0.1 ,K ~*> tick] + f4.12> [A ~=> G ,D ~=> C ,F ~=> E ,A ~+> 0.0 ,A ~+> tick ,B ~+> B ,B ~+> H ,B ~+> 0.0 ,B ~+> tick ,tick ~+> tick ,K ~+> B ,K ~+> H ,A ~*> B ,B ~*> B ,K ~*> B ,K ~*> H] f4.12> [A ~=> G ,B ~=> H ,D ~=> C ,F ~=> E ,A ~+> 0.0 ,A ~+> tick ,B ~+> B ,B ~+> H ,B ~+> 0.0 ,B ~+> tick ,tick ~+> tick ,K ~+> B ,K ~+> H ,A ~*> B ,A ~*> H ,B ~*> B ,B ~*> H ,K ~*> B ,K ~*> H] + f4.10> [B ~=> H ,D ~=> C ,F ~=> E ,A ~+> A ,A ~+> G ,A ~+> 0.1 ,A ~+> tick ,B ~+> A ,B ~+> G ,B ~+> 0.1 ,B ~+> tick ,tick ~+> tick ,K ~+> 0.1 ,K ~+> tick ,A ~*> A ,B ~*> A ,B ~*> G ,K ~*> A] f4.10> [A ~=> G ,B ~=> H ,D ~=> C ,F ~=> E ,A ~+> A ,A ~+> G ,A ~+> 0.1 ,A ~+> tick ,B ~+> A ,B ~+> G ,B ~+> 0.1 ,B ~+> tick ,tick ~+> tick ,K ~+> 0.1 ,K ~+> tick ,A ~*> A ,A ~*> G ,B ~*> A ,B ~*> G ,K ~*> A ,K ~*> G] YES(?,POLY)