YES(?,O(1)) * Step 1: UnsatPaths WORST_CASE(?,O(1)) + Considered Problem: Rules: 0. f16(A,B,C,D,E,F,G,H,I,J) -> f19(A,0,C,D,E,F,G,H,I,J) [19 >= A] (?,1) 1. f33(A,B,C,D,E,F,G,H,I,J) -> f36(A,B,C,0,E,F,G,H,I,J) [19 >= C] (?,1) 2. f52(A,B,C,D,E,F,G,H,I,J) -> f55(A,B,C,D,E,0,G,H,I,J) [19 >= E] (?,1) 3. f55(A,B,C,D,E,F,G,H,I,J) -> f59(A,B,C,D,E,F,0,H,I,J) [19 >= F] (?,1) 4. f59(A,B,C,D,E,F,G,H,I,J) -> f59(A,B,C,D,E,F,1 + G,H,I,J) [19 >= G] (?,1) 5. f59(A,B,C,D,E,F,G,H,I,J) -> f55(A,B,C,D,E,1 + F,G,H,I,J) [G >= 20] (?,1) 6. f55(A,B,C,D,E,F,G,H,I,J) -> f52(A,B,C,D,1 + E,F,G,H,I,J) [F >= 20] (?,1) 7. f52(A,B,C,D,E,F,G,H,I,J) -> f73(A,B,C,D,E,F,G,H,I,J) [E >= 20] (?,1) 8. f36(A,B,C,D,E,F,G,H,I,J) -> f36(A,B,C,1 + D,E,F,G,K,K,J) [19 >= D] (?,1) 9. f36(A,B,C,D,E,F,G,H,I,J) -> f33(A,B,1 + C,D,E,F,G,H,I,J) [D >= 20] (?,1) 10. f33(A,B,C,D,E,F,G,H,I,J) -> f52(A,B,C,D,0,F,G,H,I,J) [C >= 20] (?,1) 11. f19(A,B,C,D,E,F,G,H,I,J) -> f19(A,1 + B,C,D,E,F,G,K,I,K) [19 >= B] (?,1) 12. f19(A,B,C,D,E,F,G,H,I,J) -> f16(1 + A,B,C,D,E,F,G,H,I,J) [B >= 20] (?,1) 13. f16(A,B,C,D,E,F,G,H,I,J) -> f33(A,B,0,D,E,F,G,H,I,J) [A >= 20] (?,1) 14. f0(A,B,C,D,E,F,G,H,I,J) -> f16(0,B,C,D,E,F,G,0,I,J) True (1,1) Signature: {(f0,10);(f16,10);(f19,10);(f33,10);(f36,10);(f52,10);(f55,10);(f59,10);(f73,10)} Flow Graph: [0->{11,12},1->{8,9},2->{3,6},3->{4,5},4->{4,5},5->{3,6},6->{2,7},7->{},8->{8,9},9->{1,10},10->{2,7} ,11->{11,12},12->{0,13},13->{1,10},14->{0,13}] + Applied Processor: UnsatPaths + Details: We remove following edges from the transition graph: [(0,12),(1,9),(2,6),(3,5),(10,7),(13,10),(14,13)] * Step 2: FromIts WORST_CASE(?,O(1)) + Considered Problem: Rules: 0. f16(A,B,C,D,E,F,G,H,I,J) -> f19(A,0,C,D,E,F,G,H,I,J) [19 >= A] (?,1) 1. f33(A,B,C,D,E,F,G,H,I,J) -> f36(A,B,C,0,E,F,G,H,I,J) [19 >= C] (?,1) 2. f52(A,B,C,D,E,F,G,H,I,J) -> f55(A,B,C,D,E,0,G,H,I,J) [19 >= E] (?,1) 3. f55(A,B,C,D,E,F,G,H,I,J) -> f59(A,B,C,D,E,F,0,H,I,J) [19 >= F] (?,1) 4. f59(A,B,C,D,E,F,G,H,I,J) -> f59(A,B,C,D,E,F,1 + G,H,I,J) [19 >= G] (?,1) 5. f59(A,B,C,D,E,F,G,H,I,J) -> f55(A,B,C,D,E,1 + F,G,H,I,J) [G >= 20] (?,1) 6. f55(A,B,C,D,E,F,G,H,I,J) -> f52(A,B,C,D,1 + E,F,G,H,I,J) [F >= 20] (?,1) 7. f52(A,B,C,D,E,F,G,H,I,J) -> f73(A,B,C,D,E,F,G,H,I,J) [E >= 20] (?,1) 8. f36(A,B,C,D,E,F,G,H,I,J) -> f36(A,B,C,1 + D,E,F,G,K,K,J) [19 >= D] (?,1) 9. f36(A,B,C,D,E,F,G,H,I,J) -> f33(A,B,1 + C,D,E,F,G,H,I,J) [D >= 20] (?,1) 10. f33(A,B,C,D,E,F,G,H,I,J) -> f52(A,B,C,D,0,F,G,H,I,J) [C >= 20] (?,1) 11. f19(A,B,C,D,E,F,G,H,I,J) -> f19(A,1 + B,C,D,E,F,G,K,I,K) [19 >= B] (?,1) 12. f19(A,B,C,D,E,F,G,H,I,J) -> f16(1 + A,B,C,D,E,F,G,H,I,J) [B >= 20] (?,1) 13. f16(A,B,C,D,E,F,G,H,I,J) -> f33(A,B,0,D,E,F,G,H,I,J) [A >= 20] (?,1) 14. f0(A,B,C,D,E,F,G,H,I,J) -> f16(0,B,C,D,E,F,G,0,I,J) True (1,1) Signature: {(f0,10);(f16,10);(f19,10);(f33,10);(f36,10);(f52,10);(f55,10);(f59,10);(f73,10)} Flow Graph: [0->{11},1->{8},2->{3},3->{4},4->{4,5},5->{3,6},6->{2,7},7->{},8->{8,9},9->{1,10},10->{2},11->{11,12} ,12->{0,13},13->{1},14->{0}] + Applied Processor: FromIts + Details: () * Step 3: Unfold WORST_CASE(?,O(1)) + Considered Problem: Rules: f16(A,B,C,D,E,F,G,H,I,J) -> f19(A,0,C,D,E,F,G,H,I,J) [19 >= A] f33(A,B,C,D,E,F,G,H,I,J) -> f36(A,B,C,0,E,F,G,H,I,J) [19 >= C] f52(A,B,C,D,E,F,G,H,I,J) -> f55(A,B,C,D,E,0,G,H,I,J) [19 >= E] f55(A,B,C,D,E,F,G,H,I,J) -> f59(A,B,C,D,E,F,0,H,I,J) [19 >= F] f59(A,B,C,D,E,F,G,H,I,J) -> f59(A,B,C,D,E,F,1 + G,H,I,J) [19 >= G] f59(A,B,C,D,E,F,G,H,I,J) -> f55(A,B,C,D,E,1 + F,G,H,I,J) [G >= 20] f55(A,B,C,D,E,F,G,H,I,J) -> f52(A,B,C,D,1 + E,F,G,H,I,J) [F >= 20] f52(A,B,C,D,E,F,G,H,I,J) -> f73(A,B,C,D,E,F,G,H,I,J) [E >= 20] f36(A,B,C,D,E,F,G,H,I,J) -> f36(A,B,C,1 + D,E,F,G,K,K,J) [19 >= D] f36(A,B,C,D,E,F,G,H,I,J) -> f33(A,B,1 + C,D,E,F,G,H,I,J) [D >= 20] f33(A,B,C,D,E,F,G,H,I,J) -> f52(A,B,C,D,0,F,G,H,I,J) [C >= 20] f19(A,B,C,D,E,F,G,H,I,J) -> f19(A,1 + B,C,D,E,F,G,K,I,K) [19 >= B] f19(A,B,C,D,E,F,G,H,I,J) -> f16(1 + A,B,C,D,E,F,G,H,I,J) [B >= 20] f16(A,B,C,D,E,F,G,H,I,J) -> f33(A,B,0,D,E,F,G,H,I,J) [A >= 20] f0(A,B,C,D,E,F,G,H,I,J) -> f16(0,B,C,D,E,F,G,0,I,J) True Signature: {(f0,10);(f16,10);(f19,10);(f33,10);(f36,10);(f52,10);(f55,10);(f59,10);(f73,10)} Rule Graph: [0->{11},1->{8},2->{3},3->{4},4->{4,5},5->{3,6},6->{2,7},7->{},8->{8,9},9->{1,10},10->{2},11->{11,12} ,12->{0,13},13->{1},14->{0}] + Applied Processor: Unfold + Details: () * Step 4: AddSinks WORST_CASE(?,O(1)) + Considered Problem: Rules: f16.0(A,B,C,D,E,F,G,H,I,J) -> f19.11(A,0,C,D,E,F,G,H,I,J) [19 >= A] f33.1(A,B,C,D,E,F,G,H,I,J) -> f36.8(A,B,C,0,E,F,G,H,I,J) [19 >= C] f52.2(A,B,C,D,E,F,G,H,I,J) -> f55.3(A,B,C,D,E,0,G,H,I,J) [19 >= E] f55.3(A,B,C,D,E,F,G,H,I,J) -> f59.4(A,B,C,D,E,F,0,H,I,J) [19 >= F] f59.4(A,B,C,D,E,F,G,H,I,J) -> f59.4(A,B,C,D,E,F,1 + G,H,I,J) [19 >= G] f59.4(A,B,C,D,E,F,G,H,I,J) -> f59.5(A,B,C,D,E,F,1 + G,H,I,J) [19 >= G] f59.5(A,B,C,D,E,F,G,H,I,J) -> f55.3(A,B,C,D,E,1 + F,G,H,I,J) [G >= 20] f59.5(A,B,C,D,E,F,G,H,I,J) -> f55.6(A,B,C,D,E,1 + F,G,H,I,J) [G >= 20] f55.6(A,B,C,D,E,F,G,H,I,J) -> f52.2(A,B,C,D,1 + E,F,G,H,I,J) [F >= 20] f55.6(A,B,C,D,E,F,G,H,I,J) -> f52.7(A,B,C,D,1 + E,F,G,H,I,J) [F >= 20] f52.7(A,B,C,D,E,F,G,H,I,J) -> f73.15(A,B,C,D,E,F,G,H,I,J) [E >= 20] f36.8(A,B,C,D,E,F,G,H,I,J) -> f36.8(A,B,C,1 + D,E,F,G,K,K,J) [19 >= D] f36.8(A,B,C,D,E,F,G,H,I,J) -> f36.9(A,B,C,1 + D,E,F,G,K,K,J) [19 >= D] f36.9(A,B,C,D,E,F,G,H,I,J) -> f33.1(A,B,1 + C,D,E,F,G,H,I,J) [D >= 20] f36.9(A,B,C,D,E,F,G,H,I,J) -> f33.10(A,B,1 + C,D,E,F,G,H,I,J) [D >= 20] f33.10(A,B,C,D,E,F,G,H,I,J) -> f52.2(A,B,C,D,0,F,G,H,I,J) [C >= 20] f19.11(A,B,C,D,E,F,G,H,I,J) -> f19.11(A,1 + B,C,D,E,F,G,K,I,K) [19 >= B] f19.11(A,B,C,D,E,F,G,H,I,J) -> f19.12(A,1 + B,C,D,E,F,G,K,I,K) [19 >= B] f19.12(A,B,C,D,E,F,G,H,I,J) -> f16.0(1 + A,B,C,D,E,F,G,H,I,J) [B >= 20] f19.12(A,B,C,D,E,F,G,H,I,J) -> f16.13(1 + A,B,C,D,E,F,G,H,I,J) [B >= 20] f16.13(A,B,C,D,E,F,G,H,I,J) -> f33.1(A,B,0,D,E,F,G,H,I,J) [A >= 20] f0.14(A,B,C,D,E,F,G,H,I,J) -> f16.0(0,B,C,D,E,F,G,0,I,J) True Signature: {(f0.14,10) ;(f16.0,10) ;(f16.13,10) ;(f19.11,10) ;(f19.12,10) ;(f33.1,10) ;(f33.10,10) ;(f36.8,10) ;(f36.9,10) ;(f52.2,10) ;(f52.7,10) ;(f55.3,10) ;(f55.6,10) ;(f59.4,10) ;(f59.5,10) ;(f73.15,10)} Rule Graph: [0->{16,17},1->{11,12},2->{3},3->{4,5},4->{4,5},5->{6,7},6->{3},7->{8,9},8->{2},9->{10},10->{},11->{11,12} ,12->{13,14},13->{1},14->{15},15->{2},16->{16,17},17->{18,19},18->{0},19->{20},20->{1},21->{0}] + Applied Processor: AddSinks + Details: () * Step 5: Decompose WORST_CASE(?,O(1)) + Considered Problem: Rules: f16.0(A,B,C,D,E,F,G,H,I,J) -> f19.11(A,0,C,D,E,F,G,H,I,J) [19 >= A] f33.1(A,B,C,D,E,F,G,H,I,J) -> f36.8(A,B,C,0,E,F,G,H,I,J) [19 >= C] f52.2(A,B,C,D,E,F,G,H,I,J) -> f55.3(A,B,C,D,E,0,G,H,I,J) [19 >= E] f55.3(A,B,C,D,E,F,G,H,I,J) -> f59.4(A,B,C,D,E,F,0,H,I,J) [19 >= F] f59.4(A,B,C,D,E,F,G,H,I,J) -> f59.4(A,B,C,D,E,F,1 + G,H,I,J) [19 >= G] f59.4(A,B,C,D,E,F,G,H,I,J) -> f59.5(A,B,C,D,E,F,1 + G,H,I,J) [19 >= G] f59.5(A,B,C,D,E,F,G,H,I,J) -> f55.3(A,B,C,D,E,1 + F,G,H,I,J) [G >= 20] f59.5(A,B,C,D,E,F,G,H,I,J) -> f55.6(A,B,C,D,E,1 + F,G,H,I,J) [G >= 20] f55.6(A,B,C,D,E,F,G,H,I,J) -> f52.2(A,B,C,D,1 + E,F,G,H,I,J) [F >= 20] f55.6(A,B,C,D,E,F,G,H,I,J) -> f52.7(A,B,C,D,1 + E,F,G,H,I,J) [F >= 20] f52.7(A,B,C,D,E,F,G,H,I,J) -> f73.15(A,B,C,D,E,F,G,H,I,J) [E >= 20] f36.8(A,B,C,D,E,F,G,H,I,J) -> f36.8(A,B,C,1 + D,E,F,G,K,K,J) [19 >= D] f36.8(A,B,C,D,E,F,G,H,I,J) -> f36.9(A,B,C,1 + D,E,F,G,K,K,J) [19 >= D] f36.9(A,B,C,D,E,F,G,H,I,J) -> f33.1(A,B,1 + C,D,E,F,G,H,I,J) [D >= 20] f36.9(A,B,C,D,E,F,G,H,I,J) -> f33.10(A,B,1 + C,D,E,F,G,H,I,J) [D >= 20] f33.10(A,B,C,D,E,F,G,H,I,J) -> f52.2(A,B,C,D,0,F,G,H,I,J) [C >= 20] f19.11(A,B,C,D,E,F,G,H,I,J) -> f19.11(A,1 + B,C,D,E,F,G,K,I,K) [19 >= B] f19.11(A,B,C,D,E,F,G,H,I,J) -> f19.12(A,1 + B,C,D,E,F,G,K,I,K) [19 >= B] f19.12(A,B,C,D,E,F,G,H,I,J) -> f16.0(1 + A,B,C,D,E,F,G,H,I,J) [B >= 20] f19.12(A,B,C,D,E,F,G,H,I,J) -> f16.13(1 + A,B,C,D,E,F,G,H,I,J) [B >= 20] f16.13(A,B,C,D,E,F,G,H,I,J) -> f33.1(A,B,0,D,E,F,G,H,I,J) [A >= 20] f0.14(A,B,C,D,E,F,G,H,I,J) -> f16.0(0,B,C,D,E,F,G,0,I,J) True f73.15(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True Signature: {(exitus616,10) ;(f0.14,10) ;(f16.0,10) ;(f16.13,10) ;(f19.11,10) ;(f19.12,10) ;(f33.1,10) ;(f33.10,10) ;(f36.8,10) ;(f36.9,10) ;(f52.2,10) ;(f52.7,10) ;(f55.3,10) ;(f55.6,10) ;(f59.4,10) ;(f59.5,10) ;(f73.15,10)} Rule Graph: [0->{16,17},1->{11,12},2->{3},3->{4,5},4->{4,5},5->{6,7},6->{3},7->{8,9},8->{2},9->{10},10->{22},11->{11 ,12},12->{13,14},13->{1},14->{15},15->{2},16->{16,17},17->{18,19},18->{0},19->{20},20->{1},21->{0}] + 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] | +- p:[0,18,17,16] c: [0,17,18] | | | `- p:[16] c: [16] | +- p:[1,13,12,11] c: [1,12,13] | | | `- p:[11] c: [11] | `- p:[2,8,7,5,3,6,4] c: [2,7,8] | `- p:[3,6,5,4] c: [3,5,6] | `- p:[4] c: [4] * Step 6: AbstractSize WORST_CASE(?,O(1)) + Considered Problem: (Rules: f16.0(A,B,C,D,E,F,G,H,I,J) -> f19.11(A,0,C,D,E,F,G,H,I,J) [19 >= A] f33.1(A,B,C,D,E,F,G,H,I,J) -> f36.8(A,B,C,0,E,F,G,H,I,J) [19 >= C] f52.2(A,B,C,D,E,F,G,H,I,J) -> f55.3(A,B,C,D,E,0,G,H,I,J) [19 >= E] f55.3(A,B,C,D,E,F,G,H,I,J) -> f59.4(A,B,C,D,E,F,0,H,I,J) [19 >= F] f59.4(A,B,C,D,E,F,G,H,I,J) -> f59.4(A,B,C,D,E,F,1 + G,H,I,J) [19 >= G] f59.4(A,B,C,D,E,F,G,H,I,J) -> f59.5(A,B,C,D,E,F,1 + G,H,I,J) [19 >= G] f59.5(A,B,C,D,E,F,G,H,I,J) -> f55.3(A,B,C,D,E,1 + F,G,H,I,J) [G >= 20] f59.5(A,B,C,D,E,F,G,H,I,J) -> f55.6(A,B,C,D,E,1 + F,G,H,I,J) [G >= 20] f55.6(A,B,C,D,E,F,G,H,I,J) -> f52.2(A,B,C,D,1 + E,F,G,H,I,J) [F >= 20] f55.6(A,B,C,D,E,F,G,H,I,J) -> f52.7(A,B,C,D,1 + E,F,G,H,I,J) [F >= 20] f52.7(A,B,C,D,E,F,G,H,I,J) -> f73.15(A,B,C,D,E,F,G,H,I,J) [E >= 20] f36.8(A,B,C,D,E,F,G,H,I,J) -> f36.8(A,B,C,1 + D,E,F,G,K,K,J) [19 >= D] f36.8(A,B,C,D,E,F,G,H,I,J) -> f36.9(A,B,C,1 + D,E,F,G,K,K,J) [19 >= D] f36.9(A,B,C,D,E,F,G,H,I,J) -> f33.1(A,B,1 + C,D,E,F,G,H,I,J) [D >= 20] f36.9(A,B,C,D,E,F,G,H,I,J) -> f33.10(A,B,1 + C,D,E,F,G,H,I,J) [D >= 20] f33.10(A,B,C,D,E,F,G,H,I,J) -> f52.2(A,B,C,D,0,F,G,H,I,J) [C >= 20] f19.11(A,B,C,D,E,F,G,H,I,J) -> f19.11(A,1 + B,C,D,E,F,G,K,I,K) [19 >= B] f19.11(A,B,C,D,E,F,G,H,I,J) -> f19.12(A,1 + B,C,D,E,F,G,K,I,K) [19 >= B] f19.12(A,B,C,D,E,F,G,H,I,J) -> f16.0(1 + A,B,C,D,E,F,G,H,I,J) [B >= 20] f19.12(A,B,C,D,E,F,G,H,I,J) -> f16.13(1 + A,B,C,D,E,F,G,H,I,J) [B >= 20] f16.13(A,B,C,D,E,F,G,H,I,J) -> f33.1(A,B,0,D,E,F,G,H,I,J) [A >= 20] f0.14(A,B,C,D,E,F,G,H,I,J) -> f16.0(0,B,C,D,E,F,G,0,I,J) True f73.15(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True Signature: {(exitus616,10) ;(f0.14,10) ;(f16.0,10) ;(f16.13,10) ;(f19.11,10) ;(f19.12,10) ;(f33.1,10) ;(f33.10,10) ;(f36.8,10) ;(f36.9,10) ;(f52.2,10) ;(f52.7,10) ;(f55.3,10) ;(f55.6,10) ;(f59.4,10) ;(f59.5,10) ;(f73.15,10)} Rule Graph: [0->{16,17},1->{11,12},2->{3},3->{4,5},4->{4,5},5->{6,7},6->{3},7->{8,9},8->{2},9->{10},10->{22},11->{11 ,12},12->{13,14},13->{1},14->{15},15->{2},16->{16,17},17->{18,19},18->{0},19->{20},20->{1},21->{0}] ,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] | +- p:[0,18,17,16] c: [0,17,18] | | | `- p:[16] c: [16] | +- p:[1,13,12,11] c: [1,12,13] | | | `- p:[11] c: [11] | `- p:[2,8,7,5,3,6,4] c: [2,7,8] | `- p:[3,6,5,4] c: [3,5,6] | `- p:[4] c: [4]) + Applied Processor: AbstractSize Minimize + Details: () * Step 7: AbstractFlow WORST_CASE(?,O(1)) + Considered Problem: Program: Domain: [A,B,C,D,E,F,G,H,I,J,0.0,0.0.0,0.1,0.1.0,0.2,0.2.0,0.2.0.0] f16.0 ~> f19.11 [A <= A, B <= 0*K, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f33.1 ~> f36.8 [A <= A, B <= B, C <= C, D <= 0*K, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f52.2 ~> f55.3 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= 0*K, G <= G, H <= H, I <= I, J <= J] f55.3 ~> f59.4 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= 0*K, H <= H, I <= I, J <= J] f59.4 ~> f59.4 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= K + G, H <= H, I <= I, J <= J] f59.4 ~> f59.5 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= K + G, H <= H, I <= I, J <= J] f59.5 ~> f55.3 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= K + F, G <= G, H <= H, I <= I, J <= J] f59.5 ~> f55.6 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= K + F, G <= G, H <= H, I <= I, J <= J] f55.6 ~> f52.2 [A <= A, B <= B, C <= C, D <= D, E <= K + E, F <= F, G <= G, H <= H, I <= I, J <= J] f55.6 ~> f52.7 [A <= A, B <= B, C <= C, D <= D, E <= K + E, F <= F, G <= G, H <= H, I <= I, J <= J] f52.7 ~> f73.15 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f36.8 ~> f36.8 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= unknown, I <= unknown, J <= J] f36.8 ~> f36.9 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= unknown, I <= unknown, J <= J] f36.9 ~> f33.1 [A <= A, B <= B, C <= K + C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f36.9 ~> f33.10 [A <= A, B <= B, C <= K + C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f33.10 ~> f52.2 [A <= A, B <= B, C <= C, D <= D, E <= 0*K, F <= F, G <= G, H <= H, I <= I, J <= J] f19.11 ~> f19.11 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= unknown, I <= I, J <= unknown] f19.11 ~> f19.12 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= unknown, I <= I, J <= unknown] f19.12 ~> f16.0 [A <= K + A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f19.12 ~> f16.13 [A <= K + A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f16.13 ~> f33.1 [A <= A, B <= B, C <= 0*K, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f0.14 ~> f16.0 [A <= 0*K, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= 0*K, I <= I, J <= J] f73.15 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] + Loop: [0.0 <= 19*K + A] f16.0 ~> f19.11 [A <= A, B <= 0*K, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f19.12 ~> f16.0 [A <= K + A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f19.11 ~> f19.12 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= unknown, I <= I, J <= unknown] f19.11 ~> f19.11 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= unknown, I <= I, J <= unknown] + Loop: [0.0.0 <= 19*K + B] f19.11 ~> f19.11 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= unknown, I <= I, J <= unknown] + Loop: [0.1 <= 19*K + C] f33.1 ~> f36.8 [A <= A, B <= B, C <= C, D <= 0*K, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f36.9 ~> f33.1 [A <= A, B <= B, C <= K + C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f36.8 ~> f36.9 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= unknown, I <= unknown, J <= J] f36.8 ~> f36.8 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= unknown, I <= unknown, J <= J] + Loop: [0.1.0 <= 19*K + D] f36.8 ~> f36.8 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= unknown, I <= unknown, J <= J] + Loop: [0.2 <= 19*K + E] f52.2 ~> f55.3 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= 0*K, G <= G, H <= H, I <= I, J <= J] f55.6 ~> f52.2 [A <= A, B <= B, C <= C, D <= D, E <= K + E, F <= F, G <= G, H <= H, I <= I, J <= J] f59.5 ~> f55.6 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= K + F, G <= G, H <= H, I <= I, J <= J] f59.4 ~> f59.5 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= K + G, H <= H, I <= I, J <= J] f55.3 ~> f59.4 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= 0*K, H <= H, I <= I, J <= J] f59.5 ~> f55.3 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= K + F, G <= G, H <= H, I <= I, J <= J] f59.4 ~> f59.4 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= K + G, H <= H, I <= I, J <= J] + Loop: [0.2.0 <= 19*K + F] f55.3 ~> f59.4 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= 0*K, H <= H, I <= I, J <= J] f59.5 ~> f55.3 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= K + F, G <= G, H <= H, I <= I, J <= J] f59.4 ~> f59.5 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= K + G, H <= H, I <= I, J <= J] f59.4 ~> f59.4 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= K + G, H <= H, I <= I, J <= J] + Loop: [0.2.0.0 <= 19*K + G] f59.4 ~> f59.4 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= K + G, H <= H, I <= I, J <= J] + Applied Processor: AbstractFlow + Details: () * Step 8: Lare WORST_CASE(?,O(1)) + Considered Problem: Program: Domain: [tick,huge,K,A,B,C,D,E,F,G,H,I,J,0.0,0.0.0,0.1,0.1.0,0.2,0.2.0,0.2.0.0] f16.0 ~> f19.11 [K ~=> B] f33.1 ~> f36.8 [K ~=> D] f52.2 ~> f55.3 [K ~=> F] f55.3 ~> f59.4 [K ~=> G] f59.4 ~> f59.4 [G ~+> G,K ~+> G] f59.4 ~> f59.5 [G ~+> G,K ~+> G] f59.5 ~> f55.3 [F ~+> F,K ~+> F] f59.5 ~> f55.6 [F ~+> F,K ~+> F] f55.6 ~> f52.2 [E ~+> E,K ~+> E] f55.6 ~> f52.7 [E ~+> E,K ~+> E] f52.7 ~> f73.15 [] f36.8 ~> f36.8 [huge ~=> H,huge ~=> I,D ~+> D,K ~+> D] f36.8 ~> f36.9 [huge ~=> H,huge ~=> I,D ~+> D,K ~+> D] f36.9 ~> f33.1 [C ~+> C,K ~+> C] f36.9 ~> f33.10 [C ~+> C,K ~+> C] f33.10 ~> f52.2 [K ~=> E] f19.11 ~> f19.11 [huge ~=> H,huge ~=> J,B ~+> B,K ~+> B] f19.11 ~> f19.12 [huge ~=> H,huge ~=> J,B ~+> B,K ~+> B] f19.12 ~> f16.0 [A ~+> A,K ~+> A] f19.12 ~> f16.13 [A ~+> A,K ~+> A] f16.13 ~> f33.1 [K ~=> C] f0.14 ~> f16.0 [K ~=> A,K ~=> H] f73.15 ~> exitus616 [] + Loop: [A ~+> 0.0,K ~*> 0.0] f16.0 ~> f19.11 [K ~=> B] f19.12 ~> f16.0 [A ~+> A,K ~+> A] f19.11 ~> f19.12 [huge ~=> H,huge ~=> J,B ~+> B,K ~+> B] f19.11 ~> f19.11 [huge ~=> H,huge ~=> J,B ~+> B,K ~+> B] + Loop: [B ~+> 0.0.0,K ~*> 0.0.0] f19.11 ~> f19.11 [huge ~=> H,huge ~=> J,B ~+> B,K ~+> B] + Loop: [C ~+> 0.1,K ~*> 0.1] f33.1 ~> f36.8 [K ~=> D] f36.9 ~> f33.1 [C ~+> C,K ~+> C] f36.8 ~> f36.9 [huge ~=> H,huge ~=> I,D ~+> D,K ~+> D] f36.8 ~> f36.8 [huge ~=> H,huge ~=> I,D ~+> D,K ~+> D] + Loop: [D ~+> 0.1.0,K ~*> 0.1.0] f36.8 ~> f36.8 [huge ~=> H,huge ~=> I,D ~+> D,K ~+> D] + Loop: [E ~+> 0.2,K ~*> 0.2] f52.2 ~> f55.3 [K ~=> F] f55.6 ~> f52.2 [E ~+> E,K ~+> E] f59.5 ~> f55.6 [F ~+> F,K ~+> F] f59.4 ~> f59.5 [G ~+> G,K ~+> G] f55.3 ~> f59.4 [K ~=> G] f59.5 ~> f55.3 [F ~+> F,K ~+> F] f59.4 ~> f59.4 [G ~+> G,K ~+> G] + Loop: [F ~+> 0.2.0,K ~*> 0.2.0] f55.3 ~> f59.4 [K ~=> G] f59.5 ~> f55.3 [F ~+> F,K ~+> F] f59.4 ~> f59.5 [G ~+> G,K ~+> G] f59.4 ~> f59.4 [G ~+> G,K ~+> G] + Loop: [G ~+> 0.2.0.0,K ~*> 0.2.0.0] f59.4 ~> f59.4 [G ~+> G,K ~+> G] + Applied Processor: Lare + Details: f0.14 ~> exitus616 [K ~=> H ,huge ~=> H ,huge ~=> I ,huge ~=> J ,tick ~+> tick ,K ~+> A ,K ~+> B ,K ~+> C ,K ~+> D ,K ~+> E ,K ~+> F ,K ~+> G ,K ~+> 0.0 ,K ~+> 0.0.0 ,K ~+> 0.1 ,K ~+> 0.1.0 ,K ~+> 0.2 ,K ~+> 0.2.0 ,K ~+> 0.2.0.0 ,K ~+> tick ,K ~*> A ,K ~*> B ,K ~*> C ,K ~*> D ,K ~*> E ,K ~*> F ,K ~*> G ,K ~*> 0.0 ,K ~*> 0.0.0 ,K ~*> 0.1 ,K ~*> 0.1.0 ,K ~*> 0.2 ,K ~*> 0.2.0 ,K ~*> 0.2.0.0 ,K ~*> tick ,K ~^> B ,K ~^> D ,K ~^> G] + f19.12> [huge ~=> H ,huge ~=> J ,A ~+> A ,A ~+> 0.0 ,A ~+> tick ,tick ~+> tick ,K ~+> A ,K ~+> B ,K ~+> 0.0.0 ,K ~+> tick ,A ~*> A ,A ~*> B ,A ~*> tick ,K ~*> A ,K ~*> B ,K ~*> 0.0 ,K ~*> 0.0.0 ,K ~*> tick ,A ~^> B ,K ~^> B] + f19.11> [huge ~=> H ,huge ~=> J ,B ~+> B ,B ~+> 0.0.0 ,B ~+> tick ,tick ~+> tick ,K ~+> B ,B ~*> B ,K ~*> B ,K ~*> 0.0.0 ,K ~*> tick] + f36.9> [huge ~=> H ,huge ~=> I ,C ~+> C ,C ~+> 0.1 ,C ~+> tick ,tick ~+> tick ,K ~+> C ,K ~+> D ,K ~+> 0.1.0 ,K ~+> tick ,C ~*> C ,C ~*> D ,C ~*> tick ,K ~*> C ,K ~*> D ,K ~*> 0.1 ,K ~*> 0.1.0 ,K ~*> tick ,C ~^> D ,K ~^> D] + f36.8> [huge ~=> H ,huge ~=> I ,D ~+> D ,D ~+> 0.1.0 ,D ~+> tick ,tick ~+> tick ,K ~+> D ,D ~*> D ,K ~*> D ,K ~*> 0.1.0 ,K ~*> tick] + f55.6> [E ~+> E ,E ~+> 0.2 ,E ~+> tick ,tick ~+> tick ,K ~+> E ,K ~+> F ,K ~+> G ,K ~+> 0.2.0 ,K ~+> 0.2.0.0 ,K ~+> tick ,E ~*> E ,E ~*> tick ,K ~*> E ,K ~*> F ,K ~*> G ,K ~*> 0.2 ,K ~*> 0.2.0 ,K ~*> 0.2.0.0 ,K ~*> tick ,K ~^> G] + f59.5> [F ~+> F ,F ~+> 0.2.0 ,F ~+> tick ,tick ~+> tick ,K ~+> F ,K ~+> G ,K ~+> 0.2.0.0 ,K ~+> tick ,F ~*> F ,F ~*> G ,F ~*> tick ,K ~*> F ,K ~*> G ,K ~*> 0.2.0 ,K ~*> 0.2.0.0 ,K ~*> tick ,F ~^> G ,K ~^> G] + f59.4> [G ~+> G ,G ~+> 0.2.0.0 ,G ~+> tick ,tick ~+> tick ,K ~+> G ,G ~*> G ,K ~*> G ,K ~*> 0.2.0.0 ,K ~*> tick] YES(?,O(1))