0.03/0.27 MAYBE 0.03/0.27 0.03/0.27 Preprocessing Cost Relations 0.03/0.27 ===================================== 0.03/0.27 0.03/0.27 #### Computed strongly connected components 0.03/0.27 0. non_recursive : [f10001/5] 0.03/0.27 1. recursive : [f120/3] 0.03/0.27 2. non_recursive : [exit_location/1] 0.03/0.27 3. non_recursive : [f120_loop_cont/6] 0.03/0.27 4. non_recursive : [f110/5] 0.03/0.27 5. recursive : [f12/3] 0.03/0.27 6. non_recursive : [f12_loop_cont/6] 0.03/0.27 7. recursive : [f2/3] 0.03/0.27 8. recursive : [f1200/3] 0.03/0.27 9. non_recursive : [f1200_loop_cont/6] 0.03/0.27 10. non_recursive : [f2_loop_cont/6] 0.03/0.27 11. non_recursive : [f0/5] 0.03/0.27 0.03/0.27 #### Obtained direct recursion through partial evaluation 0.03/0.27 0. SCC is completely evaluated into other SCCs 0.03/0.27 1. SCC is partially evaluated into f120/3 0.03/0.27 2. SCC is completely evaluated into other SCCs 0.03/0.27 3. SCC is partially evaluated into f120_loop_cont/6 0.03/0.27 4. SCC is partially evaluated into f110/5 0.03/0.27 5. SCC is partially evaluated into f12/3 0.03/0.27 6. SCC is partially evaluated into f12_loop_cont/6 0.03/0.27 7. SCC is partially evaluated into f2/3 0.03/0.27 8. SCC is partially evaluated into f1200/3 0.03/0.27 9. SCC is partially evaluated into f1200_loop_cont/6 0.03/0.27 10. SCC is partially evaluated into f2_loop_cont/6 0.03/0.27 11. SCC is partially evaluated into f0/5 0.03/0.27 0.03/0.27 Control-Flow Refinement of Cost Relations 0.03/0.27 ===================================== 0.03/0.27 0.03/0.27 ### Specialization of cost equations f120/3 0.03/0.27 * CE 21 is refined into CE [29] 0.03/0.27 * CE 20 is refined into CE [30] 0.03/0.27 * CE 19 is refined into CE [31] 0.03/0.27 0.03/0.27 0.03/0.27 ### Cost equations --> "Loop" of f120/3 0.03/0.27 * CEs [31] --> Loop 25 0.03/0.27 * CEs [29] --> Loop 26 0.03/0.27 * CEs [30] --> Loop 27 0.03/0.27 0.03/0.27 ### Ranking functions of CR f120(D,E,F) 0.03/0.27 0.03/0.27 #### Partial ranking functions of CR f120(D,E,F) 0.03/0.27 0.03/0.27 0.03/0.27 ### Specialization of cost equations f120_loop_cont/6 0.03/0.27 * CE 23 is refined into CE [32] 0.03/0.27 * CE 22 is refined into CE [33] 0.03/0.27 0.03/0.27 0.03/0.27 ### Cost equations --> "Loop" of f120_loop_cont/6 0.03/0.27 * CEs [32] --> Loop 28 0.03/0.27 * CEs [33] --> Loop 29 0.03/0.27 0.03/0.27 ### Ranking functions of CR f120_loop_cont(A,B,C,D,E,F) 0.03/0.27 0.03/0.27 #### Partial ranking functions of CR f120_loop_cont(A,B,C,D,E,F) 0.03/0.27 0.03/0.27 0.03/0.27 ### Specialization of cost equations f110/5 0.03/0.27 * CE 5 is refined into CE [34] 0.03/0.27 * CE 6 is refined into CE [35,36,37,38] 0.03/0.27 0.03/0.27 0.03/0.27 ### Cost equations --> "Loop" of f110/5 0.03/0.27 * CEs [37,38] --> Loop 30 0.03/0.27 * CEs [34,35,36] --> Loop 31 0.03/0.27 0.03/0.27 ### Ranking functions of CR f110(A,B,C,D,E) 0.03/0.27 0.03/0.27 #### Partial ranking functions of CR f110(A,B,C,D,E) 0.03/0.27 0.03/0.27 0.03/0.27 ### Specialization of cost equations f12/3 0.03/0.27 * CE 9 is refined into CE [39] 0.03/0.27 * CE 8 is refined into CE [40] 0.03/0.27 * CE 7 is refined into CE [41] 0.03/0.27 0.03/0.27 0.03/0.27 ### Cost equations --> "Loop" of f12/3 0.03/0.27 * CEs [41] --> Loop 32 0.03/0.27 * CEs [39] --> Loop 33 0.03/0.27 * CEs [40] --> Loop 34 0.03/0.27 0.03/0.27 ### Ranking functions of CR f12(D,E,F) 0.03/0.27 0.03/0.27 #### Partial ranking functions of CR f12(D,E,F) 0.03/0.27 0.03/0.27 0.03/0.27 ### Specialization of cost equations f12_loop_cont/6 0.03/0.27 * CE 11 is refined into CE [42] 0.03/0.27 * CE 10 is refined into CE [43] 0.03/0.27 0.03/0.27 0.03/0.27 ### Cost equations --> "Loop" of f12_loop_cont/6 0.03/0.27 * CEs [42] --> Loop 35 0.03/0.27 * CEs [43] --> Loop 36 0.03/0.27 0.03/0.27 ### Ranking functions of CR f12_loop_cont(A,B,C,D,E,F) 0.03/0.27 0.03/0.27 #### Partial ranking functions of CR f12_loop_cont(A,B,C,D,E,F) 0.03/0.27 0.03/0.27 0.03/0.27 ### Specialization of cost equations f2/3 0.03/0.27 * CE 14 is refined into CE [44] 0.03/0.27 * CE 15 is refined into CE [45] 0.03/0.27 * CE 13 is refined into CE [46] 0.03/0.27 * CE 12 is refined into CE [47] 0.03/0.27 0.03/0.27 0.03/0.27 ### Cost equations --> "Loop" of f2/3 0.03/0.27 * CEs [47] --> Loop 37 0.03/0.27 * CEs [44] --> Loop 38 0.03/0.27 * CEs [45] --> Loop 39 0.03/0.27 * CEs [46] --> Loop 40 0.03/0.27 0.03/0.27 ### Ranking functions of CR f2(A,E,F) 0.03/0.27 0.03/0.27 #### Partial ranking functions of CR f2(A,E,F) 0.03/0.27 0.03/0.27 0.03/0.27 ### Specialization of cost equations f1200/3 0.03/0.27 * CE 26 is refined into CE [48] 0.03/0.27 * CE 25 is refined into CE [49] 0.03/0.27 * CE 24 is refined into CE [50] 0.03/0.27 0.03/0.27 0.03/0.27 ### Cost equations --> "Loop" of f1200/3 0.03/0.27 * CEs [50] --> Loop 41 0.03/0.27 * CEs [48] --> Loop 42 0.03/0.27 * CEs [49] --> Loop 43 0.03/0.27 0.03/0.27 ### Ranking functions of CR f1200(D,E,F) 0.03/0.27 0.03/0.27 #### Partial ranking functions of CR f1200(D,E,F) 0.03/0.27 0.03/0.27 0.03/0.27 ### Specialization of cost equations f1200_loop_cont/6 0.03/0.27 * CE 28 is refined into CE [51] 0.03/0.27 * CE 27 is refined into CE [52] 0.03/0.27 0.03/0.27 0.03/0.27 ### Cost equations --> "Loop" of f1200_loop_cont/6 0.03/0.27 * CEs [51] --> Loop 44 0.03/0.27 * CEs [52] --> Loop 45 0.03/0.27 0.03/0.27 ### Ranking functions of CR f1200_loop_cont(A,B,C,D,E,F) 0.03/0.27 0.03/0.27 #### Partial ranking functions of CR f1200_loop_cont(A,B,C,D,E,F) 0.03/0.27 0.03/0.27 0.03/0.27 ### Specialization of cost equations f2_loop_cont/6 0.03/0.27 * CE 18 is refined into CE [53,54,55,56] 0.03/0.27 * CE 17 is refined into CE [57] 0.03/0.27 * CE 16 is refined into CE [58] 0.03/0.27 0.03/0.27 0.03/0.27 ### Cost equations --> "Loop" of f2_loop_cont/6 0.03/0.27 * CEs [53,54] --> Loop 46 0.03/0.27 * CEs [57] --> Loop 47 0.03/0.27 * CEs [58] --> Loop 48 0.03/0.27 * CEs [55,56] --> Loop 49 0.03/0.27 0.03/0.27 ### Ranking functions of CR f2_loop_cont(A,B,C,D,E,F) 0.03/0.27 0.03/0.27 #### Partial ranking functions of CR f2_loop_cont(A,B,C,D,E,F) 0.03/0.27 0.03/0.27 0.03/0.27 ### Specialization of cost equations f0/5 0.03/0.27 * CE 1 is refined into CE [59] 0.03/0.27 * CE 2 is refined into CE [60,61] 0.03/0.27 * CE 3 is refined into CE [62,63,64,65] 0.03/0.27 * CE 4 is refined into CE [66,67,68,69,70,71,72,73,74] 0.03/0.27 0.03/0.27 0.03/0.27 ### Cost equations --> "Loop" of f0/5 0.03/0.27 * CEs [61,64,65,70,71,72,73,74] --> Loop 50 0.03/0.27 * CEs [59,60,62,63,66,67,68,69] --> Loop 51 0.03/0.27 0.03/0.27 ### Ranking functions of CR f0(A,B,C,D,E) 0.03/0.27 0.03/0.27 #### Partial ranking functions of CR f0(A,B,C,D,E) 0.03/0.27 0.03/0.27 0.03/0.27 Computing Bounds 0.03/0.27 ===================================== 0.03/0.27 0.03/0.27 #### Cost of chains of f120(D,E,F): 0.03/0.27 * Chain [[25]]...: 1*it(25)+0 0.03/0.27 with precondition: [] 0.03/0.27 0.03/0.27 * Chain [[25],27]: 1*it(25)+0 0.03/0.27 with precondition: [E=2,F=1] 0.03/0.27 0.03/0.27 * Chain [[25],26]: 1*it(25)+0 0.03/0.27 with precondition: [E=3] 0.03/0.27 0.03/0.27 * Chain [27]: 0 0.03/0.27 with precondition: [E=2,F=1] 0.03/0.27 0.03/0.27 * Chain [26]: 0 0.03/0.27 with precondition: [E=3] 0.03/0.27 0.03/0.27 0.03/0.27 #### Cost of chains of f120_loop_cont(A,B,C,D,E,F): 0.03/0.27 * Chain [29]: 0 0.03/0.27 with precondition: [A=2,B=1,C=2] 0.03/0.27 0.03/0.27 * Chain [28]: 0 0.03/0.27 with precondition: [A=3,B=1,C=2] 0.03/0.27 0.03/0.27 0.03/0.27 #### Cost of chains of f110(A,B,C,D,E): 0.03/0.27 * Chain [31]: 1*aux(3)+0 0.03/0.27 with precondition: [A=1,B=1] 0.03/0.27 0.03/0.27 * Chain [30]...: 1*aux(4)+0 0.03/0.27 with precondition: [A=1,B=1] 0.03/0.27 0.03/0.27 0.03/0.27 #### Cost of chains of f12(D,E,F): 0.03/0.27 * Chain [[32]]...: 1*it(32)+0 0.03/0.27 with precondition: [] 0.03/0.27 0.03/0.27 * Chain [[32],34]: 1*it(32)+0 0.03/0.27 with precondition: [E=2,F=1] 0.03/0.27 0.03/0.27 * Chain [[32],33]: 1*it(32)+0 0.03/0.27 with precondition: [E=3] 0.03/0.27 0.03/0.27 * Chain [34]: 0 0.03/0.27 with precondition: [E=2,F=1] 0.03/0.27 0.03/0.27 * Chain [33]: 0 0.03/0.27 with precondition: [E=3] 0.03/0.27 0.03/0.27 0.03/0.27 #### Cost of chains of f12_loop_cont(A,B,C,D,E,F): 0.03/0.27 * Chain [36]: 0 0.03/0.27 with precondition: [A=2,C=2] 0.03/0.27 0.03/0.27 * Chain [35]: 0 0.03/0.27 with precondition: [A=3,C=2] 0.03/0.27 0.03/0.27 0.03/0.27 #### Cost of chains of f2(A,E,F): 0.03/0.27 * Chain [[37]]...: 1*it(37)+0 0.03/0.27 with precondition: [] 0.03/0.27 0.03/0.27 * Chain [[37],40]: 1*it(37)+0 0.03/0.27 with precondition: [E=2,A=F] 0.03/0.27 0.03/0.27 * Chain [[37],39]: 1*it(37)+0 0.03/0.27 with precondition: [E=3] 0.03/0.27 0.03/0.27 * Chain [[37],38]: 1*it(37)+0 0.03/0.27 with precondition: [E=4] 0.03/0.27 0.03/0.27 * Chain [40]: 0 0.03/0.27 with precondition: [E=2,F=A] 0.03/0.27 0.03/0.27 * Chain [39]: 0 0.03/0.27 with precondition: [E=3] 0.03/0.27 0.03/0.27 * Chain [38]: 0 0.03/0.27 with precondition: [E=4] 0.03/0.27 0.03/0.27 0.03/0.27 #### Cost of chains of f1200(D,E,F): 0.03/0.27 * Chain [[41]]...: 1*it(41)+0 0.03/0.27 with precondition: [] 0.03/0.27 0.03/0.27 * Chain [[41],43]: 1*it(41)+0 0.03/0.27 with precondition: [E=2,F=1] 0.03/0.27 0.03/0.27 * Chain [[41],42]: 1*it(41)+0 0.03/0.27 with precondition: [E=3] 0.03/0.27 0.03/0.27 * Chain [43]: 0 0.03/0.27 with precondition: [E=2,F=1] 0.03/0.27 0.03/0.27 * Chain [42]: 0 0.03/0.27 with precondition: [E=3] 0.03/0.27 0.03/0.27 0.03/0.27 #### Cost of chains of f1200_loop_cont(A,B,C,D,E,F): 0.03/0.27 * Chain [45]: 0 0.03/0.27 with precondition: [A=2,C=2] 0.03/0.27 0.03/0.27 * Chain [44]: 0 0.03/0.27 with precondition: [A=3,C=2] 0.03/0.27 0.03/0.27 0.03/0.27 #### Cost of chains of f2_loop_cont(A,B,C,D,E,F): 0.03/0.27 * Chain [49]...: 1*aux(11)+0 0.03/0.27 with precondition: [A=4,C=2] 0.03/0.27 0.03/0.27 * Chain [48]: 0 0.03/0.27 with precondition: [A=2,C=2] 0.03/0.27 0.03/0.27 * Chain [47]: 0 0.03/0.27 with precondition: [A=3,C=2] 0.03/0.27 0.03/0.27 * Chain [46]: 1*aux(12)+0 0.03/0.27 with precondition: [A=4,C=2] 0.03/0.27 0.03/0.27 0.03/0.27 #### Cost of chains of f0(A,B,C,D,E): 0.03/0.27 * Chain [51]: 1*aux(13)+0 0.03/0.27 with precondition: [] 0.03/0.27 0.03/0.27 * Chain [50]...: 1*aux(14)+0 0.03/0.27 with precondition: [] 0.03/0.27 0.03/0.27 0.03/0.27 Closed-form bounds of f0(A,B,C,D,E): 0.03/0.27 ------------------------------------- 0.03/0.27 * Chain [51] with precondition: [] 0.03/0.27 - Upper bound: inf 0.03/0.27 - Complexity: infinity 0.03/0.27 * Chain [50]... with precondition: [] 0.03/0.27 - Upper bound: inf 0.03/0.27 - Complexity: infinity 0.03/0.27 0.03/0.27 ### Maximum cost of f0(A,B,C,D,E): inf 0.03/0.27 Asymptotic class: infinity 0.03/0.27 * Total analysis performed in 201 ms. 0.03/0.27 0.03/0.37 EOF