2.90/2.90 WORST_CASE(?,O(1)) 2.90/2.90 2.90/2.90 Preprocessing Cost Relations 2.90/2.90 ===================================== 2.90/2.90 2.90/2.90 #### Computed strongly connected components 2.90/2.90 0. recursive : [f30/4] 2.90/2.90 1. non_recursive : [exit_location/1] 2.90/2.90 2. recursive : [f70/4] 2.90/2.90 3. recursive : [f110/4] 2.90/2.90 4. recursive : [f150/4] 2.90/2.90 5. recursive : [f190/4] 2.90/2.90 6. non_recursive : [f207/31] 2.90/2.90 7. non_recursive : [f190_loop_cont/32] 2.90/2.90 8. non_recursive : [f187/31] 2.90/2.90 9. non_recursive : [f181/31] 2.90/2.90 10. non_recursive : [f178/31] 2.90/2.90 11. non_recursive : [f166/31] 2.90/2.90 12. non_recursive : [f150_loop_cont/32] 2.90/2.90 13. non_recursive : [f147/31] 2.90/2.90 14. non_recursive : [f141/31] 2.90/2.90 15. non_recursive : [f138/31] 2.90/2.90 16. non_recursive : [f126/31] 2.90/2.90 17. non_recursive : [f110_loop_cont/32] 2.90/2.90 18. non_recursive : [f107/31] 2.90/2.90 19. non_recursive : [f101/31] 2.90/2.90 20. non_recursive : [f98/31] 2.90/2.90 21. non_recursive : [f86/31] 2.90/2.90 22. non_recursive : [f70_loop_cont/32] 2.90/2.90 23. non_recursive : [f67/31] 2.90/2.90 24. non_recursive : [f61/31] 2.90/2.90 25. non_recursive : [f58/31] 2.90/2.90 26. non_recursive : [f46/31] 2.90/2.90 27. non_recursive : [f30_loop_cont/32] 2.90/2.90 28. non_recursive : [f27/31] 2.90/2.90 29. non_recursive : [f21/31] 2.90/2.90 30. non_recursive : [f18/31] 2.90/2.90 31. non_recursive : [f0/31] 2.90/2.90 2.90/2.90 #### Obtained direct recursion through partial evaluation 2.90/2.90 0. SCC is partially evaluated into f30/4 2.90/2.90 1. SCC is completely evaluated into other SCCs 2.90/2.90 2. SCC is partially evaluated into f70/4 2.90/2.90 3. SCC is partially evaluated into f110/4 2.90/2.90 4. SCC is partially evaluated into f150/4 2.90/2.90 5. SCC is partially evaluated into f190/4 2.90/2.90 6. SCC is completely evaluated into other SCCs 2.90/2.90 7. SCC is partially evaluated into f190_loop_cont/32 2.90/2.90 8. SCC is partially evaluated into f187/31 2.90/2.90 9. SCC is partially evaluated into f181/31 2.90/2.90 10. SCC is partially evaluated into f178/31 2.90/2.90 11. SCC is partially evaluated into f166/31 2.90/2.90 12. SCC is partially evaluated into f150_loop_cont/32 2.90/2.90 13. SCC is partially evaluated into f147/31 2.90/2.90 14. SCC is partially evaluated into f141/31 2.90/2.90 15. SCC is partially evaluated into f138/31 2.90/2.90 16. SCC is partially evaluated into f126/31 2.90/2.90 17. SCC is partially evaluated into f110_loop_cont/32 2.90/2.90 18. SCC is partially evaluated into f107/31 2.90/2.90 19. SCC is partially evaluated into f101/31 2.90/2.90 20. SCC is partially evaluated into f98/31 2.90/2.90 21. SCC is partially evaluated into f86/31 2.90/2.90 22. SCC is partially evaluated into f70_loop_cont/32 2.90/2.90 23. SCC is partially evaluated into f67/31 2.90/2.90 24. SCC is partially evaluated into f61/31 2.90/2.90 25. SCC is partially evaluated into f58/31 2.90/2.90 26. SCC is partially evaluated into f46/31 2.90/2.90 27. SCC is partially evaluated into f30_loop_cont/32 2.90/2.90 28. SCC is partially evaluated into f27/31 2.90/2.90 29. SCC is partially evaluated into f21/31 2.90/2.90 30. SCC is partially evaluated into f18/31 2.90/2.90 31. SCC is partially evaluated into f0/31 2.90/2.90 2.90/2.90 Control-Flow Refinement of Cost Relations 2.90/2.90 ===================================== 2.90/2.90 2.90/2.90 ### Specialization of cost equations f30/4 2.90/2.90 * CE 17 is refined into CE [76] 2.90/2.90 * CE 18 is refined into CE [77] 2.90/2.90 * CE 16 is refined into CE [78] 2.90/2.90 2.90/2.90 2.90/2.90 ### Cost equations --> "Loop" of f30/4 2.90/2.90 * CEs [78] --> Loop 66 2.90/2.90 * CEs [76] --> Loop 67 2.90/2.90 * CEs [77] --> Loop 68 2.90/2.90 2.90/2.90 ### Ranking functions of CR f30(A,F,E1,F1) 2.90/2.90 * RF of phase [66]: [-F+100] 2.90/2.90 2.90/2.90 #### Partial ranking functions of CR f30(A,F,E1,F1) 2.90/2.90 * Partial RF of phase [66]: 2.90/2.90 - RF of loop [66:1]: 2.90/2.90 -F+100 2.90/2.90 2.90/2.90 2.90/2.90 ### Specialization of cost equations f70/4 2.90/2.90 * CE 32 is refined into CE [79] 2.90/2.90 * CE 33 is refined into CE [80] 2.90/2.90 * CE 31 is refined into CE [81] 2.90/2.90 2.90/2.90 2.90/2.90 ### Cost equations --> "Loop" of f70/4 2.90/2.90 * CEs [81] --> Loop 69 2.90/2.90 * CEs [79] --> Loop 70 2.90/2.90 * CEs [80] --> Loop 71 2.90/2.90 2.90/2.90 ### Ranking functions of CR f70(G,L,E1,F1) 2.90/2.90 * RF of phase [69]: [-L+200] 2.90/2.90 2.90/2.90 #### Partial ranking functions of CR f70(G,L,E1,F1) 2.90/2.90 * Partial RF of phase [69]: 2.90/2.90 - RF of loop [69:1]: 2.90/2.90 -L+200 2.90/2.90 2.90/2.90 2.90/2.91 ### Specialization of cost equations f110/4 2.90/2.91 * CE 48 is refined into CE [82] 2.90/2.91 * CE 47 is refined into CE [83] 2.90/2.91 * CE 46 is refined into CE [84] 2.90/2.91 2.90/2.91 2.90/2.91 ### Cost equations --> "Loop" of f110/4 2.90/2.91 * CEs [84] --> Loop 72 2.90/2.91 * CEs [82] --> Loop 73 2.90/2.91 * CEs [83] --> Loop 74 2.90/2.91 2.90/2.91 ### Ranking functions of CR f110(M,R,E1,F1) 2.90/2.91 * RF of phase [72]: [-R+50] 2.90/2.91 2.90/2.91 #### Partial ranking functions of CR f110(M,R,E1,F1) 2.90/2.91 * Partial RF of phase [72]: 2.90/2.91 - RF of loop [72:1]: 2.90/2.91 -R+50 2.90/2.91 2.90/2.91 2.90/2.91 ### Specialization of cost equations f150/4 2.90/2.91 * CE 62 is refined into CE [85] 2.90/2.91 * CE 63 is refined into CE [86] 2.90/2.91 * CE 61 is refined into CE [87] 2.90/2.91 2.90/2.91 2.90/2.91 ### Cost equations --> "Loop" of f150/4 2.90/2.91 * CEs [87] --> Loop 75 2.90/2.91 * CEs [85] --> Loop 76 2.90/2.91 * CEs [86] --> Loop 77 2.90/2.91 2.90/2.91 ### Ranking functions of CR f150(S,X,E1,F1) 2.90/2.91 * RF of phase [75]: [-X+20] 2.90/2.91 2.90/2.91 #### Partial ranking functions of CR f150(S,X,E1,F1) 2.90/2.91 * Partial RF of phase [75]: 2.90/2.91 - RF of loop [75:1]: 2.90/2.91 -X+20 2.90/2.91 2.90/2.91 2.90/2.91 ### Specialization of cost equations f190/4 2.90/2.91 * CE 72 is refined into CE [88] 2.90/2.91 * CE 73 is refined into CE [89] 2.90/2.91 * CE 71 is refined into CE [90] 2.90/2.91 2.90/2.91 2.90/2.91 ### Cost equations --> "Loop" of f190/4 2.90/2.91 * CEs [90] --> Loop 78 2.90/2.91 * CEs [88] --> Loop 79 2.90/2.91 * CEs [89] --> Loop 80 2.90/2.91 2.90/2.91 ### Ranking functions of CR f190(Y,D1,E1,F1) 2.90/2.91 * RF of phase [78]: [-D1+200] 2.90/2.91 2.90/2.91 #### Partial ranking functions of CR f190(Y,D1,E1,F1) 2.90/2.91 * Partial RF of phase [78]: 2.90/2.91 - RF of loop [78:1]: 2.90/2.91 -D1+200 2.90/2.91 2.90/2.91 2.90/2.91 ### Specialization of cost equations f190_loop_cont/32 2.90/2.91 * CE 74 is refined into CE [91] 2.90/2.91 * CE 75 is refined into CE [92] 2.90/2.91 2.90/2.91 2.90/2.91 ### Cost equations --> "Loop" of f190_loop_cont/32 2.90/2.91 * CEs [91] --> Loop 81 2.90/2.91 * CEs [92] --> Loop 82 2.90/2.91 2.90/2.91 ### Ranking functions of CR f190_loop_cont(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) 2.90/2.91 2.90/2.91 #### Partial ranking functions of CR f190_loop_cont(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) 2.90/2.91 2.90/2.91 2.90/2.91 ### Specialization of cost equations f187/31 2.90/2.91 * CE 70 is refined into CE [93,94,95] 2.90/2.91 * CE 69 is discarded (unfeasible) 2.90/2.91 * CE 68 is refined into CE [96] 2.90/2.91 2.90/2.91 2.90/2.91 ### Cost equations --> "Loop" of f187/31 2.90/2.91 * CEs [93,94,95] --> Loop 83 2.90/2.91 * CEs [96] --> Loop 84 2.90/2.91 2.90/2.91 ### Ranking functions of CR f187(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) 2.90/2.91 2.90/2.91 #### Partial ranking functions of CR f187(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) 2.90/2.91 2.90/2.91 2.90/2.91 ### Specialization of cost equations f181/31 2.90/2.91 * CE 66 is refined into CE [97] 2.90/2.91 * CE 67 is refined into CE [98] 2.90/2.91 2.90/2.91 2.90/2.91 ### Cost equations --> "Loop" of f181/31 2.90/2.91 * CEs [97,98] --> Loop 85 2.90/2.91 2.90/2.91 ### Ranking functions of CR f181(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) 2.90/2.91 2.90/2.91 #### Partial ranking functions of CR f181(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) 2.90/2.91 2.90/2.91 2.90/2.91 ### Specialization of cost equations f178/31 2.90/2.91 * CE 59 is refined into CE [99] 2.90/2.91 * CE 58 is discarded (unfeasible) 2.90/2.91 * CE 60 is refined into CE [100] 2.90/2.91 2.90/2.91 2.90/2.91 ### Cost equations --> "Loop" of f178/31 2.90/2.91 * CEs [99] --> Loop 86 2.90/2.91 * CEs [100] --> Loop 87 2.90/2.91 2.90/2.91 ### Ranking functions of CR f178(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) 2.90/2.91 2.90/2.91 #### Partial ranking functions of CR f178(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) 2.90/2.91 2.90/2.91 2.90/2.91 ### Specialization of cost equations f166/31 2.90/2.91 * CE 53 is refined into CE [101] 2.90/2.91 * CE 54 is refined into CE [102] 2.90/2.91 2.90/2.91 2.90/2.91 ### Cost equations --> "Loop" of f166/31 2.90/2.91 * CEs [101,102] --> Loop 88 2.90/2.91 2.90/2.91 ### Ranking functions of CR f166(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) 2.90/2.91 2.90/2.91 #### Partial ranking functions of CR f166(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) 2.90/2.91 2.90/2.91 2.90/2.91 ### Specialization of cost equations f150_loop_cont/32 2.90/2.91 * CE 64 is refined into CE [103] 2.90/2.91 * CE 65 is refined into CE [104] 2.90/2.91 2.90/2.91 2.90/2.91 ### Cost equations --> "Loop" of f150_loop_cont/32 2.90/2.91 * CEs [103] --> Loop 89 2.90/2.91 * CEs [104] --> Loop 90 2.90/2.91 2.90/2.91 ### Ranking functions of CR f150_loop_cont(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) 2.90/2.91 2.90/2.91 #### Partial ranking functions of CR f150_loop_cont(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) 2.90/2.91 2.90/2.91 2.90/2.91 ### Specialization of cost equations f147/31 2.90/2.91 * CE 57 is refined into CE [105,106,107] 2.90/2.91 * CE 56 is discarded (unfeasible) 2.90/2.91 * CE 55 is refined into CE [108] 2.90/2.91 2.90/2.91 2.90/2.91 ### Cost equations --> "Loop" of f147/31 2.90/2.91 * CEs [105,106,107] --> Loop 91 2.90/2.91 * CEs [108] --> Loop 92 2.90/2.91 2.90/2.91 ### Ranking functions of CR f147(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) 2.90/2.91 2.90/2.91 #### Partial ranking functions of CR f147(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) 2.90/2.91 2.90/2.91 2.90/2.91 ### Specialization of cost equations f141/31 2.90/2.91 * CE 51 is refined into CE [109] 2.90/2.91 * CE 52 is refined into CE [110] 2.90/2.91 2.90/2.91 2.90/2.91 ### Cost equations --> "Loop" of f141/31 2.90/2.91 * CEs [109,110] --> Loop 93 2.90/2.91 2.90/2.91 ### Ranking functions of CR f141(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) 2.90/2.91 2.90/2.91 #### Partial ranking functions of CR f141(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) 2.90/2.91 2.90/2.91 2.90/2.91 ### Specialization of cost equations f138/31 2.90/2.91 * CE 44 is refined into CE [111] 2.90/2.91 * CE 43 is discarded (unfeasible) 2.90/2.91 * CE 45 is refined into CE [112] 2.90/2.91 2.90/2.91 2.90/2.91 ### Cost equations --> "Loop" of f138/31 2.90/2.91 * CEs [111] --> Loop 94 2.90/2.91 * CEs [112] --> Loop 95 2.90/2.91 2.90/2.91 ### Ranking functions of CR f138(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) 2.90/2.91 2.90/2.91 #### Partial ranking functions of CR f138(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) 2.90/2.91 2.90/2.91 2.90/2.91 ### Specialization of cost equations f126/31 2.90/2.91 * CE 38 is refined into CE [113] 2.90/2.91 * CE 39 is refined into CE [114] 2.90/2.91 2.90/2.91 2.90/2.91 ### Cost equations --> "Loop" of f126/31 2.90/2.91 * CEs [113,114] --> Loop 96 2.90/2.91 2.90/2.91 ### Ranking functions of CR f126(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) 2.90/2.91 2.90/2.91 #### Partial ranking functions of CR f126(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) 2.90/2.91 2.90/2.91 2.90/2.91 ### Specialization of cost equations f110_loop_cont/32 2.90/2.91 * CE 50 is refined into CE [115] 2.90/2.91 * CE 49 is refined into CE [116] 2.90/2.91 2.90/2.91 2.90/2.91 ### Cost equations --> "Loop" of f110_loop_cont/32 2.90/2.91 * CEs [115] --> Loop 97 2.90/2.91 * CEs [116] --> Loop 98 2.90/2.91 2.90/2.91 ### Ranking functions of CR f110_loop_cont(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) 2.90/2.91 2.90/2.91 #### Partial ranking functions of CR f110_loop_cont(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) 2.90/2.91 2.90/2.91 2.90/2.91 ### Specialization of cost equations f107/31 2.90/2.91 * CE 42 is refined into CE [117,118,119] 2.90/2.91 * CE 41 is discarded (unfeasible) 2.90/2.91 * CE 40 is refined into CE [120] 2.90/2.91 2.90/2.91 2.90/2.91 ### Cost equations --> "Loop" of f107/31 2.90/2.91 * CEs [117,118,119] --> Loop 99 2.90/2.91 * CEs [120] --> Loop 100 2.90/2.91 2.90/2.91 ### Ranking functions of CR f107(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) 2.90/2.91 2.90/2.91 #### Partial ranking functions of CR f107(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) 2.90/2.91 2.90/2.91 2.90/2.91 ### Specialization of cost equations f101/31 2.90/2.91 * CE 36 is refined into CE [121] 2.90/2.91 * CE 37 is refined into CE [122] 2.90/2.91 2.90/2.91 2.90/2.91 ### Cost equations --> "Loop" of f101/31 2.90/2.91 * CEs [121,122] --> Loop 101 2.90/2.91 2.90/2.91 ### Ranking functions of CR f101(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) 2.90/2.91 2.90/2.91 #### Partial ranking functions of CR f101(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) 2.90/2.91 2.90/2.91 2.90/2.91 ### Specialization of cost equations f98/31 2.90/2.91 * CE 29 is refined into CE [123] 2.90/2.91 * CE 28 is discarded (unfeasible) 2.90/2.91 * CE 30 is refined into CE [124] 2.90/2.91 2.90/2.91 2.90/2.91 ### Cost equations --> "Loop" of f98/31 2.90/2.91 * CEs [123] --> Loop 102 2.90/2.91 * CEs [124] --> Loop 103 2.90/2.91 2.90/2.91 ### Ranking functions of CR f98(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) 2.90/2.91 2.90/2.91 #### Partial ranking functions of CR f98(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) 2.90/2.91 2.90/2.91 2.90/2.91 ### Specialization of cost equations f86/31 2.90/2.91 * CE 23 is refined into CE [125] 2.90/2.91 * CE 24 is refined into CE [126] 2.90/2.91 2.90/2.91 2.90/2.91 ### Cost equations --> "Loop" of f86/31 2.90/2.91 * CEs [125,126] --> Loop 104 2.90/2.91 2.90/2.91 ### Ranking functions of CR f86(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) 2.90/2.91 2.90/2.91 #### Partial ranking functions of CR f86(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) 2.90/2.91 2.90/2.91 2.90/2.91 ### Specialization of cost equations f70_loop_cont/32 2.90/2.91 * CE 34 is refined into CE [127] 2.90/2.91 * CE 35 is refined into CE [128] 2.90/2.91 2.90/2.91 2.90/2.91 ### Cost equations --> "Loop" of f70_loop_cont/32 2.90/2.91 * CEs [127] --> Loop 105 2.90/2.91 * CEs [128] --> Loop 106 2.90/2.91 2.90/2.91 ### Ranking functions of CR f70_loop_cont(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) 2.90/2.91 2.90/2.91 #### Partial ranking functions of CR f70_loop_cont(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) 2.90/2.91 2.90/2.91 2.90/2.91 ### Specialization of cost equations f67/31 2.90/2.91 * CE 27 is refined into CE [129,130,131] 2.90/2.91 * CE 26 is discarded (unfeasible) 2.90/2.91 * CE 25 is refined into CE [132] 2.90/2.91 2.90/2.91 2.90/2.91 ### Cost equations --> "Loop" of f67/31 2.90/2.91 * CEs [129,130,131] --> Loop 107 2.90/2.91 * CEs [132] --> Loop 108 2.90/2.91 2.90/2.91 ### Ranking functions of CR f67(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) 2.90/2.91 2.90/2.91 #### Partial ranking functions of CR f67(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) 2.90/2.91 2.90/2.91 2.90/2.91 ### Specialization of cost equations f61/31 2.90/2.91 * CE 21 is refined into CE [133] 2.90/2.91 * CE 22 is refined into CE [134] 2.90/2.91 2.90/2.91 2.90/2.91 ### Cost equations --> "Loop" of f61/31 2.90/2.91 * CEs [133,134] --> Loop 109 2.90/2.91 2.90/2.91 ### Ranking functions of CR f61(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) 2.90/2.91 2.90/2.91 #### Partial ranking functions of CR f61(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) 2.90/2.91 2.90/2.91 2.90/2.91 ### Specialization of cost equations f58/31 2.90/2.91 * CE 14 is refined into CE [135] 2.90/2.91 * CE 13 is discarded (unfeasible) 2.90/2.91 * CE 15 is refined into CE [136] 2.90/2.91 2.90/2.91 2.90/2.91 ### Cost equations --> "Loop" of f58/31 2.90/2.91 * CEs [135] --> Loop 110 2.90/2.91 * CEs [136] --> Loop 111 2.90/2.91 2.90/2.91 ### Ranking functions of CR f58(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) 2.90/2.91 2.90/2.91 #### Partial ranking functions of CR f58(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) 2.90/2.91 2.90/2.91 2.90/2.91 ### Specialization of cost equations f46/31 2.90/2.91 * CE 8 is refined into CE [137] 2.90/2.91 * CE 9 is refined into CE [138] 2.90/2.91 2.90/2.91 2.90/2.91 ### Cost equations --> "Loop" of f46/31 2.90/2.91 * CEs [137,138] --> Loop 112 2.90/2.91 2.90/2.91 ### Ranking functions of CR f46(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) 2.90/2.91 2.90/2.91 #### Partial ranking functions of CR f46(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) 2.90/2.91 2.90/2.91 2.90/2.91 ### Specialization of cost equations f30_loop_cont/32 2.90/2.91 * CE 19 is refined into CE [139] 2.90/2.91 * CE 20 is refined into CE [140] 2.90/2.91 2.90/2.91 2.90/2.91 ### Cost equations --> "Loop" of f30_loop_cont/32 2.90/2.91 * CEs [139] --> Loop 113 2.90/2.91 * CEs [140] --> Loop 114 2.90/2.91 2.90/2.91 ### Ranking functions of CR f30_loop_cont(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) 2.90/2.91 2.90/2.91 #### Partial ranking functions of CR f30_loop_cont(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) 2.90/2.91 2.90/2.91 2.90/2.91 ### Specialization of cost equations f27/31 2.90/2.91 * CE 12 is refined into CE [141,142,143] 2.90/2.91 * CE 11 is discarded (unfeasible) 2.90/2.91 * CE 10 is refined into CE [144] 2.90/2.91 2.90/2.91 2.90/2.91 ### Cost equations --> "Loop" of f27/31 2.90/2.91 * CEs [141,142,143] --> Loop 115 2.90/2.91 * CEs [144] --> Loop 116 2.90/2.91 2.90/2.91 ### Ranking functions of CR f27(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) 2.90/2.91 2.90/2.91 #### Partial ranking functions of CR f27(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) 2.90/2.91 2.90/2.91 2.90/2.91 ### Specialization of cost equations f21/31 2.90/2.91 * CE 6 is refined into CE [145] 2.90/2.91 * CE 7 is refined into CE [146] 2.90/2.91 2.90/2.91 2.90/2.91 ### Cost equations --> "Loop" of f21/31 2.90/2.91 * CEs [145,146] --> Loop 117 2.90/2.91 2.90/2.91 ### Ranking functions of CR f21(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) 2.90/2.91 2.90/2.91 #### Partial ranking functions of CR f21(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) 2.90/2.91 2.90/2.91 2.90/2.91 ### Specialization of cost equations f18/31 2.90/2.91 * CE 4 is refined into CE [147] 2.90/2.91 * CE 3 is discarded (unfeasible) 2.90/2.91 * CE 5 is refined into CE [148] 2.90/2.91 2.90/2.91 2.90/2.91 ### Cost equations --> "Loop" of f18/31 2.90/2.91 * CEs [147] --> Loop 118 2.90/2.91 * CEs [148] --> Loop 119 2.90/2.91 2.90/2.91 ### Ranking functions of CR f18(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) 2.90/2.91 2.90/2.91 #### Partial ranking functions of CR f18(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) 2.90/2.91 2.90/2.91 2.90/2.91 ### Specialization of cost equations f0/31 2.90/2.91 * CE 1 is refined into CE [149] 2.90/2.91 * CE 2 is refined into CE [150] 2.90/2.91 2.90/2.91 2.90/2.91 ### Cost equations --> "Loop" of f0/31 2.90/2.91 * CEs [149,150] --> Loop 120 2.90/2.91 2.90/2.91 ### Ranking functions of CR f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) 2.90/2.91 2.90/2.91 #### Partial ranking functions of CR f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) 2.90/2.91 2.90/2.91 2.90/2.91 Computing Bounds 2.90/2.91 ===================================== 2.90/2.91 2.90/2.91 #### Cost of chains of f30(A,F,E1,F1): 2.90/2.91 * Chain [[66],68]: 1*it(66)+0 2.90/2.91 Such that:it(66) =< -F+100 2.90/2.91 2.90/2.91 with precondition: [A=100,E1=3,99>=F,F>=0] 2.90/2.91 2.90/2.91 * Chain [[66],67]: 1*it(66)+0 2.90/2.91 Such that:it(66) =< -F+100 2.90/2.91 2.90/2.91 with precondition: [A=100,E1=6,F1=100,99>=F,F>=0] 2.90/2.91 2.90/2.91 * Chain [68]: 0 2.90/2.91 with precondition: [A=100,E1=3,F>=0] 2.90/2.91 2.90/2.91 2.90/2.91 #### Cost of chains of f70(G,L,E1,F1): 2.90/2.91 * Chain [[69],71]: 1*it(69)+0 2.90/2.91 Such that:it(69) =< -L+200 2.90/2.91 2.90/2.91 with precondition: [G=200,E1=3,199>=L,L>=0] 2.90/2.91 2.90/2.91 * Chain [[69],70]: 1*it(69)+0 2.90/2.91 Such that:it(69) =< -L+200 2.90/2.91 2.90/2.91 with precondition: [G=200,E1=7,F1=200,199>=L,L>=0] 2.90/2.91 2.90/2.91 * Chain [71]: 0 2.90/2.91 with precondition: [G=200,E1=3,L>=0] 2.90/2.91 2.90/2.91 2.90/2.91 #### Cost of chains of f110(M,R,E1,F1): 2.90/2.91 * Chain [[72],74]: 1*it(72)+0 2.90/2.91 Such that:it(72) =< -R+50 2.90/2.91 2.90/2.91 with precondition: [M=50,E1=2,F1=50,49>=R,R>=0] 2.90/2.91 2.90/2.91 * Chain [[72],73]: 1*it(72)+0 2.90/2.91 Such that:it(72) =< -R+50 2.90/2.91 2.90/2.91 with precondition: [M=50,E1=3,49>=R,R>=0] 2.90/2.91 2.90/2.91 * Chain [73]: 0 2.90/2.91 with precondition: [M=50,E1=3,R>=0] 2.90/2.91 2.90/2.91 2.90/2.91 #### Cost of chains of f150(S,X,E1,F1): 2.90/2.91 * Chain [[75],77]: 1*it(75)+0 2.90/2.91 Such that:it(75) =< -X+20 2.90/2.91 2.90/2.91 with precondition: [S=20,E1=3,19>=X,X>=0] 2.90/2.91 2.90/2.91 * Chain [[75],76]: 1*it(75)+0 2.90/2.91 Such that:it(75) =< -X+20 2.90/2.91 2.90/2.91 with precondition: [S=20,E1=4,F1=20,19>=X,X>=0] 2.90/2.91 2.90/2.91 * Chain [77]: 0 2.90/2.91 with precondition: [S=20,E1=3,X>=0] 2.90/2.91 2.90/2.91 2.90/2.91 #### Cost of chains of f190(Y,D1,E1,F1): 2.90/2.91 * Chain [[78],80]: 1*it(78)+0 2.90/2.91 Such that:it(78) =< -D1+200 2.90/2.91 2.90/2.91 with precondition: [Y=200,E1=3,199>=D1,D1>=0] 2.90/2.91 2.90/2.91 * Chain [[78],79]: 1*it(78)+0 2.90/2.91 Such that:it(78) =< -D1+200 2.90/2.91 2.90/2.91 with precondition: [Y=200,E1=5,F1=200,199>=D1,D1>=0] 2.90/2.91 2.90/2.91 * Chain [80]: 0 2.90/2.91 with precondition: [Y=200,E1=3,D1>=0] 2.90/2.91 2.90/2.91 2.90/2.91 #### Cost of chains of f190_loop_cont(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1): 2.90/2.91 * Chain [82]: 0 2.90/2.91 with precondition: [A=3,B=100,H=200,N=50,T=20,Z=200,D=C,J=I,P=O,V=U,B1=A1,D1=C1,10>=D,10>=J,10>=P,10>=V,10>=B1,10>=D1,D>=0,J>=0,P>=0,V>=0,B1>=1,D1>=1] 2.90/2.91 2.90/2.91 * Chain [81]: 0 2.90/2.91 with precondition: [A=5,B=100,H=200,N=50,T=20,Z=200,D=C,J=I,P=O,V=U,B1=A1,D1=C1,10>=D,10>=J,10>=P,10>=V,10>=B1,10>=D1,D>=0,J>=0,P>=0,V>=0,B1>=1,D1>=1] 2.90/2.91 2.90/2.91 2.90/2.91 #### Cost of chains of f187(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1): 2.90/2.91 * Chain [84]: 0 2.90/2.91 with precondition: [A=100,G=200,M=50,S=20,Y=200,B1=0,C=B,I=H,O=N,U=T,A1=Z,10>=C,10>=I,10>=O,10>=U,10>=A1,C>=0,I>=0,O>=0,U>=0,A1>=1] 2.90/2.91 2.90/2.91 * Chain [83]: 400 2.90/2.91 with precondition: [A=100,G=200,M=50,S=20,Y=200,C=B,I=H,O=N,U=T,A1=Z,10>=C,10>=I,10>=O,10>=U,10>=A1,10>=B1,C>=0,I>=0,O>=0,U>=0,A1>=1,B1>=1] 2.90/2.91 2.90/2.91 2.90/2.91 #### Cost of chains of f181(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1): 2.90/2.91 * Chain [85]: 400 2.90/2.91 with precondition: [A=100,G=200,M=50,S=20,Y=200,C=B,I=H,O=N,U=T,A1=Z,10>=C,10>=I,10>=O,10>=U,10>=A1,C>=0,I>=0,O>=0,U>=0,A1>=1] 2.90/2.91 2.90/2.91 2.90/2.91 #### Cost of chains of f178(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1): 2.90/2.91 * Chain [87]: 0 2.90/2.91 with precondition: [A=100,G=200,M=50,S=20,Y=200,Z=0,C=B,I=H,O=N,U=T,10>=C,10>=I,10>=O,10>=U,C>=0,I>=0,O>=0,U>=0] 2.90/2.91 2.90/2.91 * Chain [86]: 400 2.90/2.91 with precondition: [A=100,G=200,M=50,S=20,Y=200,C=B,I=H,O=N,U=T,10>=C,10>=I,10>=O,10>=U,10>=Z,C>=0,I>=0,O>=0,U>=0,Z>=1] 2.90/2.91 2.90/2.91 2.90/2.91 #### Cost of chains of f166(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1): 2.90/2.91 * Chain [88]: 400 2.90/2.91 with precondition: [A=100,G=200,M=50,S=20,C=B,I=H,O=N,U=T,10>=C,10>=I,10>=O,10>=U,C>=0,I>=0,O>=0,U>=0] 2.90/2.91 2.90/2.91 2.90/2.91 #### Cost of chains of f150_loop_cont(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1): 2.90/2.91 * Chain [90]: 0 2.90/2.91 with precondition: [A=3,B=100,H=200,N=50,T=20,D=C,J=I,P=O,V=U,X=W,10>=D,10>=J,10>=P,10>=V,10>=X,D>=0,J>=0,P>=0,V>=1,X>=1] 2.90/2.91 2.90/2.91 * Chain [89]: 400 2.90/2.91 with precondition: [A=4,B=100,H=200,N=50,T=20,D=C,J=I,P=O,V=U,X=W,10>=D,10>=J,10>=P,10>=V,10>=X,D>=0,J>=0,P>=0,V>=1,X>=1] 2.90/2.91 2.90/2.91 2.90/2.91 #### Cost of chains of f147(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1): 2.90/2.91 * Chain [92]: 400 2.90/2.91 with precondition: [A=100,G=200,M=50,S=20,V=0,C=B,I=H,O=N,U=T,10>=C,10>=I,10>=O,10>=U,C>=0,I>=0,O>=0,U>=1] 2.90/2.91 2.90/2.91 * Chain [91]: 440 2.90/2.91 with precondition: [A=100,G=200,M=50,S=20,C=B,I=H,O=N,U=T,10>=C,10>=I,10>=O,10>=U,10>=V,C>=0,I>=0,O>=0,U>=1,V>=1] 2.90/2.91 2.90/2.91 2.90/2.91 #### Cost of chains of f141(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1): 2.90/2.91 * Chain [93]: 440 2.90/2.91 with precondition: [A=100,G=200,M=50,S=20,C=B,I=H,O=N,U=T,10>=C,10>=I,10>=O,10>=U,C>=0,I>=0,O>=0,U>=1] 2.90/2.91 2.90/2.91 2.90/2.91 #### Cost of chains of f138(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1): 2.90/2.91 * Chain [95]: 400 2.90/2.91 with precondition: [A=100,G=200,M=50,S=20,T=0,C=B,I=H,O=N,10>=C,10>=I,10>=O,C>=0,I>=0,O>=0] 2.90/2.91 2.90/2.91 * Chain [94]: 440 2.90/2.91 with precondition: [A=100,G=200,M=50,S=20,C=B,I=H,O=N,10>=C,10>=I,10>=O,10>=T,C>=0,I>=0,O>=0,T>=1] 2.90/2.91 2.90/2.91 2.90/2.91 #### Cost of chains of f126(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1): 2.90/2.91 * Chain [96]: 440 2.90/2.91 with precondition: [A=100,G=200,M=50,C=B,I=H,O=N,10>=C,10>=I,10>=O,C>=0,I>=0,O>=0] 2.90/2.91 2.90/2.91 2.90/2.91 #### Cost of chains of f110_loop_cont(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1): 2.90/2.91 * Chain [98]: 440 2.90/2.91 with precondition: [A=2,B=100,H=200,N=50,D=C,J=I,P=O,R=Q,10>=D,10>=J,10>=P,10>=R,D>=0,J>=0,P>=1,R>=1] 2.90/2.91 2.90/2.91 * Chain [97]: 0 2.90/2.91 with precondition: [A=3,B=100,H=200,N=50,D=C,J=I,P=O,R=Q,10>=D,10>=J,10>=P,10>=R,D>=0,J>=0,P>=1,R>=1] 2.90/2.91 2.90/2.91 2.90/2.91 #### Cost of chains of f107(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1): 2.90/2.91 * Chain [100]: 440 2.90/2.91 with precondition: [A=100,G=200,M=50,P=0,C=B,I=H,O=N,10>=C,10>=I,10>=O,C>=0,I>=0,O>=1] 2.90/2.91 2.90/2.91 * Chain [99]: 540 2.90/2.91 with precondition: [A=100,G=200,M=50,C=B,I=H,O=N,10>=C,10>=I,10>=O,10>=P,C>=0,I>=0,O>=1,P>=1] 2.90/2.91 2.90/2.91 2.90/2.91 #### Cost of chains of f101(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1): 2.90/2.91 * Chain [101]: 540 2.90/2.91 with precondition: [A=100,G=200,M=50,C=B,I=H,O=N,10>=C,10>=I,10>=O,C>=0,I>=0,O>=1] 2.90/2.91 2.90/2.91 2.90/2.91 #### Cost of chains of f98(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1): 2.90/2.91 * Chain [103]: 440 2.90/2.91 with precondition: [A=100,G=200,M=50,N=0,C=B,I=H,10>=C,10>=I,C>=0,I>=0] 2.90/2.91 2.90/2.91 * Chain [102]: 540 2.90/2.91 with precondition: [A=100,G=200,M=50,C=B,I=H,10>=C,10>=I,10>=N,C>=0,I>=0,N>=1] 2.90/2.91 2.90/2.91 2.90/2.91 #### Cost of chains of f86(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1): 2.90/2.91 * Chain [104]: 540 2.90/2.91 with precondition: [A=100,G=200,C=B,I=H,10>=C,10>=I,C>=0,I>=0] 2.90/2.91 2.90/2.91 2.90/2.91 #### Cost of chains of f70_loop_cont(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1): 2.90/2.91 * Chain [106]: 0 2.90/2.91 with precondition: [A=3,B=100,H=200,D=C,J=I,L=K,10>=D,10>=J,10>=L,D>=0,J>=1,L>=1] 2.90/2.91 2.90/2.91 * Chain [105]: 540 2.90/2.91 with precondition: [A=7,B=100,H=200,D=C,J=I,L=K,10>=D,10>=J,10>=L,D>=0,J>=1,L>=1] 2.90/2.91 2.90/2.91 2.90/2.91 #### Cost of chains of f67(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1): 2.90/2.91 * Chain [108]: 540 2.90/2.91 with precondition: [A=100,G=200,J=0,C=B,I=H,10>=C,10>=I,C>=0,I>=1] 2.90/2.91 2.90/2.91 * Chain [107]: 940 2.90/2.91 with precondition: [A=100,G=200,C=B,I=H,10>=C,10>=I,10>=J,C>=0,I>=1,J>=1] 2.90/2.91 2.90/2.91 2.90/2.91 #### Cost of chains of f61(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1): 2.90/2.91 * Chain [109]: 940 2.90/2.91 with precondition: [A=100,G=200,C=B,I=H,10>=C,10>=I,C>=0,I>=1] 2.90/2.91 2.90/2.91 2.90/2.91 #### Cost of chains of f58(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1): 2.90/2.91 * Chain [111]: 540 2.90/2.91 with precondition: [A=100,G=200,H=0,C=B,10>=C,C>=0] 2.90/2.91 2.90/2.91 * Chain [110]: 940 2.90/2.91 with precondition: [A=100,G=200,C=B,10>=C,10>=H,C>=0,H>=1] 2.90/2.91 2.90/2.91 2.90/2.91 #### Cost of chains of f46(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1): 2.90/2.91 * Chain [112]: 940 2.90/2.91 with precondition: [A=100,C=B,10>=C,C>=0] 2.90/2.91 2.90/2.91 2.90/2.91 #### Cost of chains of f30_loop_cont(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1): 2.90/2.91 * Chain [114]: 0 2.90/2.91 with precondition: [A=3,B=100,D=C,F=E,10>=D,10>=F,D>=1,F>=1] 2.90/2.91 2.90/2.91 * Chain [113]: 940 2.90/2.91 with precondition: [A=6,B=100,D=C,F=E,10>=D,10>=F,D>=1,F>=1] 2.90/2.91 2.90/2.91 2.90/2.91 #### Cost of chains of f27(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1): 2.90/2.91 * Chain [116]: 940 2.90/2.91 with precondition: [A=100,D=0,C=B,10>=C,C>=1] 2.90/2.91 2.90/2.91 * Chain [115]: 1140 2.90/2.91 with precondition: [A=100,C=B,10>=C,10>=D,C>=1,D>=1] 2.90/2.91 2.90/2.91 2.90/2.91 #### Cost of chains of f21(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1): 2.90/2.91 * Chain [117]: 1140 2.90/2.91 with precondition: [A=100,C=B,10>=C,C>=1] 2.90/2.91 2.90/2.91 2.90/2.91 #### Cost of chains of f18(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1): 2.90/2.91 * Chain [119]: 940 2.90/2.91 with precondition: [A=100,B=0] 2.90/2.91 2.90/2.91 * Chain [118]: 1140 2.90/2.91 with precondition: [A=100,10>=B,B>=1] 2.90/2.91 2.90/2.91 2.90/2.91 #### Cost of chains of f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1): 2.90/2.91 * Chain [120]: 1140 2.90/2.91 with precondition: [] 2.90/2.91 2.90/2.91 2.90/2.91 Closed-form bounds of f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1): 2.90/2.91 ------------------------------------- 2.90/2.91 * Chain [120] with precondition: [] 2.90/2.91 - Upper bound: 1140 2.90/2.91 - Complexity: constant 2.90/2.91 2.90/2.91 ### Maximum cost of f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1): 1140 2.90/2.91 Asymptotic class: constant 2.90/2.91 * Total analysis performed in 2632 ms. 2.90/2.91 2.91/3.01 EOF