YES(?,O(1)) * Step 1: ArgumentFilter WORST_CASE(?,O(1)) + Considered Problem: Rules: 0. f0(A,B,C,D,E,F,G,H,I,J,K,L,M) -> f15(50,5,0,D,E,F,G,H,I,J,K,L,M) True (1,1) 1. f15(A,B,C,D,E,F,G,H,I,J,K,L,M) -> f19(A,B,C,0,0,F,G,H,I,J,K,L,M) [B >= C] (?,1) 2. f19(A,B,C,D,E,F,G,H,I,J,K,L,M) -> f19(A,B,C,D + N,1 + E,F,G,H,I,J,K,L,M) [B >= E && E >= 1 + C] (?,1) 3. f19(A,B,C,D,E,F,G,H,I,J,K,L,M) -> f19(A,B,C,D + N,1 + E,F,G,H,I,J,K,L,M) [C >= 1 + E && B >= E] (?,1) 4. f19(A,B,C,D,E,F,G,H,I,J,K,L,M) -> f19(A,B,C,D + N,1 + C,F,G,H,I,J,K,L,M) [B >= E && C = E] (?,1) 5. f33(A,B,C,D,E,F,G,H,I,J,K,L,M) -> f36(A,B,C,D,E,F,G,1 + G,I,J,K,L,M) [F >= 1 + G] (?,1) 6. f36(A,B,C,D,E,F,G,H,I,J,K,L,M) -> f41(A,B,C,D,E,F,G,H,N,0,K,L,M) [0 >= 1 + G && F >= H] (?,1) 7. f36(A,B,C,D,E,F,G,H,I,J,K,L,M) -> f41(A,B,C,D,E,F,G,H,N,0,K,L,M) [G >= 1 && F >= H] (?,1) 8. f41(A,B,C,D,E,F,G,H,I,J,K,L,M) -> f41(A,B,C,D,E,F,G,H,N,1 + J,K,L,M) [G >= 1 + J] (?,1) 9. f36(A,B,C,D,E,F,G,H,I,J,K,L,M) -> f36(A,B,C,D,E,F,0,1 + H,N,J,K,L,M) [F >= H && G = 0] (?,1) 10. f50(A,B,C,D,E,F,G,H,I,J,K,L,M) -> f54(A,B,C,D,E,F,G,H,N,0,K,L,M) [F >= H] (?,1) 11. f54(A,B,C,D,E,F,G,H,I,J,K,L,M) -> f54(A,B,C,D,E,F,G,H,N,1 + J,K,L,M) [G >= J] (?,1) 12. f66(A,B,C,D,E,F,G,H,I,J,K,L,M) -> f70(A,B,C,D,E,F,G,0,N,J,K,L,M) [F >= G] (?,1) 13. f70(A,B,C,D,E,F,G,H,I,J,K,L,M) -> f70(A,B,C,D,E,F,G,1 + H,N,J,K,L,M) [G >= 1 + H] (?,1) 14. f80(A,B,C,D,E,F,G,H,I,J,K,L,M) -> f84(A,B,C,D,E,F,G,1 + G,N,J,K,L,M) [G >= 0] (?,1) 15. f84(A,B,C,D,E,F,G,H,I,J,K,L,M) -> f84(A,B,C,D,E,F,G,1 + H,N,J,K,L,M) [F >= H] (?,1) 16. f84(A,B,C,D,E,F,G,H,I,J,K,L,M) -> f80(A,B,C,D,E,F,-1 + G,H,I,J,K,L,M) [H >= 1 + F] (?,1) 17. f80(A,B,C,D,E,F,G,H,I,J,K,L,M) -> f96(A,B,C,D,E,F,G,H,I,J,0,0,M) [0 >= 1 + G] (?,1) 18. f70(A,B,C,D,E,F,G,H,I,J,K,L,M) -> f66(A,B,C,D,E,F,1 + G,H,I,J,K,L,M) [H >= G] (?,1) 19. f66(A,B,C,D,E,F,G,H,I,J,K,L,M) -> f80(A,B,C,D,E,F,-1 + F,H,I,J,K,L,M) [G >= 1 + F] (?,1) 20. f54(A,B,C,D,E,F,G,H,I,J,K,L,M) -> f50(A,B,C,D,E,F,G,1 + H,I,J,K,L,M) [J >= 1 + G] (?,1) 21. f50(A,B,C,D,E,F,G,H,I,J,K,L,M) -> f33(A,B,C,D,E,F,1 + G,H,I,J,K,L,M) [H >= 1 + F] (?,1) 22. f41(A,B,C,D,E,F,G,H,I,J,K,L,M) -> f36(A,B,C,D,E,F,G,1 + H,I,J,K,L,M) [J >= G] (?,1) 23. f36(A,B,C,D,E,F,G,H,I,J,K,L,M) -> f50(A,B,C,D,E,F,G,1 + G,I,J,K,L,M) [H >= 1 + F] (?,1) 24. f33(A,B,C,D,E,F,G,H,I,J,K,L,M) -> f66(A,B,C,D,E,F,1,H,I,J,K,L,M) [G >= F] (?,1) 25. f19(A,B,C,D,E,F,G,H,I,J,K,L,M) -> f15(A,B,1 + C,D,E,F,G,H,I,J,K,L,M) [E >= 1 + B] (?,1) 26. f15(A,B,C,D,E,F,G,H,I,J,K,L,M) -> f33(A,B,C,D,E,B,0,H,I,J,K,L,A) [C >= 1 + B] (?,1) Signature: {(f0,13) ;(f15,13) ;(f19,13) ;(f33,13) ;(f36,13) ;(f41,13) ;(f50,13) ;(f54,13) ;(f66,13) ;(f70,13) ;(f80,13) ;(f84,13) ;(f96,13)} Flow Graph: [0->{1,26},1->{2,3,4,25},2->{2,3,4,25},3->{2,3,4,25},4->{2,3,4,25},5->{6,7,9,23},6->{8,22},7->{8,22},8->{8 ,22},9->{6,7,9,23},10->{11,20},11->{11,20},12->{13,18},13->{13,18},14->{15,16},15->{15,16},16->{14,17} ,17->{},18->{12,19},19->{14,17},20->{10,21},21->{5,24},22->{6,7,9,23},23->{10,21},24->{12,19},25->{1,26} ,26->{5,24}] + Applied Processor: ArgumentFilter [0,3,8,10,11,12] + Details: We remove following argument positions: [0,3,8,10,11,12]. * Step 2: UnsatPaths WORST_CASE(?,O(1)) + Considered Problem: Rules: 0. f0(B,C,E,F,G,H,J) -> f15(5,0,E,F,G,H,J) True (1,1) 1. f15(B,C,E,F,G,H,J) -> f19(B,C,0,F,G,H,J) [B >= C] (?,1) 2. f19(B,C,E,F,G,H,J) -> f19(B,C,1 + E,F,G,H,J) [B >= E && E >= 1 + C] (?,1) 3. f19(B,C,E,F,G,H,J) -> f19(B,C,1 + E,F,G,H,J) [C >= 1 + E && B >= E] (?,1) 4. f19(B,C,E,F,G,H,J) -> f19(B,C,1 + C,F,G,H,J) [B >= E && C = E] (?,1) 5. f33(B,C,E,F,G,H,J) -> f36(B,C,E,F,G,1 + G,J) [F >= 1 + G] (?,1) 6. f36(B,C,E,F,G,H,J) -> f41(B,C,E,F,G,H,0) [0 >= 1 + G && F >= H] (?,1) 7. f36(B,C,E,F,G,H,J) -> f41(B,C,E,F,G,H,0) [G >= 1 && F >= H] (?,1) 8. f41(B,C,E,F,G,H,J) -> f41(B,C,E,F,G,H,1 + J) [G >= 1 + J] (?,1) 9. f36(B,C,E,F,G,H,J) -> f36(B,C,E,F,0,1 + H,J) [F >= H && G = 0] (?,1) 10. f50(B,C,E,F,G,H,J) -> f54(B,C,E,F,G,H,0) [F >= H] (?,1) 11. f54(B,C,E,F,G,H,J) -> f54(B,C,E,F,G,H,1 + J) [G >= J] (?,1) 12. f66(B,C,E,F,G,H,J) -> f70(B,C,E,F,G,0,J) [F >= G] (?,1) 13. f70(B,C,E,F,G,H,J) -> f70(B,C,E,F,G,1 + H,J) [G >= 1 + H] (?,1) 14. f80(B,C,E,F,G,H,J) -> f84(B,C,E,F,G,1 + G,J) [G >= 0] (?,1) 15. f84(B,C,E,F,G,H,J) -> f84(B,C,E,F,G,1 + H,J) [F >= H] (?,1) 16. f84(B,C,E,F,G,H,J) -> f80(B,C,E,F,-1 + G,H,J) [H >= 1 + F] (?,1) 17. f80(B,C,E,F,G,H,J) -> f96(B,C,E,F,G,H,J) [0 >= 1 + G] (?,1) 18. f70(B,C,E,F,G,H,J) -> f66(B,C,E,F,1 + G,H,J) [H >= G] (?,1) 19. f66(B,C,E,F,G,H,J) -> f80(B,C,E,F,-1 + F,H,J) [G >= 1 + F] (?,1) 20. f54(B,C,E,F,G,H,J) -> f50(B,C,E,F,G,1 + H,J) [J >= 1 + G] (?,1) 21. f50(B,C,E,F,G,H,J) -> f33(B,C,E,F,1 + G,H,J) [H >= 1 + F] (?,1) 22. f41(B,C,E,F,G,H,J) -> f36(B,C,E,F,G,1 + H,J) [J >= G] (?,1) 23. f36(B,C,E,F,G,H,J) -> f50(B,C,E,F,G,1 + G,J) [H >= 1 + F] (?,1) 24. f33(B,C,E,F,G,H,J) -> f66(B,C,E,F,1,H,J) [G >= F] (?,1) 25. f19(B,C,E,F,G,H,J) -> f15(B,1 + C,E,F,G,H,J) [E >= 1 + B] (?,1) 26. f15(B,C,E,F,G,H,J) -> f33(B,C,E,B,0,H,J) [C >= 1 + B] (?,1) Signature: {(f0,13) ;(f15,13) ;(f19,13) ;(f33,13) ;(f36,13) ;(f41,13) ;(f50,13) ;(f54,13) ;(f66,13) ;(f70,13) ;(f80,13) ;(f84,13) ;(f96,13)} Flow Graph: [0->{1,26},1->{2,3,4,25},2->{2,3,4,25},3->{2,3,4,25},4->{2,3,4,25},5->{6,7,9,23},6->{8,22},7->{8,22},8->{8 ,22},9->{6,7,9,23},10->{11,20},11->{11,20},12->{13,18},13->{13,18},14->{15,16},15->{15,16},16->{14,17} ,17->{},18->{12,19},19->{14,17},20->{10,21},21->{5,24},22->{6,7,9,23},23->{10,21},24->{12,19},25->{1,26} ,26->{5,24}] + Applied Processor: UnsatPaths + Details: We remove following edges from the transition graph: [(0,26) ,(2,3) ,(2,4) ,(3,2) ,(4,3) ,(4,4) ,(5,23) ,(6,8) ,(7,22) ,(9,6) ,(9,7)] * Step 3: FromIts WORST_CASE(?,O(1)) + Considered Problem: Rules: 0. f0(B,C,E,F,G,H,J) -> f15(5,0,E,F,G,H,J) True (1,1) 1. f15(B,C,E,F,G,H,J) -> f19(B,C,0,F,G,H,J) [B >= C] (?,1) 2. f19(B,C,E,F,G,H,J) -> f19(B,C,1 + E,F,G,H,J) [B >= E && E >= 1 + C] (?,1) 3. f19(B,C,E,F,G,H,J) -> f19(B,C,1 + E,F,G,H,J) [C >= 1 + E && B >= E] (?,1) 4. f19(B,C,E,F,G,H,J) -> f19(B,C,1 + C,F,G,H,J) [B >= E && C = E] (?,1) 5. f33(B,C,E,F,G,H,J) -> f36(B,C,E,F,G,1 + G,J) [F >= 1 + G] (?,1) 6. f36(B,C,E,F,G,H,J) -> f41(B,C,E,F,G,H,0) [0 >= 1 + G && F >= H] (?,1) 7. f36(B,C,E,F,G,H,J) -> f41(B,C,E,F,G,H,0) [G >= 1 && F >= H] (?,1) 8. f41(B,C,E,F,G,H,J) -> f41(B,C,E,F,G,H,1 + J) [G >= 1 + J] (?,1) 9. f36(B,C,E,F,G,H,J) -> f36(B,C,E,F,0,1 + H,J) [F >= H && G = 0] (?,1) 10. f50(B,C,E,F,G,H,J) -> f54(B,C,E,F,G,H,0) [F >= H] (?,1) 11. f54(B,C,E,F,G,H,J) -> f54(B,C,E,F,G,H,1 + J) [G >= J] (?,1) 12. f66(B,C,E,F,G,H,J) -> f70(B,C,E,F,G,0,J) [F >= G] (?,1) 13. f70(B,C,E,F,G,H,J) -> f70(B,C,E,F,G,1 + H,J) [G >= 1 + H] (?,1) 14. f80(B,C,E,F,G,H,J) -> f84(B,C,E,F,G,1 + G,J) [G >= 0] (?,1) 15. f84(B,C,E,F,G,H,J) -> f84(B,C,E,F,G,1 + H,J) [F >= H] (?,1) 16. f84(B,C,E,F,G,H,J) -> f80(B,C,E,F,-1 + G,H,J) [H >= 1 + F] (?,1) 17. f80(B,C,E,F,G,H,J) -> f96(B,C,E,F,G,H,J) [0 >= 1 + G] (?,1) 18. f70(B,C,E,F,G,H,J) -> f66(B,C,E,F,1 + G,H,J) [H >= G] (?,1) 19. f66(B,C,E,F,G,H,J) -> f80(B,C,E,F,-1 + F,H,J) [G >= 1 + F] (?,1) 20. f54(B,C,E,F,G,H,J) -> f50(B,C,E,F,G,1 + H,J) [J >= 1 + G] (?,1) 21. f50(B,C,E,F,G,H,J) -> f33(B,C,E,F,1 + G,H,J) [H >= 1 + F] (?,1) 22. f41(B,C,E,F,G,H,J) -> f36(B,C,E,F,G,1 + H,J) [J >= G] (?,1) 23. f36(B,C,E,F,G,H,J) -> f50(B,C,E,F,G,1 + G,J) [H >= 1 + F] (?,1) 24. f33(B,C,E,F,G,H,J) -> f66(B,C,E,F,1,H,J) [G >= F] (?,1) 25. f19(B,C,E,F,G,H,J) -> f15(B,1 + C,E,F,G,H,J) [E >= 1 + B] (?,1) 26. f15(B,C,E,F,G,H,J) -> f33(B,C,E,B,0,H,J) [C >= 1 + B] (?,1) Signature: {(f0,13) ;(f15,13) ;(f19,13) ;(f33,13) ;(f36,13) ;(f41,13) ;(f50,13) ;(f54,13) ;(f66,13) ;(f70,13) ;(f80,13) ;(f84,13) ;(f96,13)} Flow Graph: [0->{1},1->{2,3,4,25},2->{2,25},3->{3,4,25},4->{2,25},5->{6,7,9},6->{22},7->{8},8->{8,22},9->{9,23} ,10->{11,20},11->{11,20},12->{13,18},13->{13,18},14->{15,16},15->{15,16},16->{14,17},17->{},18->{12,19} ,19->{14,17},20->{10,21},21->{5,24},22->{6,7,9,23},23->{10,21},24->{12,19},25->{1,26},26->{5,24}] + Applied Processor: FromIts + Details: () * Step 4: Unfold WORST_CASE(?,O(1)) + Considered Problem: Rules: f0(B,C,E,F,G,H,J) -> f15(5,0,E,F,G,H,J) True f15(B,C,E,F,G,H,J) -> f19(B,C,0,F,G,H,J) [B >= C] f19(B,C,E,F,G,H,J) -> f19(B,C,1 + E,F,G,H,J) [B >= E && E >= 1 + C] f19(B,C,E,F,G,H,J) -> f19(B,C,1 + E,F,G,H,J) [C >= 1 + E && B >= E] f19(B,C,E,F,G,H,J) -> f19(B,C,1 + C,F,G,H,J) [B >= E && C = E] f33(B,C,E,F,G,H,J) -> f36(B,C,E,F,G,1 + G,J) [F >= 1 + G] f36(B,C,E,F,G,H,J) -> f41(B,C,E,F,G,H,0) [0 >= 1 + G && F >= H] f36(B,C,E,F,G,H,J) -> f41(B,C,E,F,G,H,0) [G >= 1 && F >= H] f41(B,C,E,F,G,H,J) -> f41(B,C,E,F,G,H,1 + J) [G >= 1 + J] f36(B,C,E,F,G,H,J) -> f36(B,C,E,F,0,1 + H,J) [F >= H && G = 0] f50(B,C,E,F,G,H,J) -> f54(B,C,E,F,G,H,0) [F >= H] f54(B,C,E,F,G,H,J) -> f54(B,C,E,F,G,H,1 + J) [G >= J] f66(B,C,E,F,G,H,J) -> f70(B,C,E,F,G,0,J) [F >= G] f70(B,C,E,F,G,H,J) -> f70(B,C,E,F,G,1 + H,J) [G >= 1 + H] f80(B,C,E,F,G,H,J) -> f84(B,C,E,F,G,1 + G,J) [G >= 0] f84(B,C,E,F,G,H,J) -> f84(B,C,E,F,G,1 + H,J) [F >= H] f84(B,C,E,F,G,H,J) -> f80(B,C,E,F,-1 + G,H,J) [H >= 1 + F] f80(B,C,E,F,G,H,J) -> f96(B,C,E,F,G,H,J) [0 >= 1 + G] f70(B,C,E,F,G,H,J) -> f66(B,C,E,F,1 + G,H,J) [H >= G] f66(B,C,E,F,G,H,J) -> f80(B,C,E,F,-1 + F,H,J) [G >= 1 + F] f54(B,C,E,F,G,H,J) -> f50(B,C,E,F,G,1 + H,J) [J >= 1 + G] f50(B,C,E,F,G,H,J) -> f33(B,C,E,F,1 + G,H,J) [H >= 1 + F] f41(B,C,E,F,G,H,J) -> f36(B,C,E,F,G,1 + H,J) [J >= G] f36(B,C,E,F,G,H,J) -> f50(B,C,E,F,G,1 + G,J) [H >= 1 + F] f33(B,C,E,F,G,H,J) -> f66(B,C,E,F,1,H,J) [G >= F] f19(B,C,E,F,G,H,J) -> f15(B,1 + C,E,F,G,H,J) [E >= 1 + B] f15(B,C,E,F,G,H,J) -> f33(B,C,E,B,0,H,J) [C >= 1 + B] Signature: {(f0,13) ;(f15,13) ;(f19,13) ;(f33,13) ;(f36,13) ;(f41,13) ;(f50,13) ;(f54,13) ;(f66,13) ;(f70,13) ;(f80,13) ;(f84,13) ;(f96,13)} Rule Graph: [0->{1},1->{2,3,4,25},2->{2,25},3->{3,4,25},4->{2,25},5->{6,7,9},6->{22},7->{8},8->{8,22},9->{9,23} ,10->{11,20},11->{11,20},12->{13,18},13->{13,18},14->{15,16},15->{15,16},16->{14,17},17->{},18->{12,19} ,19->{14,17},20->{10,21},21->{5,24},22->{6,7,9,23},23->{10,21},24->{12,19},25->{1,26},26->{5,24}] + Applied Processor: Unfold + Details: () * Step 5: AddSinks WORST_CASE(?,O(1)) + Considered Problem: Rules: f0.0(B,C,E,F,G,H,J) -> f15.1(5,0,E,F,G,H,J) True f15.1(B,C,E,F,G,H,J) -> f19.2(B,C,0,F,G,H,J) [B >= C] f15.1(B,C,E,F,G,H,J) -> f19.3(B,C,0,F,G,H,J) [B >= C] f15.1(B,C,E,F,G,H,J) -> f19.4(B,C,0,F,G,H,J) [B >= C] f15.1(B,C,E,F,G,H,J) -> f19.25(B,C,0,F,G,H,J) [B >= C] f19.2(B,C,E,F,G,H,J) -> f19.2(B,C,1 + E,F,G,H,J) [B >= E && E >= 1 + C] f19.2(B,C,E,F,G,H,J) -> f19.25(B,C,1 + E,F,G,H,J) [B >= E && E >= 1 + C] f19.3(B,C,E,F,G,H,J) -> f19.3(B,C,1 + E,F,G,H,J) [C >= 1 + E && B >= E] f19.3(B,C,E,F,G,H,J) -> f19.4(B,C,1 + E,F,G,H,J) [C >= 1 + E && B >= E] f19.3(B,C,E,F,G,H,J) -> f19.25(B,C,1 + E,F,G,H,J) [C >= 1 + E && B >= E] f19.4(B,C,E,F,G,H,J) -> f19.2(B,C,1 + C,F,G,H,J) [B >= E && C = E] f19.4(B,C,E,F,G,H,J) -> f19.25(B,C,1 + C,F,G,H,J) [B >= E && C = E] f33.5(B,C,E,F,G,H,J) -> f36.6(B,C,E,F,G,1 + G,J) [F >= 1 + G] f33.5(B,C,E,F,G,H,J) -> f36.7(B,C,E,F,G,1 + G,J) [F >= 1 + G] f33.5(B,C,E,F,G,H,J) -> f36.9(B,C,E,F,G,1 + G,J) [F >= 1 + G] f36.6(B,C,E,F,G,H,J) -> f41.22(B,C,E,F,G,H,0) [0 >= 1 + G && F >= H] f36.7(B,C,E,F,G,H,J) -> f41.8(B,C,E,F,G,H,0) [G >= 1 && F >= H] f41.8(B,C,E,F,G,H,J) -> f41.8(B,C,E,F,G,H,1 + J) [G >= 1 + J] f41.8(B,C,E,F,G,H,J) -> f41.22(B,C,E,F,G,H,1 + J) [G >= 1 + J] f36.9(B,C,E,F,G,H,J) -> f36.9(B,C,E,F,0,1 + H,J) [F >= H && G = 0] f36.9(B,C,E,F,G,H,J) -> f36.23(B,C,E,F,0,1 + H,J) [F >= H && G = 0] f50.10(B,C,E,F,G,H,J) -> f54.11(B,C,E,F,G,H,0) [F >= H] f50.10(B,C,E,F,G,H,J) -> f54.20(B,C,E,F,G,H,0) [F >= H] f54.11(B,C,E,F,G,H,J) -> f54.11(B,C,E,F,G,H,1 + J) [G >= J] f54.11(B,C,E,F,G,H,J) -> f54.20(B,C,E,F,G,H,1 + J) [G >= J] f66.12(B,C,E,F,G,H,J) -> f70.13(B,C,E,F,G,0,J) [F >= G] f66.12(B,C,E,F,G,H,J) -> f70.18(B,C,E,F,G,0,J) [F >= G] f70.13(B,C,E,F,G,H,J) -> f70.13(B,C,E,F,G,1 + H,J) [G >= 1 + H] f70.13(B,C,E,F,G,H,J) -> f70.18(B,C,E,F,G,1 + H,J) [G >= 1 + H] f80.14(B,C,E,F,G,H,J) -> f84.15(B,C,E,F,G,1 + G,J) [G >= 0] f80.14(B,C,E,F,G,H,J) -> f84.16(B,C,E,F,G,1 + G,J) [G >= 0] f84.15(B,C,E,F,G,H,J) -> f84.15(B,C,E,F,G,1 + H,J) [F >= H] f84.15(B,C,E,F,G,H,J) -> f84.16(B,C,E,F,G,1 + H,J) [F >= H] f84.16(B,C,E,F,G,H,J) -> f80.14(B,C,E,F,-1 + G,H,J) [H >= 1 + F] f84.16(B,C,E,F,G,H,J) -> f80.17(B,C,E,F,-1 + G,H,J) [H >= 1 + F] f80.17(B,C,E,F,G,H,J) -> f96.27(B,C,E,F,G,H,J) [0 >= 1 + G] f70.18(B,C,E,F,G,H,J) -> f66.12(B,C,E,F,1 + G,H,J) [H >= G] f70.18(B,C,E,F,G,H,J) -> f66.19(B,C,E,F,1 + G,H,J) [H >= G] f66.19(B,C,E,F,G,H,J) -> f80.14(B,C,E,F,-1 + F,H,J) [G >= 1 + F] f66.19(B,C,E,F,G,H,J) -> f80.17(B,C,E,F,-1 + F,H,J) [G >= 1 + F] f54.20(B,C,E,F,G,H,J) -> f50.10(B,C,E,F,G,1 + H,J) [J >= 1 + G] f54.20(B,C,E,F,G,H,J) -> f50.21(B,C,E,F,G,1 + H,J) [J >= 1 + G] f50.21(B,C,E,F,G,H,J) -> f33.5(B,C,E,F,1 + G,H,J) [H >= 1 + F] f50.21(B,C,E,F,G,H,J) -> f33.24(B,C,E,F,1 + G,H,J) [H >= 1 + F] f41.22(B,C,E,F,G,H,J) -> f36.6(B,C,E,F,G,1 + H,J) [J >= G] f41.22(B,C,E,F,G,H,J) -> f36.7(B,C,E,F,G,1 + H,J) [J >= G] f41.22(B,C,E,F,G,H,J) -> f36.9(B,C,E,F,G,1 + H,J) [J >= G] f41.22(B,C,E,F,G,H,J) -> f36.23(B,C,E,F,G,1 + H,J) [J >= G] f36.23(B,C,E,F,G,H,J) -> f50.10(B,C,E,F,G,1 + G,J) [H >= 1 + F] f36.23(B,C,E,F,G,H,J) -> f50.21(B,C,E,F,G,1 + G,J) [H >= 1 + F] f33.24(B,C,E,F,G,H,J) -> f66.12(B,C,E,F,1,H,J) [G >= F] f33.24(B,C,E,F,G,H,J) -> f66.19(B,C,E,F,1,H,J) [G >= F] f19.25(B,C,E,F,G,H,J) -> f15.1(B,1 + C,E,F,G,H,J) [E >= 1 + B] f19.25(B,C,E,F,G,H,J) -> f15.26(B,1 + C,E,F,G,H,J) [E >= 1 + B] f15.26(B,C,E,F,G,H,J) -> f33.5(B,C,E,B,0,H,J) [C >= 1 + B] f15.26(B,C,E,F,G,H,J) -> f33.24(B,C,E,B,0,H,J) [C >= 1 + B] Signature: {(f0.0,7) ;(f15.1,7) ;(f15.26,7) ;(f19.2,7) ;(f19.25,7) ;(f19.3,7) ;(f19.4,7) ;(f33.24,7) ;(f33.5,7) ;(f36.23,7) ;(f36.6,7) ;(f36.7,7) ;(f36.9,7) ;(f41.22,7) ;(f41.8,7) ;(f50.10,7) ;(f50.21,7) ;(f54.11,7) ;(f54.20,7) ;(f66.12,7) ;(f66.19,7) ;(f70.13,7) ;(f70.18,7) ;(f80.14,7) ;(f80.17,7) ;(f84.15,7) ;(f84.16,7) ;(f96.27,7)} Rule Graph: [0->{1,2,3,4},1->{5,6},2->{7,8,9},3->{10,11},4->{52,53},5->{5,6},6->{52,53},7->{7,8,9},8->{10,11},9->{52 ,53},10->{5,6},11->{52,53},12->{15},13->{16},14->{19,20},15->{44,45,46,47},16->{17,18},17->{17,18},18->{44 ,45,46,47},19->{19,20},20->{48,49},21->{23,24},22->{40,41},23->{23,24},24->{40,41},25->{27,28},26->{36,37} ,27->{27,28},28->{36,37},29->{31,32},30->{33,34},31->{31,32},32->{33,34},33->{29,30},34->{35},35->{},36->{25 ,26},37->{38,39},38->{29,30},39->{35},40->{21,22},41->{42,43},42->{12,13,14},43->{50,51},44->{15},45->{16} ,46->{19,20},47->{48,49},48->{21,22},49->{42,43},50->{25,26},51->{38,39},52->{1,2,3,4},53->{54,55},54->{12 ,13,14},55->{50,51}] + Applied Processor: AddSinks + Details: () * Step 6: Decompose WORST_CASE(?,O(1)) + Considered Problem: Rules: f0.0(B,C,E,F,G,H,J) -> f15.1(5,0,E,F,G,H,J) True f15.1(B,C,E,F,G,H,J) -> f19.2(B,C,0,F,G,H,J) [B >= C] f15.1(B,C,E,F,G,H,J) -> f19.3(B,C,0,F,G,H,J) [B >= C] f15.1(B,C,E,F,G,H,J) -> f19.4(B,C,0,F,G,H,J) [B >= C] f15.1(B,C,E,F,G,H,J) -> f19.25(B,C,0,F,G,H,J) [B >= C] f19.2(B,C,E,F,G,H,J) -> f19.2(B,C,1 + E,F,G,H,J) [B >= E && E >= 1 + C] f19.2(B,C,E,F,G,H,J) -> f19.25(B,C,1 + E,F,G,H,J) [B >= E && E >= 1 + C] f19.3(B,C,E,F,G,H,J) -> f19.3(B,C,1 + E,F,G,H,J) [C >= 1 + E && B >= E] f19.3(B,C,E,F,G,H,J) -> f19.4(B,C,1 + E,F,G,H,J) [C >= 1 + E && B >= E] f19.3(B,C,E,F,G,H,J) -> f19.25(B,C,1 + E,F,G,H,J) [C >= 1 + E && B >= E] f19.4(B,C,E,F,G,H,J) -> f19.2(B,C,1 + C,F,G,H,J) [B >= E && C = E] f19.4(B,C,E,F,G,H,J) -> f19.25(B,C,1 + C,F,G,H,J) [B >= E && C = E] f33.5(B,C,E,F,G,H,J) -> f36.6(B,C,E,F,G,1 + G,J) [F >= 1 + G] f33.5(B,C,E,F,G,H,J) -> f36.7(B,C,E,F,G,1 + G,J) [F >= 1 + G] f33.5(B,C,E,F,G,H,J) -> f36.9(B,C,E,F,G,1 + G,J) [F >= 1 + G] f36.6(B,C,E,F,G,H,J) -> f41.22(B,C,E,F,G,H,0) [0 >= 1 + G && F >= H] f36.7(B,C,E,F,G,H,J) -> f41.8(B,C,E,F,G,H,0) [G >= 1 && F >= H] f41.8(B,C,E,F,G,H,J) -> f41.8(B,C,E,F,G,H,1 + J) [G >= 1 + J] f41.8(B,C,E,F,G,H,J) -> f41.22(B,C,E,F,G,H,1 + J) [G >= 1 + J] f36.9(B,C,E,F,G,H,J) -> f36.9(B,C,E,F,0,1 + H,J) [F >= H && G = 0] f36.9(B,C,E,F,G,H,J) -> f36.23(B,C,E,F,0,1 + H,J) [F >= H && G = 0] f50.10(B,C,E,F,G,H,J) -> f54.11(B,C,E,F,G,H,0) [F >= H] f50.10(B,C,E,F,G,H,J) -> f54.20(B,C,E,F,G,H,0) [F >= H] f54.11(B,C,E,F,G,H,J) -> f54.11(B,C,E,F,G,H,1 + J) [G >= J] f54.11(B,C,E,F,G,H,J) -> f54.20(B,C,E,F,G,H,1 + J) [G >= J] f66.12(B,C,E,F,G,H,J) -> f70.13(B,C,E,F,G,0,J) [F >= G] f66.12(B,C,E,F,G,H,J) -> f70.18(B,C,E,F,G,0,J) [F >= G] f70.13(B,C,E,F,G,H,J) -> f70.13(B,C,E,F,G,1 + H,J) [G >= 1 + H] f70.13(B,C,E,F,G,H,J) -> f70.18(B,C,E,F,G,1 + H,J) [G >= 1 + H] f80.14(B,C,E,F,G,H,J) -> f84.15(B,C,E,F,G,1 + G,J) [G >= 0] f80.14(B,C,E,F,G,H,J) -> f84.16(B,C,E,F,G,1 + G,J) [G >= 0] f84.15(B,C,E,F,G,H,J) -> f84.15(B,C,E,F,G,1 + H,J) [F >= H] f84.15(B,C,E,F,G,H,J) -> f84.16(B,C,E,F,G,1 + H,J) [F >= H] f84.16(B,C,E,F,G,H,J) -> f80.14(B,C,E,F,-1 + G,H,J) [H >= 1 + F] f84.16(B,C,E,F,G,H,J) -> f80.17(B,C,E,F,-1 + G,H,J) [H >= 1 + F] f80.17(B,C,E,F,G,H,J) -> f96.27(B,C,E,F,G,H,J) [0 >= 1 + G] f70.18(B,C,E,F,G,H,J) -> f66.12(B,C,E,F,1 + G,H,J) [H >= G] f70.18(B,C,E,F,G,H,J) -> f66.19(B,C,E,F,1 + G,H,J) [H >= G] f66.19(B,C,E,F,G,H,J) -> f80.14(B,C,E,F,-1 + F,H,J) [G >= 1 + F] f66.19(B,C,E,F,G,H,J) -> f80.17(B,C,E,F,-1 + F,H,J) [G >= 1 + F] f54.20(B,C,E,F,G,H,J) -> f50.10(B,C,E,F,G,1 + H,J) [J >= 1 + G] f54.20(B,C,E,F,G,H,J) -> f50.21(B,C,E,F,G,1 + H,J) [J >= 1 + G] f50.21(B,C,E,F,G,H,J) -> f33.5(B,C,E,F,1 + G,H,J) [H >= 1 + F] f50.21(B,C,E,F,G,H,J) -> f33.24(B,C,E,F,1 + G,H,J) [H >= 1 + F] f41.22(B,C,E,F,G,H,J) -> f36.6(B,C,E,F,G,1 + H,J) [J >= G] f41.22(B,C,E,F,G,H,J) -> f36.7(B,C,E,F,G,1 + H,J) [J >= G] f41.22(B,C,E,F,G,H,J) -> f36.9(B,C,E,F,G,1 + H,J) [J >= G] f41.22(B,C,E,F,G,H,J) -> f36.23(B,C,E,F,G,1 + H,J) [J >= G] f36.23(B,C,E,F,G,H,J) -> f50.10(B,C,E,F,G,1 + G,J) [H >= 1 + F] f36.23(B,C,E,F,G,H,J) -> f50.21(B,C,E,F,G,1 + G,J) [H >= 1 + F] f33.24(B,C,E,F,G,H,J) -> f66.12(B,C,E,F,1,H,J) [G >= F] f33.24(B,C,E,F,G,H,J) -> f66.19(B,C,E,F,1,H,J) [G >= F] f19.25(B,C,E,F,G,H,J) -> f15.1(B,1 + C,E,F,G,H,J) [E >= 1 + B] f19.25(B,C,E,F,G,H,J) -> f15.26(B,1 + C,E,F,G,H,J) [E >= 1 + B] f15.26(B,C,E,F,G,H,J) -> f33.5(B,C,E,B,0,H,J) [C >= 1 + B] f15.26(B,C,E,F,G,H,J) -> f33.24(B,C,E,B,0,H,J) [C >= 1 + B] f96.27(B,C,E,F,G,H,J) -> exitus616(B,C,E,F,G,H,J) True f96.27(B,C,E,F,G,H,J) -> exitus616(B,C,E,F,G,H,J) True f96.27(B,C,E,F,G,H,J) -> exitus616(B,C,E,F,G,H,J) True f96.27(B,C,E,F,G,H,J) -> exitus616(B,C,E,F,G,H,J) True f96.27(B,C,E,F,G,H,J) -> exitus616(B,C,E,F,G,H,J) True f96.27(B,C,E,F,G,H,J) -> exitus616(B,C,E,F,G,H,J) True f96.27(B,C,E,F,G,H,J) -> exitus616(B,C,E,F,G,H,J) True f96.27(B,C,E,F,G,H,J) -> exitus616(B,C,E,F,G,H,J) True Signature: {(exitus616,7) ;(f0.0,7) ;(f15.1,7) ;(f15.26,7) ;(f19.2,7) ;(f19.25,7) ;(f19.3,7) ;(f19.4,7) ;(f33.24,7) ;(f33.5,7) ;(f36.23,7) ;(f36.6,7) ;(f36.7,7) ;(f36.9,7) ;(f41.22,7) ;(f41.8,7) ;(f50.10,7) ;(f50.21,7) ;(f54.11,7) ;(f54.20,7) ;(f66.12,7) ;(f66.19,7) ;(f70.13,7) ;(f70.18,7) ;(f80.14,7) ;(f80.17,7) ;(f84.15,7) ;(f84.16,7) ;(f96.27,7)} Rule Graph: [0->{1,2,3,4},1->{5,6},2->{7,8,9},3->{10,11},4->{52,53},5->{5,6},6->{52,53},7->{7,8,9},8->{10,11},9->{52 ,53},10->{5,6},11->{52,53},12->{15},13->{16},14->{19,20},15->{44,45,46,47},16->{17,18},17->{17,18},18->{44 ,45,46,47},19->{19,20},20->{48,49},21->{23,24},22->{40,41},23->{23,24},24->{40,41},25->{27,28},26->{36,37} ,27->{27,28},28->{36,37},29->{31,32},30->{33,34},31->{31,32},32->{33,34},33->{29,30},34->{35},35->{56,57,58 ,59,60,61,62,63},36->{25,26},37->{38,39},38->{29,30},39->{35},40->{21,22},41->{42,43},42->{12,13,14},43->{50 ,51},44->{15},45->{16},46->{19,20},47->{48,49},48->{21,22},49->{42,43},50->{25,26},51->{38,39},52->{1,2,3,4} ,53->{54,55},54->{12,13,14},55->{50,51}] + 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] | +- p:[1,52,4,6,5,10,3,8,2,7,9,11] c: [1,2,3,4,6,8,9,10,11,52] | | | +- p:[7] c: [7] | | | `- p:[5] c: [5] | +- p:[12,42,41,22,40,24,21,48,20,14,19,46,15,44,18,16,13,45,17,47,23,49] c: [12,13,14,20,41,42,49] | | | +- p:[15,44,18,16,45,17] c: [15,16,44,45] | | | | | `- p:[17] c: [17] | | | +- p:[21,40,22,24,23] c: [21,22,24,40] | | | | | `- p:[23] c: [23] | | | `- p:[19] c: [19] | +- p:[25,36,26,28,27] c: [25,26,28,36] | | | `- p:[27] c: [27] | `- p:[29,33,30,32,31] c: [29,30,32,33] | `- p:[31] c: [31] * Step 7: AbstractSize WORST_CASE(?,O(1)) + Considered Problem: (Rules: f0.0(B,C,E,F,G,H,J) -> f15.1(5,0,E,F,G,H,J) True f15.1(B,C,E,F,G,H,J) -> f19.2(B,C,0,F,G,H,J) [B >= C] f15.1(B,C,E,F,G,H,J) -> f19.3(B,C,0,F,G,H,J) [B >= C] f15.1(B,C,E,F,G,H,J) -> f19.4(B,C,0,F,G,H,J) [B >= C] f15.1(B,C,E,F,G,H,J) -> f19.25(B,C,0,F,G,H,J) [B >= C] f19.2(B,C,E,F,G,H,J) -> f19.2(B,C,1 + E,F,G,H,J) [B >= E && E >= 1 + C] f19.2(B,C,E,F,G,H,J) -> f19.25(B,C,1 + E,F,G,H,J) [B >= E && E >= 1 + C] f19.3(B,C,E,F,G,H,J) -> f19.3(B,C,1 + E,F,G,H,J) [C >= 1 + E && B >= E] f19.3(B,C,E,F,G,H,J) -> f19.4(B,C,1 + E,F,G,H,J) [C >= 1 + E && B >= E] f19.3(B,C,E,F,G,H,J) -> f19.25(B,C,1 + E,F,G,H,J) [C >= 1 + E && B >= E] f19.4(B,C,E,F,G,H,J) -> f19.2(B,C,1 + C,F,G,H,J) [B >= E && C = E] f19.4(B,C,E,F,G,H,J) -> f19.25(B,C,1 + C,F,G,H,J) [B >= E && C = E] f33.5(B,C,E,F,G,H,J) -> f36.6(B,C,E,F,G,1 + G,J) [F >= 1 + G] f33.5(B,C,E,F,G,H,J) -> f36.7(B,C,E,F,G,1 + G,J) [F >= 1 + G] f33.5(B,C,E,F,G,H,J) -> f36.9(B,C,E,F,G,1 + G,J) [F >= 1 + G] f36.6(B,C,E,F,G,H,J) -> f41.22(B,C,E,F,G,H,0) [0 >= 1 + G && F >= H] f36.7(B,C,E,F,G,H,J) -> f41.8(B,C,E,F,G,H,0) [G >= 1 && F >= H] f41.8(B,C,E,F,G,H,J) -> f41.8(B,C,E,F,G,H,1 + J) [G >= 1 + J] f41.8(B,C,E,F,G,H,J) -> f41.22(B,C,E,F,G,H,1 + J) [G >= 1 + J] f36.9(B,C,E,F,G,H,J) -> f36.9(B,C,E,F,0,1 + H,J) [F >= H && G = 0] f36.9(B,C,E,F,G,H,J) -> f36.23(B,C,E,F,0,1 + H,J) [F >= H && G = 0] f50.10(B,C,E,F,G,H,J) -> f54.11(B,C,E,F,G,H,0) [F >= H] f50.10(B,C,E,F,G,H,J) -> f54.20(B,C,E,F,G,H,0) [F >= H] f54.11(B,C,E,F,G,H,J) -> f54.11(B,C,E,F,G,H,1 + J) [G >= J] f54.11(B,C,E,F,G,H,J) -> f54.20(B,C,E,F,G,H,1 + J) [G >= J] f66.12(B,C,E,F,G,H,J) -> f70.13(B,C,E,F,G,0,J) [F >= G] f66.12(B,C,E,F,G,H,J) -> f70.18(B,C,E,F,G,0,J) [F >= G] f70.13(B,C,E,F,G,H,J) -> f70.13(B,C,E,F,G,1 + H,J) [G >= 1 + H] f70.13(B,C,E,F,G,H,J) -> f70.18(B,C,E,F,G,1 + H,J) [G >= 1 + H] f80.14(B,C,E,F,G,H,J) -> f84.15(B,C,E,F,G,1 + G,J) [G >= 0] f80.14(B,C,E,F,G,H,J) -> f84.16(B,C,E,F,G,1 + G,J) [G >= 0] f84.15(B,C,E,F,G,H,J) -> f84.15(B,C,E,F,G,1 + H,J) [F >= H] f84.15(B,C,E,F,G,H,J) -> f84.16(B,C,E,F,G,1 + H,J) [F >= H] f84.16(B,C,E,F,G,H,J) -> f80.14(B,C,E,F,-1 + G,H,J) [H >= 1 + F] f84.16(B,C,E,F,G,H,J) -> f80.17(B,C,E,F,-1 + G,H,J) [H >= 1 + F] f80.17(B,C,E,F,G,H,J) -> f96.27(B,C,E,F,G,H,J) [0 >= 1 + G] f70.18(B,C,E,F,G,H,J) -> f66.12(B,C,E,F,1 + G,H,J) [H >= G] f70.18(B,C,E,F,G,H,J) -> f66.19(B,C,E,F,1 + G,H,J) [H >= G] f66.19(B,C,E,F,G,H,J) -> f80.14(B,C,E,F,-1 + F,H,J) [G >= 1 + F] f66.19(B,C,E,F,G,H,J) -> f80.17(B,C,E,F,-1 + F,H,J) [G >= 1 + F] f54.20(B,C,E,F,G,H,J) -> f50.10(B,C,E,F,G,1 + H,J) [J >= 1 + G] f54.20(B,C,E,F,G,H,J) -> f50.21(B,C,E,F,G,1 + H,J) [J >= 1 + G] f50.21(B,C,E,F,G,H,J) -> f33.5(B,C,E,F,1 + G,H,J) [H >= 1 + F] f50.21(B,C,E,F,G,H,J) -> f33.24(B,C,E,F,1 + G,H,J) [H >= 1 + F] f41.22(B,C,E,F,G,H,J) -> f36.6(B,C,E,F,G,1 + H,J) [J >= G] f41.22(B,C,E,F,G,H,J) -> f36.7(B,C,E,F,G,1 + H,J) [J >= G] f41.22(B,C,E,F,G,H,J) -> f36.9(B,C,E,F,G,1 + H,J) [J >= G] f41.22(B,C,E,F,G,H,J) -> f36.23(B,C,E,F,G,1 + H,J) [J >= G] f36.23(B,C,E,F,G,H,J) -> f50.10(B,C,E,F,G,1 + G,J) [H >= 1 + F] f36.23(B,C,E,F,G,H,J) -> f50.21(B,C,E,F,G,1 + G,J) [H >= 1 + F] f33.24(B,C,E,F,G,H,J) -> f66.12(B,C,E,F,1,H,J) [G >= F] f33.24(B,C,E,F,G,H,J) -> f66.19(B,C,E,F,1,H,J) [G >= F] f19.25(B,C,E,F,G,H,J) -> f15.1(B,1 + C,E,F,G,H,J) [E >= 1 + B] f19.25(B,C,E,F,G,H,J) -> f15.26(B,1 + C,E,F,G,H,J) [E >= 1 + B] f15.26(B,C,E,F,G,H,J) -> f33.5(B,C,E,B,0,H,J) [C >= 1 + B] f15.26(B,C,E,F,G,H,J) -> f33.24(B,C,E,B,0,H,J) [C >= 1 + B] f96.27(B,C,E,F,G,H,J) -> exitus616(B,C,E,F,G,H,J) True f96.27(B,C,E,F,G,H,J) -> exitus616(B,C,E,F,G,H,J) True f96.27(B,C,E,F,G,H,J) -> exitus616(B,C,E,F,G,H,J) True f96.27(B,C,E,F,G,H,J) -> exitus616(B,C,E,F,G,H,J) True f96.27(B,C,E,F,G,H,J) -> exitus616(B,C,E,F,G,H,J) True f96.27(B,C,E,F,G,H,J) -> exitus616(B,C,E,F,G,H,J) True f96.27(B,C,E,F,G,H,J) -> exitus616(B,C,E,F,G,H,J) True f96.27(B,C,E,F,G,H,J) -> exitus616(B,C,E,F,G,H,J) True Signature: {(exitus616,7) ;(f0.0,7) ;(f15.1,7) ;(f15.26,7) ;(f19.2,7) ;(f19.25,7) ;(f19.3,7) ;(f19.4,7) ;(f33.24,7) ;(f33.5,7) ;(f36.23,7) ;(f36.6,7) ;(f36.7,7) ;(f36.9,7) ;(f41.22,7) ;(f41.8,7) ;(f50.10,7) ;(f50.21,7) ;(f54.11,7) ;(f54.20,7) ;(f66.12,7) ;(f66.19,7) ;(f70.13,7) ;(f70.18,7) ;(f80.14,7) ;(f80.17,7) ;(f84.15,7) ;(f84.16,7) ;(f96.27,7)} Rule Graph: [0->{1,2,3,4},1->{5,6},2->{7,8,9},3->{10,11},4->{52,53},5->{5,6},6->{52,53},7->{7,8,9},8->{10,11},9->{52 ,53},10->{5,6},11->{52,53},12->{15},13->{16},14->{19,20},15->{44,45,46,47},16->{17,18},17->{17,18},18->{44 ,45,46,47},19->{19,20},20->{48,49},21->{23,24},22->{40,41},23->{23,24},24->{40,41},25->{27,28},26->{36,37} ,27->{27,28},28->{36,37},29->{31,32},30->{33,34},31->{31,32},32->{33,34},33->{29,30},34->{35},35->{56,57,58 ,59,60,61,62,63},36->{25,26},37->{38,39},38->{29,30},39->{35},40->{21,22},41->{42,43},42->{12,13,14},43->{50 ,51},44->{15},45->{16},46->{19,20},47->{48,49},48->{21,22},49->{42,43},50->{25,26},51->{38,39},52->{1,2,3,4} ,53->{54,55},54->{12,13,14},55->{50,51}] ,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] | +- p:[1,52,4,6,5,10,3,8,2,7,9,11] c: [1,2,3,4,6,8,9,10,11,52] | | | +- p:[7] c: [7] | | | `- p:[5] c: [5] | +- p:[12,42,41,22,40,24,21,48,20,14,19,46,15,44,18,16,13,45,17,47,23,49] c: [12,13,14,20,41,42,49] | | | +- p:[15,44,18,16,45,17] c: [15,16,44,45] | | | | | `- p:[17] c: [17] | | | +- p:[21,40,22,24,23] c: [21,22,24,40] | | | | | `- p:[23] c: [23] | | | `- p:[19] c: [19] | +- p:[25,36,26,28,27] c: [25,26,28,36] | | | `- p:[27] c: [27] | `- p:[29,33,30,32,31] c: [29,30,32,33] | `- p:[31] c: [31]) + Applied Processor: AbstractSize Minimize + Details: () * Step 8: AbstractFlow WORST_CASE(?,O(1)) + Considered Problem: Program: Domain: [B,C,E,F,G,H,J,0.0,0.0.0,0.0.1,0.1,0.1.0,0.1.0.0,0.1.1,0.1.1.0,0.1.2,0.2,0.2.0,0.3,0.3.0] f0.0 ~> f15.1 [B <= 5*K, C <= 0*K, E <= E, F <= F, G <= G, H <= H, J <= J] f15.1 ~> f19.2 [B <= B, C <= C, E <= 0*K, F <= F, G <= G, H <= H, J <= J] f15.1 ~> f19.3 [B <= B, C <= C, E <= 0*K, F <= F, G <= G, H <= H, J <= J] f15.1 ~> f19.4 [B <= B, C <= C, E <= 0*K, F <= F, G <= G, H <= H, J <= J] f15.1 ~> f19.25 [B <= B, C <= C, E <= 0*K, F <= F, G <= G, H <= H, J <= J] f19.2 ~> f19.2 [B <= B, C <= C, E <= K + E, F <= F, G <= G, H <= H, J <= J] f19.2 ~> f19.25 [B <= B, C <= C, E <= K + E, F <= F, G <= G, H <= H, J <= J] f19.3 ~> f19.3 [B <= B, C <= C, E <= K + E, F <= F, G <= G, H <= H, J <= J] f19.3 ~> f19.4 [B <= B, C <= C, E <= K + E, F <= F, G <= G, H <= H, J <= J] f19.3 ~> f19.25 [B <= B, C <= C, E <= K + E, F <= F, G <= G, H <= H, J <= J] f19.4 ~> f19.2 [B <= B, C <= C, E <= K + E, F <= F, G <= G, H <= H, J <= J] f19.4 ~> f19.25 [B <= B, C <= C, E <= K + E, F <= F, G <= G, H <= H, J <= J] f33.5 ~> f36.6 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= F + G, J <= J] f33.5 ~> f36.7 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= F + G, J <= J] f33.5 ~> f36.9 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= F + G, J <= J] f36.6 ~> f41.22 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= H, J <= 0*K] f36.7 ~> f41.8 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= H, J <= 0*K] f41.8 ~> f41.8 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= H, J <= G + J] f41.8 ~> f41.22 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= H, J <= G + J] f36.9 ~> f36.9 [B <= B, C <= C, E <= E, F <= F, G <= 0*K, H <= K + H, J <= J] f36.9 ~> f36.23 [B <= B, C <= C, E <= E, F <= F, G <= 0*K, H <= K + H, J <= J] f50.10 ~> f54.11 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= H, J <= 0*K] f50.10 ~> f54.20 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= H, J <= 0*K] f54.11 ~> f54.11 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= H, J <= K + J] f54.11 ~> f54.20 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= H, J <= K + J] f66.12 ~> f70.13 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= 0*K, J <= J] f66.12 ~> f70.18 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= 0*K, J <= J] f70.13 ~> f70.13 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= G + H, J <= J] f70.13 ~> f70.18 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= G + H, J <= J] f80.14 ~> f84.15 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= K + G, J <= J] f80.14 ~> f84.16 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= K + G, J <= J] f84.15 ~> f84.15 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= K + H, J <= J] f84.15 ~> f84.16 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= K + H, J <= J] f84.16 ~> f80.14 [B <= B, C <= C, E <= E, F <= F, G <= K + G, H <= H, J <= J] f84.16 ~> f80.17 [B <= B, C <= C, E <= E, F <= F, G <= K + G, H <= H, J <= J] f80.17 ~> f96.27 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= H, J <= J] f70.18 ~> f66.12 [B <= B, C <= C, E <= E, F <= F, G <= K + G, H <= H, J <= J] f70.18 ~> f66.19 [B <= B, C <= C, E <= E, F <= F, G <= K + G, H <= H, J <= J] f66.19 ~> f80.14 [B <= B, C <= C, E <= E, F <= F, G <= K + F, H <= H, J <= J] f66.19 ~> f80.17 [B <= B, C <= C, E <= E, F <= F, G <= K + F, H <= H, J <= J] f54.20 ~> f50.10 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= K + H, J <= J] f54.20 ~> f50.21 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= K + H, J <= J] f50.21 ~> f33.5 [B <= B, C <= C, E <= E, F <= F, G <= K + G, H <= H, J <= J] f50.21 ~> f33.24 [B <= B, C <= C, E <= E, F <= F, G <= K + G, H <= H, J <= J] f41.22 ~> f36.6 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= K + H, J <= J] f41.22 ~> f36.7 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= K + H, J <= J] f41.22 ~> f36.9 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= K + H, J <= J] f41.22 ~> f36.23 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= K + H, J <= J] f36.23 ~> f50.10 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= K + G, J <= J] f36.23 ~> f50.21 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= K + G, J <= J] f33.24 ~> f66.12 [B <= B, C <= C, E <= E, F <= F, G <= K, H <= H, J <= J] f33.24 ~> f66.19 [B <= B, C <= C, E <= E, F <= F, G <= K, H <= H, J <= J] f19.25 ~> f15.1 [B <= B, C <= K + C, E <= E, F <= F, G <= G, H <= H, J <= J] f19.25 ~> f15.26 [B <= B, C <= K + C, E <= E, F <= F, G <= G, H <= H, J <= J] f15.26 ~> f33.5 [B <= B, C <= C, E <= E, F <= B, G <= 0*K, H <= H, J <= J] f15.26 ~> f33.24 [B <= B, C <= C, E <= E, F <= B, G <= 0*K, H <= H, J <= J] f96.27 ~> exitus616 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= H, J <= J] f96.27 ~> exitus616 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= H, J <= J] f96.27 ~> exitus616 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= H, J <= J] f96.27 ~> exitus616 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= H, J <= J] f96.27 ~> exitus616 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= H, J <= J] f96.27 ~> exitus616 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= H, J <= J] f96.27 ~> exitus616 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= H, J <= J] f96.27 ~> exitus616 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= H, J <= J] + Loop: [0.0 <= K + B + C] f15.1 ~> f19.2 [B <= B, C <= C, E <= 0*K, F <= F, G <= G, H <= H, J <= J] f19.25 ~> f15.1 [B <= B, C <= K + C, E <= E, F <= F, G <= G, H <= H, J <= J] f15.1 ~> f19.25 [B <= B, C <= C, E <= 0*K, F <= F, G <= G, H <= H, J <= J] f19.2 ~> f19.25 [B <= B, C <= C, E <= K + E, F <= F, G <= G, H <= H, J <= J] f19.2 ~> f19.2 [B <= B, C <= C, E <= K + E, F <= F, G <= G, H <= H, J <= J] f19.4 ~> f19.2 [B <= B, C <= C, E <= K + E, F <= F, G <= G, H <= H, J <= J] f15.1 ~> f19.4 [B <= B, C <= C, E <= 0*K, F <= F, G <= G, H <= H, J <= J] f19.3 ~> f19.4 [B <= B, C <= C, E <= K + E, F <= F, G <= G, H <= H, J <= J] f15.1 ~> f19.3 [B <= B, C <= C, E <= 0*K, F <= F, G <= G, H <= H, J <= J] f19.3 ~> f19.3 [B <= B, C <= C, E <= K + E, F <= F, G <= G, H <= H, J <= J] f19.3 ~> f19.25 [B <= B, C <= C, E <= K + E, F <= F, G <= G, H <= H, J <= J] f19.4 ~> f19.25 [B <= B, C <= C, E <= K + E, F <= F, G <= G, H <= H, J <= J] + Loop: [0.0.0 <= B + E] f19.3 ~> f19.3 [B <= B, C <= C, E <= K + E, F <= F, G <= G, H <= H, J <= J] + Loop: [0.0.1 <= B + E] f19.2 ~> f19.2 [B <= B, C <= C, E <= K + E, F <= F, G <= G, H <= H, J <= J] + Loop: [0.1 <= K + F + G] f33.5 ~> f36.6 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= F + G, J <= J] f50.21 ~> f33.5 [B <= B, C <= C, E <= E, F <= F, G <= K + G, H <= H, J <= J] f54.20 ~> f50.21 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= K + H, J <= J] f50.10 ~> f54.20 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= H, J <= 0*K] f54.20 ~> f50.10 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= K + H, J <= J] f54.11 ~> f54.20 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= H, J <= K + J] f50.10 ~> f54.11 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= H, J <= 0*K] f36.23 ~> f50.10 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= K + G, J <= J] f36.9 ~> f36.23 [B <= B, C <= C, E <= E, F <= F, G <= 0*K, H <= K + H, J <= J] f33.5 ~> f36.9 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= F + G, J <= J] f36.9 ~> f36.9 [B <= B, C <= C, E <= E, F <= F, G <= 0*K, H <= K + H, J <= J] f41.22 ~> f36.9 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= K + H, J <= J] f36.6 ~> f41.22 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= H, J <= 0*K] f41.22 ~> f36.6 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= K + H, J <= J] f41.8 ~> f41.22 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= H, J <= G + J] f36.7 ~> f41.8 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= H, J <= 0*K] f33.5 ~> f36.7 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= F + G, J <= J] f41.22 ~> f36.7 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= K + H, J <= J] f41.8 ~> f41.8 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= H, J <= G + J] f41.22 ~> f36.23 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= K + H, J <= J] f54.11 ~> f54.11 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= H, J <= K + J] f36.23 ~> f50.21 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= K + G, J <= J] + Loop: [0.1.0 <= K + F + H] f36.6 ~> f41.22 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= H, J <= 0*K] f41.22 ~> f36.6 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= K + H, J <= J] f41.8 ~> f41.22 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= H, J <= G + J] f36.7 ~> f41.8 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= H, J <= 0*K] f41.22 ~> f36.7 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= K + H, J <= J] f41.8 ~> f41.8 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= H, J <= G + J] + Loop: [0.1.0.0 <= K + G + J] f41.8 ~> f41.8 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= H, J <= G + J] + Loop: [0.1.1 <= K + F + H] f50.10 ~> f54.11 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= H, J <= 0*K] f54.20 ~> f50.10 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= K + H, J <= J] f50.10 ~> f54.20 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= H, J <= 0*K] f54.11 ~> f54.20 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= H, J <= K + J] f54.11 ~> f54.11 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= H, J <= K + J] + Loop: [0.1.1.0 <= G + J] f54.11 ~> f54.11 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= H, J <= K + J] + Loop: [0.1.2 <= F + H] f36.9 ~> f36.9 [B <= B, C <= C, E <= E, F <= F, G <= 0*K, H <= K + H, J <= J] + Loop: [0.2 <= K + F + G] f66.12 ~> f70.13 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= 0*K, J <= J] f70.18 ~> f66.12 [B <= B, C <= C, E <= E, F <= F, G <= K + G, H <= H, J <= J] f66.12 ~> f70.18 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= 0*K, J <= J] f70.13 ~> f70.18 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= G + H, J <= J] f70.13 ~> f70.13 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= G + H, J <= J] + Loop: [0.2.0 <= K + G + H] f70.13 ~> f70.13 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= G + H, J <= J] + Loop: [0.3 <= K + G] f80.14 ~> f84.15 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= K + G, J <= J] f84.16 ~> f80.14 [B <= B, C <= C, E <= E, F <= F, G <= K + G, H <= H, J <= J] f80.14 ~> f84.16 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= K + G, J <= J] f84.15 ~> f84.16 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= K + H, J <= J] f84.15 ~> f84.15 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= K + H, J <= J] + Loop: [0.3.0 <= F + H] f84.15 ~> f84.15 [B <= B, C <= C, E <= E, F <= F, G <= G, H <= K + H, J <= J] + Applied Processor: AbstractFlow + Details: () * Step 9: Lare WORST_CASE(?,O(1)) + Considered Problem: Program: Domain: [tick ,huge ,K ,B ,C ,E ,F ,G ,H ,J ,0.0 ,0.0.0 ,0.0.1 ,0.1 ,0.1.0 ,0.1.0.0 ,0.1.1 ,0.1.1.0 ,0.1.2 ,0.2 ,0.2.0 ,0.3 ,0.3.0] f0.0 ~> f15.1 [K ~=> B,K ~=> C] f15.1 ~> f19.2 [K ~=> E] f15.1 ~> f19.3 [K ~=> E] f15.1 ~> f19.4 [K ~=> E] f15.1 ~> f19.25 [K ~=> E] f19.2 ~> f19.2 [E ~+> E,K ~+> E] f19.2 ~> f19.25 [E ~+> E,K ~+> E] f19.3 ~> f19.3 [E ~+> E,K ~+> E] f19.3 ~> f19.4 [E ~+> E,K ~+> E] f19.3 ~> f19.25 [E ~+> E,K ~+> E] f19.4 ~> f19.2 [E ~+> E,K ~+> E] f19.4 ~> f19.25 [E ~+> E,K ~+> E] f33.5 ~> f36.6 [F ~+> H,G ~+> H] f33.5 ~> f36.7 [F ~+> H,G ~+> H] f33.5 ~> f36.9 [F ~+> H,G ~+> H] f36.6 ~> f41.22 [K ~=> J] f36.7 ~> f41.8 [K ~=> J] f41.8 ~> f41.8 [G ~+> J,J ~+> J] f41.8 ~> f41.22 [G ~+> J,J ~+> J] f36.9 ~> f36.9 [K ~=> G,H ~+> H,K ~+> H] f36.9 ~> f36.23 [K ~=> G,H ~+> H,K ~+> H] f50.10 ~> f54.11 [K ~=> J] f50.10 ~> f54.20 [K ~=> J] f54.11 ~> f54.11 [J ~+> J,K ~+> J] f54.11 ~> f54.20 [J ~+> J,K ~+> J] f66.12 ~> f70.13 [K ~=> H] f66.12 ~> f70.18 [K ~=> H] f70.13 ~> f70.13 [G ~+> H,H ~+> H] f70.13 ~> f70.18 [G ~+> H,H ~+> H] f80.14 ~> f84.15 [G ~+> H,K ~+> H] f80.14 ~> f84.16 [G ~+> H,K ~+> H] f84.15 ~> f84.15 [H ~+> H,K ~+> H] f84.15 ~> f84.16 [H ~+> H,K ~+> H] f84.16 ~> f80.14 [G ~+> G,K ~+> G] f84.16 ~> f80.17 [G ~+> G,K ~+> G] f80.17 ~> f96.27 [] f70.18 ~> f66.12 [G ~+> G,K ~+> G] f70.18 ~> f66.19 [G ~+> G,K ~+> G] f66.19 ~> f80.14 [F ~+> G,K ~+> G] f66.19 ~> f80.17 [F ~+> G,K ~+> G] f54.20 ~> f50.10 [H ~+> H,K ~+> H] f54.20 ~> f50.21 [H ~+> H,K ~+> H] f50.21 ~> f33.5 [G ~+> G,K ~+> G] f50.21 ~> f33.24 [G ~+> G,K ~+> G] f41.22 ~> f36.6 [H ~+> H,K ~+> H] f41.22 ~> f36.7 [H ~+> H,K ~+> H] f41.22 ~> f36.9 [H ~+> H,K ~+> H] f41.22 ~> f36.23 [H ~+> H,K ~+> H] f36.23 ~> f50.10 [G ~+> H,K ~+> H] f36.23 ~> f50.21 [G ~+> H,K ~+> H] f33.24 ~> f66.12 [K ~=> G] f33.24 ~> f66.19 [K ~=> G] f19.25 ~> f15.1 [C ~+> C,K ~+> C] f19.25 ~> f15.26 [C ~+> C,K ~+> C] f15.26 ~> f33.5 [B ~=> F,K ~=> G] f15.26 ~> f33.24 [B ~=> F,K ~=> G] f96.27 ~> exitus616 [] f96.27 ~> exitus616 [] f96.27 ~> exitus616 [] f96.27 ~> exitus616 [] f96.27 ~> exitus616 [] f96.27 ~> exitus616 [] f96.27 ~> exitus616 [] f96.27 ~> exitus616 [] + Loop: [B ~+> 0.0,C ~+> 0.0,K ~+> 0.0] f15.1 ~> f19.2 [K ~=> E] f19.25 ~> f15.1 [C ~+> C,K ~+> C] f15.1 ~> f19.25 [K ~=> E] f19.2 ~> f19.25 [E ~+> E,K ~+> E] f19.2 ~> f19.2 [E ~+> E,K ~+> E] f19.4 ~> f19.2 [E ~+> E,K ~+> E] f15.1 ~> f19.4 [K ~=> E] f19.3 ~> f19.4 [E ~+> E,K ~+> E] f15.1 ~> f19.3 [K ~=> E] f19.3 ~> f19.3 [E ~+> E,K ~+> E] f19.3 ~> f19.25 [E ~+> E,K ~+> E] f19.4 ~> f19.25 [E ~+> E,K ~+> E] + Loop: [B ~+> 0.0.0,E ~+> 0.0.0] f19.3 ~> f19.3 [E ~+> E,K ~+> E] + Loop: [B ~+> 0.0.1,E ~+> 0.0.1] f19.2 ~> f19.2 [E ~+> E,K ~+> E] + Loop: [F ~+> 0.1,G ~+> 0.1,K ~+> 0.1] f33.5 ~> f36.6 [F ~+> H,G ~+> H] f50.21 ~> f33.5 [G ~+> G,K ~+> G] f54.20 ~> f50.21 [H ~+> H,K ~+> H] f50.10 ~> f54.20 [K ~=> J] f54.20 ~> f50.10 [H ~+> H,K ~+> H] f54.11 ~> f54.20 [J ~+> J,K ~+> J] f50.10 ~> f54.11 [K ~=> J] f36.23 ~> f50.10 [G ~+> H,K ~+> H] f36.9 ~> f36.23 [K ~=> G,H ~+> H,K ~+> H] f33.5 ~> f36.9 [F ~+> H,G ~+> H] f36.9 ~> f36.9 [K ~=> G,H ~+> H,K ~+> H] f41.22 ~> f36.9 [H ~+> H,K ~+> H] f36.6 ~> f41.22 [K ~=> J] f41.22 ~> f36.6 [H ~+> H,K ~+> H] f41.8 ~> f41.22 [G ~+> J,J ~+> J] f36.7 ~> f41.8 [K ~=> J] f33.5 ~> f36.7 [F ~+> H,G ~+> H] f41.22 ~> f36.7 [H ~+> H,K ~+> H] f41.8 ~> f41.8 [G ~+> J,J ~+> J] f41.22 ~> f36.23 [H ~+> H,K ~+> H] f54.11 ~> f54.11 [J ~+> J,K ~+> J] f36.23 ~> f50.21 [G ~+> H,K ~+> H] + Loop: [F ~+> 0.1.0,H ~+> 0.1.0,K ~+> 0.1.0] f36.6 ~> f41.22 [K ~=> J] f41.22 ~> f36.6 [H ~+> H,K ~+> H] f41.8 ~> f41.22 [G ~+> J,J ~+> J] f36.7 ~> f41.8 [K ~=> J] f41.22 ~> f36.7 [H ~+> H,K ~+> H] f41.8 ~> f41.8 [G ~+> J,J ~+> J] + Loop: [G ~+> 0.1.0.0,J ~+> 0.1.0.0,K ~+> 0.1.0.0] f41.8 ~> f41.8 [G ~+> J,J ~+> J] + Loop: [F ~+> 0.1.1,H ~+> 0.1.1,K ~+> 0.1.1] f50.10 ~> f54.11 [K ~=> J] f54.20 ~> f50.10 [H ~+> H,K ~+> H] f50.10 ~> f54.20 [K ~=> J] f54.11 ~> f54.20 [J ~+> J,K ~+> J] f54.11 ~> f54.11 [J ~+> J,K ~+> J] + Loop: [G ~+> 0.1.1.0,J ~+> 0.1.1.0] f54.11 ~> f54.11 [J ~+> J,K ~+> J] + Loop: [F ~+> 0.1.2,H ~+> 0.1.2] f36.9 ~> f36.9 [K ~=> G,H ~+> H,K ~+> H] + Loop: [F ~+> 0.2,G ~+> 0.2,K ~+> 0.2] f66.12 ~> f70.13 [K ~=> H] f70.18 ~> f66.12 [G ~+> G,K ~+> G] f66.12 ~> f70.18 [K ~=> H] f70.13 ~> f70.18 [G ~+> H,H ~+> H] f70.13 ~> f70.13 [G ~+> H,H ~+> H] + Loop: [G ~+> 0.2.0,H ~+> 0.2.0,K ~+> 0.2.0] f70.13 ~> f70.13 [G ~+> H,H ~+> H] + Loop: [G ~+> 0.3,K ~+> 0.3] f80.14 ~> f84.15 [G ~+> H,K ~+> H] f84.16 ~> f80.14 [G ~+> G,K ~+> G] f80.14 ~> f84.16 [G ~+> H,K ~+> H] f84.15 ~> f84.16 [H ~+> H,K ~+> H] f84.15 ~> f84.15 [H ~+> H,K ~+> H] + Loop: [F ~+> 0.3.0,H ~+> 0.3.0] f84.15 ~> f84.15 [H ~+> H,K ~+> H] + Applied Processor: Lare + Details: f0.0 ~> exitus616 [K ~=> B ,K ~=> E ,K ~=> F ,K ~=> H ,K ~=> J ,tick ~+> tick ,K ~+> C ,K ~+> E ,K ~+> G ,K ~+> H ,K ~+> J ,K ~+> 0.0 ,K ~+> 0.0.0 ,K ~+> 0.0.1 ,K ~+> 0.1 ,K ~+> 0.1.0 ,K ~+> 0.1.0.0 ,K ~+> 0.1.1 ,K ~+> 0.1.1.0 ,K ~+> 0.1.2 ,K ~+> 0.2 ,K ~+> 0.2.0 ,K ~+> 0.3 ,K ~+> 0.3.0 ,K ~+> tick ,K ~*> C ,K ~*> E ,K ~*> G ,K ~*> H ,K ~*> J ,K ~*> 0.0 ,K ~*> 0.0.0 ,K ~*> 0.0.1 ,K ~*> 0.1 ,K ~*> 0.1.0 ,K ~*> 0.1.0.0 ,K ~*> 0.1.1 ,K ~*> 0.1.1.0 ,K ~*> 0.1.2 ,K ~*> 0.2 ,K ~*> 0.2.0 ,K ~*> 0.3 ,K ~*> 0.3.0 ,K ~*> tick ,K ~^> E ,K ~^> H ,K ~^> J ,K ~^> 0.0.1 ,K ~^> tick] + f19.25> [K ~=> E ,B ~+> 0.0 ,B ~+> 0.0.0 ,B ~+> 0.0.1 ,B ~+> tick ,C ~+> C ,C ~+> 0.0 ,C ~+> tick ,tick ~+> tick ,K ~+> C ,K ~+> E ,K ~+> 0.0 ,K ~+> 0.0.0 ,K ~+> 0.0.1 ,K ~+> tick ,B ~*> C ,B ~*> E ,B ~*> 0.0.0 ,B ~*> 0.0.1 ,B ~*> tick ,C ~*> C ,C ~*> E ,C ~*> 0.0.1 ,C ~*> tick ,K ~*> C ,K ~*> E ,K ~*> 0.0.0 ,K ~*> 0.0.1 ,K ~*> tick ,B ~^> E ,B ~^> 0.0.1 ,B ~^> tick ,C ~^> E ,C ~^> 0.0.1 ,C ~^> tick ,K ~^> E ,K ~^> 0.0.1 ,K ~^> tick] + f19.3> [B ~+> 0.0.0 ,B ~+> tick ,E ~+> E ,E ~+> 0.0.0 ,E ~+> tick ,tick ~+> tick ,K ~+> E ,B ~*> E ,E ~*> E ,K ~*> E] + f19.2> [B ~+> 0.0.1 ,B ~+> tick ,E ~+> E ,E ~+> 0.0.1 ,E ~+> tick ,tick ~+> tick ,K ~+> E ,B ~*> E ,E ~*> E ,K ~*> E] + f50.21> [K ~=> G ,K ~=> J ,F ~+> H ,F ~+> 0.1 ,F ~+> 0.1.0 ,F ~+> 0.1.1 ,F ~+> 0.1.2 ,F ~+> tick ,G ~+> G ,G ~+> H ,G ~+> J ,G ~+> 0.1 ,G ~+> 0.1.0 ,G ~+> 0.1.0.0 ,G ~+> 0.1.1 ,G ~+> 0.1.1.0 ,G ~+> 0.1.2 ,G ~+> tick ,tick ~+> tick ,K ~+> G ,K ~+> H ,K ~+> J ,K ~+> 0.1 ,K ~+> 0.1.0 ,K ~+> 0.1.0.0 ,K ~+> 0.1.1 ,K ~+> 0.1.1.0 ,K ~+> 0.1.2 ,K ~+> tick ,F ~*> G ,F ~*> H ,F ~*> J ,F ~*> 0.1.0 ,F ~*> 0.1.2 ,F ~*> tick ,G ~*> G ,G ~*> H ,G ~*> J ,G ~*> 0.1.0.0 ,G ~*> 0.1.1.0 ,G ~*> 0.1.2 ,G ~*> tick ,K ~*> G ,K ~*> H ,K ~*> J ,K ~*> 0.1.0 ,K ~*> 0.1.0.0 ,K ~*> 0.1.1 ,K ~*> 0.1.1.0 ,K ~*> 0.1.2 ,K ~*> tick ,F ~^> J ,G ~^> J ,K ~^> J] + f41.22> [K ~=> J ,F ~+> 0.1.0 ,F ~+> tick ,G ~+> J ,G ~+> 0.1.0.0 ,G ~+> tick ,H ~+> H ,H ~+> 0.1.0 ,H ~+> tick ,tick ~+> tick ,K ~+> H ,K ~+> J ,K ~+> 0.1.0 ,K ~+> 0.1.0.0 ,K ~+> tick ,F ~*> H ,F ~*> J ,F ~*> tick ,G ~*> J ,G ~*> 0.1.0.0 ,G ~*> tick ,H ~*> H ,H ~*> J ,H ~*> tick ,K ~*> H ,K ~*> J ,K ~*> 0.1.0.0 ,K ~*> tick ,F ~^> J ,H ~^> J ,K ~^> J] f41.22> [K ~=> J ,F ~+> 0.1.0 ,F ~+> tick ,G ~+> J ,G ~+> 0.1.0.0 ,G ~+> tick ,H ~+> H ,H ~+> 0.1.0 ,H ~+> tick ,tick ~+> tick ,K ~+> H ,K ~+> J ,K ~+> 0.1.0 ,K ~+> 0.1.0.0 ,K ~+> tick ,F ~*> H ,F ~*> J ,F ~*> tick ,G ~*> J ,G ~*> 0.1.0.0 ,G ~*> tick ,H ~*> H ,H ~*> J ,H ~*> tick ,K ~*> H ,K ~*> J ,K ~*> 0.1.0.0 ,K ~*> tick ,F ~^> J ,H ~^> J ,K ~^> J] + f41.8> [G ~+> J ,G ~+> 0.1.0.0 ,G ~+> tick ,J ~+> J ,J ~+> 0.1.0.0 ,J ~+> tick ,tick ~+> tick ,K ~+> 0.1.0.0 ,K ~+> tick ,G ~*> J ,J ~*> J ,K ~*> J] + f54.20> [K ~=> J ,F ~+> 0.1.1 ,F ~+> tick ,G ~+> 0.1.1.0 ,G ~+> tick ,H ~+> H ,H ~+> 0.1.1 ,H ~+> tick ,tick ~+> tick ,K ~+> H ,K ~+> J ,K ~+> 0.1.1 ,K ~+> 0.1.1.0 ,K ~+> tick ,F ~*> H ,F ~*> J ,F ~*> tick ,G ~*> J ,G ~*> 0.1.1.0 ,G ~*> tick ,H ~*> H ,H ~*> J ,H ~*> tick ,K ~*> H ,K ~*> J ,K ~*> 0.1.1.0 ,K ~*> tick ,F ~^> J ,H ~^> J ,K ~^> J] + f54.11> [G ~+> 0.1.1.0 ,G ~+> tick ,J ~+> J ,J ~+> 0.1.1.0 ,J ~+> tick ,tick ~+> tick ,K ~+> J ,G ~*> J ,J ~*> J ,K ~*> J] + f36.9> [K ~=> G ,F ~+> 0.1.2 ,F ~+> tick ,H ~+> H ,H ~+> 0.1.2 ,H ~+> tick ,tick ~+> tick ,K ~+> H ,F ~*> H ,H ~*> H ,K ~*> H] + f70.18> [K ~=> H ,F ~+> 0.2 ,F ~+> tick ,G ~+> G ,G ~+> H ,G ~+> 0.2 ,G ~+> 0.2.0 ,G ~+> tick ,tick ~+> tick ,K ~+> G ,K ~+> H ,K ~+> 0.2 ,K ~+> 0.2.0 ,K ~+> tick ,F ~*> G ,F ~*> H ,F ~*> tick ,G ~*> G ,G ~*> H ,G ~*> 0.2.0 ,G ~*> tick ,K ~*> G ,K ~*> H ,K ~*> 0.2.0 ,K ~*> tick ,F ~^> H ,G ~^> H ,K ~^> H] + f70.13> [G ~+> H ,G ~+> 0.2.0 ,G ~+> tick ,H ~+> H ,H ~+> 0.2.0 ,H ~+> tick ,tick ~+> tick ,K ~+> 0.2.0 ,K ~+> tick ,G ~*> H ,H ~*> H ,K ~*> H] + f84.16> [F ~+> 0.3.0 ,F ~+> tick ,G ~+> G ,G ~+> H ,G ~+> 0.3 ,G ~+> 0.3.0 ,G ~+> tick ,tick ~+> tick ,K ~+> G ,K ~+> H ,K ~+> 0.3 ,K ~+> 0.3.0 ,K ~+> tick ,F ~*> H ,F ~*> 0.3.0 ,F ~*> tick ,G ~*> G ,G ~*> H ,G ~*> 0.3.0 ,G ~*> tick ,K ~*> G ,K ~*> H ,K ~*> 0.3.0 ,K ~*> tick ,G ~^> H ,K ~^> H] + f84.15> [F ~+> 0.3.0 ,F ~+> tick ,H ~+> H ,H ~+> 0.3.0 ,H ~+> tick ,tick ~+> tick ,K ~+> H ,F ~*> H ,H ~*> H ,K ~*> H] YES(?,O(1))