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