YES(?,O(1)) * Step 1: UnsatPaths WORST_CASE(?,O(1)) + Considered Problem: Rules: 0. f0(A,B,C,D,E,F,G) -> f9(0,0,H,D,E,F,G) True (1,1) 1. f9(A,B,C,D,E,F,G) -> f10(A,B,C,C,E,F,G) [0 >= 1 + C] (?,1) 2. f9(A,B,C,D,E,F,G) -> f10(A,B,C,C,E,F,G) [C >= 1] (?,1) 3. f10(A,B,C,D,E,F,G) -> f9(1 + A,1 + A,H,D,E,F,G) [9 >= A] (?,1) 4. f16(A,B,C,D,E,F,G) -> f28(A,B,C,D,E,F,G) [A >= 10] (?,1) 5. f16(A,B,C,D,E,F,G) -> f16(1 + A,B,C,D,A,H,H) [9 >= A && 0 >= 1 + H] (?,1) 6. f16(A,B,C,D,E,F,G) -> f16(1 + A,B,C,D,A,H,H) [9 >= A && H >= 1] (?,1) 7. f16(A,B,C,D,E,F,G) -> f28(A,B,C,D,A,0,0) [9 >= A] (?,1) 8. f10(A,B,C,D,E,F,G) -> f16(0,B,C,D,E,F,G) [A >= 10] (?,1) 9. f9(A,B,C,D,E,F,G) -> f16(0,B,0,0,E,F,G) [C = 0] (?,1) Signature: {(f0,7);(f10,7);(f16,7);(f28,7);(f9,7)} Flow Graph: [0->{1,2,9},1->{3,8},2->{3,8},3->{1,2,9},4->{},5->{4,5,6,7},6->{4,5,6,7},7->{},8->{4,5,6,7},9->{4,5,6,7}] + Applied Processor: UnsatPaths + Details: We remove following edges from the transition graph: [(8,4),(9,4)] * Step 2: FromIts WORST_CASE(?,O(1)) + Considered Problem: Rules: 0. f0(A,B,C,D,E,F,G) -> f9(0,0,H,D,E,F,G) True (1,1) 1. f9(A,B,C,D,E,F,G) -> f10(A,B,C,C,E,F,G) [0 >= 1 + C] (?,1) 2. f9(A,B,C,D,E,F,G) -> f10(A,B,C,C,E,F,G) [C >= 1] (?,1) 3. f10(A,B,C,D,E,F,G) -> f9(1 + A,1 + A,H,D,E,F,G) [9 >= A] (?,1) 4. f16(A,B,C,D,E,F,G) -> f28(A,B,C,D,E,F,G) [A >= 10] (?,1) 5. f16(A,B,C,D,E,F,G) -> f16(1 + A,B,C,D,A,H,H) [9 >= A && 0 >= 1 + H] (?,1) 6. f16(A,B,C,D,E,F,G) -> f16(1 + A,B,C,D,A,H,H) [9 >= A && H >= 1] (?,1) 7. f16(A,B,C,D,E,F,G) -> f28(A,B,C,D,A,0,0) [9 >= A] (?,1) 8. f10(A,B,C,D,E,F,G) -> f16(0,B,C,D,E,F,G) [A >= 10] (?,1) 9. f9(A,B,C,D,E,F,G) -> f16(0,B,0,0,E,F,G) [C = 0] (?,1) Signature: {(f0,7);(f10,7);(f16,7);(f28,7);(f9,7)} Flow Graph: [0->{1,2,9},1->{3,8},2->{3,8},3->{1,2,9},4->{},5->{4,5,6,7},6->{4,5,6,7},7->{},8->{5,6,7},9->{5,6,7}] + Applied Processor: FromIts + Details: () * Step 3: Unfold WORST_CASE(?,O(1)) + Considered Problem: Rules: f0(A,B,C,D,E,F,G) -> f9(0,0,H,D,E,F,G) True f9(A,B,C,D,E,F,G) -> f10(A,B,C,C,E,F,G) [0 >= 1 + C] f9(A,B,C,D,E,F,G) -> f10(A,B,C,C,E,F,G) [C >= 1] f10(A,B,C,D,E,F,G) -> f9(1 + A,1 + A,H,D,E,F,G) [9 >= A] f16(A,B,C,D,E,F,G) -> f28(A,B,C,D,E,F,G) [A >= 10] f16(A,B,C,D,E,F,G) -> f16(1 + A,B,C,D,A,H,H) [9 >= A && 0 >= 1 + H] f16(A,B,C,D,E,F,G) -> f16(1 + A,B,C,D,A,H,H) [9 >= A && H >= 1] f16(A,B,C,D,E,F,G) -> f28(A,B,C,D,A,0,0) [9 >= A] f10(A,B,C,D,E,F,G) -> f16(0,B,C,D,E,F,G) [A >= 10] f9(A,B,C,D,E,F,G) -> f16(0,B,0,0,E,F,G) [C = 0] Signature: {(f0,7);(f10,7);(f16,7);(f28,7);(f9,7)} Rule Graph: [0->{1,2,9},1->{3,8},2->{3,8},3->{1,2,9},4->{},5->{4,5,6,7},6->{4,5,6,7},7->{},8->{5,6,7},9->{5,6,7}] + Applied Processor: Unfold + Details: () * Step 4: AddSinks WORST_CASE(?,O(1)) + Considered Problem: Rules: f0.0(A,B,C,D,E,F,G) -> f9.1(0,0,H,D,E,F,G) True f0.0(A,B,C,D,E,F,G) -> f9.2(0,0,H,D,E,F,G) True f0.0(A,B,C,D,E,F,G) -> f9.9(0,0,H,D,E,F,G) True f9.1(A,B,C,D,E,F,G) -> f10.3(A,B,C,C,E,F,G) [0 >= 1 + C] f9.1(A,B,C,D,E,F,G) -> f10.8(A,B,C,C,E,F,G) [0 >= 1 + C] f9.2(A,B,C,D,E,F,G) -> f10.3(A,B,C,C,E,F,G) [C >= 1] f9.2(A,B,C,D,E,F,G) -> f10.8(A,B,C,C,E,F,G) [C >= 1] f10.3(A,B,C,D,E,F,G) -> f9.1(1 + A,1 + A,H,D,E,F,G) [9 >= A] f10.3(A,B,C,D,E,F,G) -> f9.2(1 + A,1 + A,H,D,E,F,G) [9 >= A] f10.3(A,B,C,D,E,F,G) -> f9.9(1 + A,1 + A,H,D,E,F,G) [9 >= A] f16.4(A,B,C,D,E,F,G) -> f28.10(A,B,C,D,E,F,G) [A >= 10] f16.5(A,B,C,D,E,F,G) -> f16.4(1 + A,B,C,D,A,H,H) [9 >= A && 0 >= 1 + H] f16.5(A,B,C,D,E,F,G) -> f16.5(1 + A,B,C,D,A,H,H) [9 >= A && 0 >= 1 + H] f16.5(A,B,C,D,E,F,G) -> f16.6(1 + A,B,C,D,A,H,H) [9 >= A && 0 >= 1 + H] f16.5(A,B,C,D,E,F,G) -> f16.7(1 + A,B,C,D,A,H,H) [9 >= A && 0 >= 1 + H] f16.6(A,B,C,D,E,F,G) -> f16.4(1 + A,B,C,D,A,H,H) [9 >= A && H >= 1] f16.6(A,B,C,D,E,F,G) -> f16.5(1 + A,B,C,D,A,H,H) [9 >= A && H >= 1] f16.6(A,B,C,D,E,F,G) -> f16.6(1 + A,B,C,D,A,H,H) [9 >= A && H >= 1] f16.6(A,B,C,D,E,F,G) -> f16.7(1 + A,B,C,D,A,H,H) [9 >= A && H >= 1] f16.7(A,B,C,D,E,F,G) -> f28.10(A,B,C,D,A,0,0) [9 >= A] f10.8(A,B,C,D,E,F,G) -> f16.5(0,B,C,D,E,F,G) [A >= 10] f10.8(A,B,C,D,E,F,G) -> f16.6(0,B,C,D,E,F,G) [A >= 10] f10.8(A,B,C,D,E,F,G) -> f16.7(0,B,C,D,E,F,G) [A >= 10] f9.9(A,B,C,D,E,F,G) -> f16.5(0,B,0,0,E,F,G) [C = 0] f9.9(A,B,C,D,E,F,G) -> f16.6(0,B,0,0,E,F,G) [C = 0] f9.9(A,B,C,D,E,F,G) -> f16.7(0,B,0,0,E,F,G) [C = 0] Signature: {(f0.0,7) ;(f10.3,7) ;(f10.8,7) ;(f16.4,7) ;(f16.5,7) ;(f16.6,7) ;(f16.7,7) ;(f28.10,7) ;(f9.1,7) ;(f9.2,7) ;(f9.9,7)} Rule Graph: [0->{3,4},1->{5,6},2->{23,24,25},3->{7,8,9},4->{20,21,22},5->{7,8,9},6->{20,21,22},7->{3,4},8->{5,6} ,9->{23,24,25},10->{},11->{10},12->{11,12,13,14},13->{15,16,17,18},14->{19},15->{10},16->{11,12,13,14} ,17->{15,16,17,18},18->{19},19->{},20->{11,12,13,14},21->{15,16,17,18},22->{19},23->{11,12,13,14},24->{15,16 ,17,18},25->{19}] + Applied Processor: AddSinks + Details: () * Step 5: Decompose WORST_CASE(?,O(1)) + Considered Problem: Rules: f0.0(A,B,C,D,E,F,G) -> f9.1(0,0,H,D,E,F,G) True f0.0(A,B,C,D,E,F,G) -> f9.2(0,0,H,D,E,F,G) True f0.0(A,B,C,D,E,F,G) -> f9.9(0,0,H,D,E,F,G) True f9.1(A,B,C,D,E,F,G) -> f10.3(A,B,C,C,E,F,G) [0 >= 1 + C] f9.1(A,B,C,D,E,F,G) -> f10.8(A,B,C,C,E,F,G) [0 >= 1 + C] f9.2(A,B,C,D,E,F,G) -> f10.3(A,B,C,C,E,F,G) [C >= 1] f9.2(A,B,C,D,E,F,G) -> f10.8(A,B,C,C,E,F,G) [C >= 1] f10.3(A,B,C,D,E,F,G) -> f9.1(1 + A,1 + A,H,D,E,F,G) [9 >= A] f10.3(A,B,C,D,E,F,G) -> f9.2(1 + A,1 + A,H,D,E,F,G) [9 >= A] f10.3(A,B,C,D,E,F,G) -> f9.9(1 + A,1 + A,H,D,E,F,G) [9 >= A] f16.4(A,B,C,D,E,F,G) -> f28.10(A,B,C,D,E,F,G) [A >= 10] f16.5(A,B,C,D,E,F,G) -> f16.4(1 + A,B,C,D,A,H,H) [9 >= A && 0 >= 1 + H] f16.5(A,B,C,D,E,F,G) -> f16.5(1 + A,B,C,D,A,H,H) [9 >= A && 0 >= 1 + H] f16.5(A,B,C,D,E,F,G) -> f16.6(1 + A,B,C,D,A,H,H) [9 >= A && 0 >= 1 + H] f16.5(A,B,C,D,E,F,G) -> f16.7(1 + A,B,C,D,A,H,H) [9 >= A && 0 >= 1 + H] f16.6(A,B,C,D,E,F,G) -> f16.4(1 + A,B,C,D,A,H,H) [9 >= A && H >= 1] f16.6(A,B,C,D,E,F,G) -> f16.5(1 + A,B,C,D,A,H,H) [9 >= A && H >= 1] f16.6(A,B,C,D,E,F,G) -> f16.6(1 + A,B,C,D,A,H,H) [9 >= A && H >= 1] f16.6(A,B,C,D,E,F,G) -> f16.7(1 + A,B,C,D,A,H,H) [9 >= A && H >= 1] f16.7(A,B,C,D,E,F,G) -> f28.10(A,B,C,D,A,0,0) [9 >= A] f10.8(A,B,C,D,E,F,G) -> f16.5(0,B,C,D,E,F,G) [A >= 10] f10.8(A,B,C,D,E,F,G) -> f16.6(0,B,C,D,E,F,G) [A >= 10] f10.8(A,B,C,D,E,F,G) -> f16.7(0,B,C,D,E,F,G) [A >= 10] f9.9(A,B,C,D,E,F,G) -> f16.5(0,B,0,0,E,F,G) [C = 0] f9.9(A,B,C,D,E,F,G) -> f16.6(0,B,0,0,E,F,G) [C = 0] f9.9(A,B,C,D,E,F,G) -> f16.7(0,B,0,0,E,F,G) [C = 0] f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True Signature: {(exitus616,7) ;(f0.0,7) ;(f10.3,7) ;(f10.8,7) ;(f16.4,7) ;(f16.5,7) ;(f16.6,7) ;(f16.7,7) ;(f28.10,7) ;(f9.1,7) ;(f9.2,7) ;(f9.9,7)} Rule Graph: [0->{3,4},1->{5,6},2->{23,24,25},3->{7,8,9},4->{20,21,22},5->{7,8,9},6->{20,21,22},7->{3,4},8->{5,6} ,9->{23,24,25},10->{29,30,33,34,38,39,42,43,47,48,51,52,56,57,60,61,65,66,69,70,74,75,78,79,83,84,87,88} ,11->{10},12->{11,12,13,14},13->{15,16,17,18},14->{19},15->{10},16->{11,12,13,14},17->{15,16,17,18},18->{19} ,19->{26,27,28,31,32,35,36,37,40,41,44,45,46,49,50,53,54,55,58,59,62,63,64,67,68,71,72,73,76,77,80,81,82,85 ,86},20->{11,12,13,14},21->{15,16,17,18},22->{19},23->{11,12,13,14},24->{15,16,17,18},25->{19}] + 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] | +- p:[3,7,5,8] c: [3,5,7,8] | `- p:[12,16,13,17] c: [12,13,16,17] * Step 6: AbstractSize WORST_CASE(?,O(1)) + Considered Problem: (Rules: f0.0(A,B,C,D,E,F,G) -> f9.1(0,0,H,D,E,F,G) True f0.0(A,B,C,D,E,F,G) -> f9.2(0,0,H,D,E,F,G) True f0.0(A,B,C,D,E,F,G) -> f9.9(0,0,H,D,E,F,G) True f9.1(A,B,C,D,E,F,G) -> f10.3(A,B,C,C,E,F,G) [0 >= 1 + C] f9.1(A,B,C,D,E,F,G) -> f10.8(A,B,C,C,E,F,G) [0 >= 1 + C] f9.2(A,B,C,D,E,F,G) -> f10.3(A,B,C,C,E,F,G) [C >= 1] f9.2(A,B,C,D,E,F,G) -> f10.8(A,B,C,C,E,F,G) [C >= 1] f10.3(A,B,C,D,E,F,G) -> f9.1(1 + A,1 + A,H,D,E,F,G) [9 >= A] f10.3(A,B,C,D,E,F,G) -> f9.2(1 + A,1 + A,H,D,E,F,G) [9 >= A] f10.3(A,B,C,D,E,F,G) -> f9.9(1 + A,1 + A,H,D,E,F,G) [9 >= A] f16.4(A,B,C,D,E,F,G) -> f28.10(A,B,C,D,E,F,G) [A >= 10] f16.5(A,B,C,D,E,F,G) -> f16.4(1 + A,B,C,D,A,H,H) [9 >= A && 0 >= 1 + H] f16.5(A,B,C,D,E,F,G) -> f16.5(1 + A,B,C,D,A,H,H) [9 >= A && 0 >= 1 + H] f16.5(A,B,C,D,E,F,G) -> f16.6(1 + A,B,C,D,A,H,H) [9 >= A && 0 >= 1 + H] f16.5(A,B,C,D,E,F,G) -> f16.7(1 + A,B,C,D,A,H,H) [9 >= A && 0 >= 1 + H] f16.6(A,B,C,D,E,F,G) -> f16.4(1 + A,B,C,D,A,H,H) [9 >= A && H >= 1] f16.6(A,B,C,D,E,F,G) -> f16.5(1 + A,B,C,D,A,H,H) [9 >= A && H >= 1] f16.6(A,B,C,D,E,F,G) -> f16.6(1 + A,B,C,D,A,H,H) [9 >= A && H >= 1] f16.6(A,B,C,D,E,F,G) -> f16.7(1 + A,B,C,D,A,H,H) [9 >= A && H >= 1] f16.7(A,B,C,D,E,F,G) -> f28.10(A,B,C,D,A,0,0) [9 >= A] f10.8(A,B,C,D,E,F,G) -> f16.5(0,B,C,D,E,F,G) [A >= 10] f10.8(A,B,C,D,E,F,G) -> f16.6(0,B,C,D,E,F,G) [A >= 10] f10.8(A,B,C,D,E,F,G) -> f16.7(0,B,C,D,E,F,G) [A >= 10] f9.9(A,B,C,D,E,F,G) -> f16.5(0,B,0,0,E,F,G) [C = 0] f9.9(A,B,C,D,E,F,G) -> f16.6(0,B,0,0,E,F,G) [C = 0] f9.9(A,B,C,D,E,F,G) -> f16.7(0,B,0,0,E,F,G) [C = 0] f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True f28.10(A,B,C,D,E,F,G) -> exitus616(A,B,C,D,E,F,G) True Signature: {(exitus616,7) ;(f0.0,7) ;(f10.3,7) ;(f10.8,7) ;(f16.4,7) ;(f16.5,7) ;(f16.6,7) ;(f16.7,7) ;(f28.10,7) ;(f9.1,7) ;(f9.2,7) ;(f9.9,7)} Rule Graph: [0->{3,4},1->{5,6},2->{23,24,25},3->{7,8,9},4->{20,21,22},5->{7,8,9},6->{20,21,22},7->{3,4},8->{5,6} ,9->{23,24,25},10->{29,30,33,34,38,39,42,43,47,48,51,52,56,57,60,61,65,66,69,70,74,75,78,79,83,84,87,88} ,11->{10},12->{11,12,13,14},13->{15,16,17,18},14->{19},15->{10},16->{11,12,13,14},17->{15,16,17,18},18->{19} ,19->{26,27,28,31,32,35,36,37,40,41,44,45,46,49,50,53,54,55,58,59,62,63,64,67,68,71,72,73,76,77,80,81,82,85 ,86},20->{11,12,13,14},21->{15,16,17,18},22->{19},23->{11,12,13,14},24->{15,16,17,18},25->{19}] ,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] | +- p:[3,7,5,8] c: [3,5,7,8] | `- p:[12,16,13,17] c: [12,13,16,17]) + Applied Processor: AbstractSize Minimize + Details: () * Step 7: AbstractFlow WORST_CASE(?,O(1)) + Considered Problem: Program: Domain: [A,B,C,D,E,F,G,0.0,0.1] f0.0 ~> f9.1 [A <= 0*K, B <= 0*K, C <= unknown, D <= D, E <= E, F <= F, G <= G] f0.0 ~> f9.2 [A <= 0*K, B <= 0*K, C <= unknown, D <= D, E <= E, F <= F, G <= G] f0.0 ~> f9.9 [A <= 0*K, B <= 0*K, C <= unknown, D <= D, E <= E, F <= F, G <= G] f9.1 ~> f10.3 [A <= A, B <= B, C <= C, D <= C, E <= E, F <= F, G <= G] f9.1 ~> f10.8 [A <= A, B <= B, C <= C, D <= C, E <= E, F <= F, G <= G] f9.2 ~> f10.3 [A <= A, B <= B, C <= C, D <= C, E <= E, F <= F, G <= G] f9.2 ~> f10.8 [A <= A, B <= B, C <= C, D <= C, E <= E, F <= F, G <= G] f10.3 ~> f9.1 [A <= K + A, B <= K + A, C <= unknown, D <= D, E <= E, F <= F, G <= G] f10.3 ~> f9.2 [A <= K + A, B <= K + A, C <= unknown, D <= D, E <= E, F <= F, G <= G] f10.3 ~> f9.9 [A <= K + A, B <= K + A, C <= unknown, D <= D, E <= E, F <= F, G <= G] f16.4 ~> f28.10 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f16.5 ~> f16.4 [A <= K + A, B <= B, C <= C, D <= D, E <= A, F <= unknown, G <= unknown] f16.5 ~> f16.5 [A <= K + A, B <= B, C <= C, D <= D, E <= A, F <= unknown, G <= unknown] f16.5 ~> f16.6 [A <= K + A, B <= B, C <= C, D <= D, E <= A, F <= unknown, G <= unknown] f16.5 ~> f16.7 [A <= K + A, B <= B, C <= C, D <= D, E <= A, F <= unknown, G <= unknown] f16.6 ~> f16.4 [A <= K + A, B <= B, C <= C, D <= D, E <= A, F <= unknown, G <= unknown] f16.6 ~> f16.5 [A <= K + A, B <= B, C <= C, D <= D, E <= A, F <= unknown, G <= unknown] f16.6 ~> f16.6 [A <= K + A, B <= B, C <= C, D <= D, E <= A, F <= unknown, G <= unknown] f16.6 ~> f16.7 [A <= K + A, B <= B, C <= C, D <= D, E <= A, F <= unknown, G <= unknown] f16.7 ~> f28.10 [A <= A, B <= B, C <= C, D <= D, E <= A, F <= 0*K, G <= 0*K] f10.8 ~> f16.5 [A <= 0*K, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f10.8 ~> f16.6 [A <= 0*K, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f10.8 ~> f16.7 [A <= 0*K, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f9.9 ~> f16.5 [A <= 0*K, B <= B, C <= 0*K, D <= 0*K, E <= E, F <= F, G <= G] f9.9 ~> f16.6 [A <= 0*K, B <= B, C <= 0*K, D <= 0*K, E <= E, F <= F, G <= G] f9.9 ~> f16.7 [A <= 0*K, B <= B, C <= 0*K, D <= 0*K, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] f28.10 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G] + Loop: [0.0 <= 9*K + A] f9.1 ~> f10.3 [A <= A, B <= B, C <= C, D <= C, E <= E, F <= F, G <= G] f10.3 ~> f9.1 [A <= K + A, B <= K + A, C <= unknown, D <= D, E <= E, F <= F, G <= G] f9.2 ~> f10.3 [A <= A, B <= B, C <= C, D <= C, E <= E, F <= F, G <= G] f10.3 ~> f9.2 [A <= K + A, B <= K + A, C <= unknown, D <= D, E <= E, F <= F, G <= G] + Loop: [0.1 <= 10*K + A] f16.5 ~> f16.5 [A <= K + A, B <= B, C <= C, D <= D, E <= A, F <= unknown, G <= unknown] f16.6 ~> f16.5 [A <= K + A, B <= B, C <= C, D <= D, E <= A, F <= unknown, G <= unknown] f16.5 ~> f16.6 [A <= K + A, B <= B, C <= C, D <= D, E <= A, F <= unknown, G <= unknown] f16.6 ~> f16.6 [A <= K + A, B <= B, C <= C, D <= D, E <= A, F <= unknown, G <= unknown] + 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,0.0,0.1] f0.0 ~> f9.1 [K ~=> A,K ~=> B,huge ~=> C] f0.0 ~> f9.2 [K ~=> A,K ~=> B,huge ~=> C] f0.0 ~> f9.9 [K ~=> A,K ~=> B,huge ~=> C] f9.1 ~> f10.3 [C ~=> D] f9.1 ~> f10.8 [C ~=> D] f9.2 ~> f10.3 [C ~=> D] f9.2 ~> f10.8 [C ~=> D] f10.3 ~> f9.1 [huge ~=> C,A ~+> A,A ~+> B,K ~+> A,K ~+> B] f10.3 ~> f9.2 [huge ~=> C,A ~+> A,A ~+> B,K ~+> A,K ~+> B] f10.3 ~> f9.9 [huge ~=> C,A ~+> A,A ~+> B,K ~+> A,K ~+> B] f16.4 ~> f28.10 [] f16.5 ~> f16.4 [A ~=> E,huge ~=> F,huge ~=> G,A ~+> A,K ~+> A] f16.5 ~> f16.5 [A ~=> E,huge ~=> F,huge ~=> G,A ~+> A,K ~+> A] f16.5 ~> f16.6 [A ~=> E,huge ~=> F,huge ~=> G,A ~+> A,K ~+> A] f16.5 ~> f16.7 [A ~=> E,huge ~=> F,huge ~=> G,A ~+> A,K ~+> A] f16.6 ~> f16.4 [A ~=> E,huge ~=> F,huge ~=> G,A ~+> A,K ~+> A] f16.6 ~> f16.5 [A ~=> E,huge ~=> F,huge ~=> G,A ~+> A,K ~+> A] f16.6 ~> f16.6 [A ~=> E,huge ~=> F,huge ~=> G,A ~+> A,K ~+> A] f16.6 ~> f16.7 [A ~=> E,huge ~=> F,huge ~=> G,A ~+> A,K ~+> A] f16.7 ~> f28.10 [A ~=> E,K ~=> F,K ~=> G] f10.8 ~> f16.5 [K ~=> A] f10.8 ~> f16.6 [K ~=> A] f10.8 ~> f16.7 [K ~=> A] f9.9 ~> f16.5 [K ~=> A,K ~=> C,K ~=> D] f9.9 ~> f16.6 [K ~=> A,K ~=> C,K ~=> D] f9.9 ~> f16.7 [K ~=> A,K ~=> C,K ~=> D] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] f28.10 ~> exitus616 [] + Loop: [A ~+> 0.0,K ~*> 0.0] f9.1 ~> f10.3 [C ~=> D] f10.3 ~> f9.1 [huge ~=> C,A ~+> A,A ~+> B,K ~+> A,K ~+> B] f9.2 ~> f10.3 [C ~=> D] f10.3 ~> f9.2 [huge ~=> C,A ~+> A,A ~+> B,K ~+> A,K ~+> B] + Loop: [A ~+> 0.1,K ~*> 0.1] f16.5 ~> f16.5 [A ~=> E,huge ~=> F,huge ~=> G,A ~+> A,K ~+> A] f16.6 ~> f16.5 [A ~=> E,huge ~=> F,huge ~=> G,A ~+> A,K ~+> A] f16.5 ~> f16.6 [A ~=> E,huge ~=> F,huge ~=> G,A ~+> A,K ~+> A] f16.6 ~> f16.6 [A ~=> E,huge ~=> F,huge ~=> G,A ~+> A,K ~+> A] + Applied Processor: Lare + Details: f0.0 ~> exitus616 [K ~=> A ,K ~=> B ,K ~=> C ,K ~=> D ,K ~=> E ,K ~=> F ,K ~=> G ,huge ~=> C ,huge ~=> D ,huge ~=> F ,huge ~=> G ,tick ~+> tick ,K ~+> A ,K ~+> B ,K ~+> E ,K ~+> 0.0 ,K ~+> 0.1 ,K ~+> tick ,K ~*> A ,K ~*> B ,K ~*> E ,K ~*> 0.0 ,K ~*> 0.1 ,K ~*> tick] + f9.2> [C ~=> D ,huge ~=> C ,huge ~=> D ,A ~+> A ,A ~+> B ,A ~+> 0.0 ,A ~+> tick ,tick ~+> tick ,K ~+> A ,K ~+> B ,A ~*> A ,A ~*> B ,K ~*> A ,K ~*> B ,K ~*> 0.0 ,K ~*> tick] f10.3> [C ~=> D ,huge ~=> C ,huge ~=> D ,A ~+> A ,A ~+> B ,A ~+> 0.0 ,A ~+> tick ,tick ~+> tick ,K ~+> A ,K ~+> B ,A ~*> A ,A ~*> B ,K ~*> A ,K ~*> B ,K ~*> 0.0 ,K ~*> tick] f9.1> [C ~=> D ,huge ~=> C ,huge ~=> D ,A ~+> A ,A ~+> B ,A ~+> 0.0 ,A ~+> tick ,tick ~+> tick ,K ~+> A ,K ~+> B ,A ~*> A ,A ~*> B ,K ~*> A ,K ~*> B ,K ~*> 0.0 ,K ~*> tick] f9.2> [C ~=> D ,huge ~=> C ,huge ~=> D ,A ~+> A ,A ~+> B ,A ~+> 0.0 ,A ~+> tick ,tick ~+> tick ,K ~+> A ,K ~+> B ,A ~*> A ,A ~*> B ,K ~*> A ,K ~*> B ,K ~*> 0.0 ,K ~*> tick] f10.3> [C ~=> D ,huge ~=> C ,huge ~=> D ,A ~+> A ,A ~+> B ,A ~+> 0.0 ,A ~+> tick ,tick ~+> tick ,K ~+> A ,K ~+> B ,A ~*> A ,A ~*> B ,K ~*> A ,K ~*> B ,K ~*> 0.0 ,K ~*> tick] f9.1> [C ~=> D ,huge ~=> C ,huge ~=> D ,A ~+> A ,A ~+> B ,A ~+> 0.0 ,A ~+> tick ,tick ~+> tick ,K ~+> A ,K ~+> B ,A ~*> A ,A ~*> B ,K ~*> A ,K ~*> B ,K ~*> 0.0 ,K ~*> tick] + f16.5> [A ~=> E ,huge ~=> F ,huge ~=> G ,A ~+> A ,A ~+> E ,A ~+> 0.1 ,A ~+> tick ,tick ~+> tick ,K ~+> A ,K ~+> E ,A ~*> A ,A ~*> E ,K ~*> A ,K ~*> E ,K ~*> 0.1 ,K ~*> tick] f16.6> [A ~=> E ,huge ~=> F ,huge ~=> G ,A ~+> A ,A ~+> E ,A ~+> 0.1 ,A ~+> tick ,tick ~+> tick ,K ~+> A ,K ~+> E ,A ~*> A ,A ~*> E ,K ~*> A ,K ~*> E ,K ~*> 0.1 ,K ~*> tick] f16.5> [A ~=> E ,huge ~=> F ,huge ~=> G ,A ~+> A ,A ~+> E ,A ~+> 0.1 ,A ~+> tick ,tick ~+> tick ,K ~+> A ,K ~+> E ,A ~*> A ,A ~*> E ,K ~*> A ,K ~*> E ,K ~*> 0.1 ,K ~*> tick] f16.6> [A ~=> E ,huge ~=> F ,huge ~=> G ,A ~+> A ,A ~+> E ,A ~+> 0.1 ,A ~+> tick ,tick ~+> tick ,K ~+> A ,K ~+> E ,A ~*> A ,A ~*> E ,K ~*> A ,K ~*> E ,K ~*> 0.1 ,K ~*> tick] YES(?,O(1))