37.29/37.38 MAYBE 37.29/37.38 37.29/37.38 Preprocessing Cost Relations 37.29/37.38 ===================================== 37.29/37.38 37.29/37.38 #### Computed strongly connected components 37.29/37.38 0. recursive : [f304/35] 37.29/37.38 1. non_recursive : [exit_location/1] 37.29/37.38 2. recursive : [f430/35] 37.29/37.38 3. recursive : [f468/55,f475/55] 37.29/37.38 4. recursive : [f596/3] 37.29/37.38 5. non_recursive : [f596_loop_cont/2] 37.29/37.38 6. non_recursive : [f666666/163] 37.29/37.38 7. non_recursive : [f588/163] 37.29/37.38 8. non_recursive : [f468_loop_cont/164] 37.29/37.38 9. recursive : [f514/56] 37.29/37.38 10. recursive : [f571/35] 37.29/37.38 11. non_recursive : [f571_loop_cont/164] 37.29/37.38 12. non_recursive : [f562/163] 37.29/37.38 13. non_recursive : [f555/163] 37.29/37.38 14. non_recursive : [f547/163] 37.29/37.38 15. non_recursive : [f514_loop_cont/164] 37.29/37.38 16. non_recursive : [f460/163] 37.29/37.38 17. non_recursive : [f447/163] 37.29/37.38 18. non_recursive : [f430_loop_cont/164] 37.29/37.38 19. non_recursive : [f421/163] 37.29/37.38 20. non_recursive : [f414/163] 37.29/37.38 21. non_recursive : [f406/163] 37.29/37.38 22. non_recursive : [f399/163] 37.29/37.38 23. non_recursive : [f304_loop_cont/164] 37.29/37.38 24. recursive : [f155/79,f35/79,f42/79] 37.29/37.38 25. non_recursive : [f35_loop_cont/164] 37.29/37.38 26. non_recursive : [f14/163] 37.29/37.38 27. non_recursive : [f3/163] 37.29/37.38 37.29/37.38 #### Obtained direct recursion through partial evaluation 37.29/37.38 0. SCC is partially evaluated into f304/35 37.29/37.38 1. SCC is completely evaluated into other SCCs 37.29/37.38 2. SCC is partially evaluated into f430/35 37.29/37.38 3. SCC is partially evaluated into f468/55 37.29/37.38 4. SCC is partially evaluated into f596/3 37.29/37.38 5. SCC is completely evaluated into other SCCs 37.29/37.38 6. SCC is completely evaluated into other SCCs 37.29/37.38 7. SCC is partially evaluated into f588/163 37.29/37.38 8. SCC is partially evaluated into f468_loop_cont/164 37.29/37.38 9. SCC is partially evaluated into f514/56 37.29/37.38 10. SCC is partially evaluated into f571/35 37.29/37.38 11. SCC is partially evaluated into f571_loop_cont/164 37.29/37.38 12. SCC is partially evaluated into f562/163 37.29/37.38 13. SCC is partially evaluated into f555/163 37.29/37.38 14. SCC is partially evaluated into f547/163 37.29/37.38 15. SCC is partially evaluated into f514_loop_cont/164 37.29/37.38 16. SCC is partially evaluated into f460/163 37.29/37.38 17. SCC is partially evaluated into f447/163 37.29/37.38 18. SCC is partially evaluated into f430_loop_cont/164 37.29/37.38 19. SCC is partially evaluated into f421/163 37.29/37.38 20. SCC is partially evaluated into f414/163 37.29/37.38 21. SCC is partially evaluated into f406/163 37.29/37.38 22. SCC is partially evaluated into f399/163 37.29/37.38 23. SCC is partially evaluated into f304_loop_cont/164 37.29/37.38 24. SCC is partially evaluated into f35/79 37.29/37.38 25. SCC is partially evaluated into f35_loop_cont/164 37.29/37.38 26. SCC is partially evaluated into f14/163 37.29/37.38 27. SCC is partially evaluated into f3/163 37.29/37.38 37.29/37.38 Control-Flow Refinement of Cost Relations 37.29/37.38 ===================================== 37.29/37.38 37.29/37.38 ### Specialization of cost equations f304/35 37.29/37.38 * CE 6 is refined into CE [65] 37.29/37.38 * CE 5 is refined into CE [66] 37.29/37.38 * CE 4 is refined into CE [67] 37.29/37.38 37.29/37.38 37.29/37.38 ### Cost equations --> "Loop" of f304/35 37.29/37.38 * CEs [67] --> Loop 65 37.29/37.38 * CEs [65] --> Loop 66 37.29/37.38 * CEs [66] --> Loop 67 37.29/37.38 37.29/37.38 ### Ranking functions of CR f304(A,H,I,B2,C2,D2,E2,F2,G2,H2,I2,P4,Q4,R4,S4,T4,U4,V4,W4,Y4,J5,T5,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6) 37.29/37.38 37.29/37.38 #### Partial ranking functions of CR f304(A,H,I,B2,C2,D2,E2,F2,G2,H2,I2,P4,Q4,R4,S4,T4,U4,V4,W4,Y4,J5,T5,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6) 37.29/37.38 37.29/37.38 37.29/37.38 ### Specialization of cost equations f430/35 37.29/37.38 * CE 43 is refined into CE [68] 37.29/37.38 * CE 46 is refined into CE [69] 37.29/37.38 * CE 44 is refined into CE [70] 37.29/37.38 * CE 45 is refined into CE [71] 37.29/37.38 37.29/37.38 37.29/37.38 ### Cost equations --> "Loop" of f430/35 37.29/37.38 * CEs [70] --> Loop 68 37.29/37.38 * CEs [71] --> Loop 69 37.29/37.38 * CEs [68] --> Loop 70 37.29/37.38 * CEs [69] --> Loop 71 37.29/37.38 37.29/37.38 ### Ranking functions of CR f430(L,P4,Q4,R4,S4,T4,U4,V4,W4,X4,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7) 37.29/37.38 37.29/37.38 #### Partial ranking functions of CR f430(L,P4,Q4,R4,S4,T4,U4,V4,W4,X4,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7) 37.29/37.38 37.29/37.38 37.29/37.38 ### Specialization of cost equations f468/55 37.29/37.38 * CE 31 is discarded (unfeasible) 37.29/37.38 * CE 30 is discarded (unfeasible) 37.29/37.38 * CE 32 is discarded (unfeasible) 37.29/37.38 * CE 29 is discarded (unfeasible) 37.29/37.38 * CE 28 is discarded (unfeasible) 37.29/37.38 37.29/37.38 37.29/37.38 ### Cost equations --> "Loop" of f468/55 37.29/37.38 37.29/37.38 ### Ranking functions of CR f468(B,L,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,C3,D3,E3,F3,G3,H3,I3,L3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,D6,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7,B7,C7,D7,E7,F7,G7,H7,I7,J7,K7) 37.29/37.38 37.29/37.38 #### Partial ranking functions of CR f468(B,L,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,C3,D3,E3,F3,G3,H3,I3,L3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,D6,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7,B7,C7,D7,E7,F7,G7,H7,I7,J7,K7) 37.29/37.38 37.29/37.38 Warning: no base case found for predicate 37.29/37.38 37.29/37.38 ### Specialization of cost equations f596/3 37.29/37.38 * CE 54 is refined into CE [72] 37.29/37.38 * CE 53 is refined into CE [73] 37.29/37.38 37.29/37.38 37.29/37.38 ### Cost equations --> "Loop" of f596/3 37.29/37.38 * CEs [73] --> Loop 72 37.29/37.38 * CEs [72] --> Loop 73 37.29/37.38 37.29/37.38 ### Ranking functions of CR f596(A,J,M6) 37.29/37.38 37.29/37.38 #### Partial ranking functions of CR f596(A,J,M6) 37.29/37.38 37.29/37.38 37.29/37.38 ### Specialization of cost equations f588/163 37.29/37.38 * CE 50 is refined into CE [74,75] 37.29/37.38 * CE 49 is refined into CE [76] 37.29/37.38 37.29/37.38 37.29/37.38 ### Cost equations --> "Loop" of f588/163 37.29/37.38 * CEs [74] --> Loop 74 37.29/37.38 * CEs [76] --> Loop 75 37.29/37.38 * CEs [75] --> Loop 76 37.29/37.38 37.29/37.38 ### Ranking functions of CR f588(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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 37.29/37.38 37.29/37.38 #### Partial ranking functions of CR f588(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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 37.29/37.38 37.29/37.38 37.29/37.38 ### Specialization of cost equations f468_loop_cont/164 37.29/37.38 * CE 34 is discarded (unfeasible) 37.29/37.38 * CE 33 is discarded (unfeasible) 37.29/37.38 37.29/37.38 37.29/37.38 ### Cost equations --> "Loop" of f468_loop_cont/164 37.29/37.38 37.29/37.38 ### Ranking functions of CR f468_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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,G6,H6) 37.29/37.38 37.29/37.38 #### Partial ranking functions of CR f468_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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,G6,H6) 37.29/37.38 37.29/37.38 Warning: no base case found for predicate 37.29/37.38 37.29/37.38 ### Specialization of cost equations f514/56 37.29/37.38 * CE 38 is refined into CE [77] 37.29/37.38 * CE 35 is refined into CE [78] 37.29/37.38 * CE 39 is refined into CE [79] 37.29/37.38 * CE 36 is refined into CE [80] 37.29/37.38 * CE 37 is refined into CE [81] 37.29/37.38 37.29/37.38 37.29/37.38 ### Cost equations --> "Loop" of f514/56 37.29/37.38 * CEs [81] --> Loop 77 37.29/37.38 * CEs [80] --> Loop 78 37.29/37.38 * CEs [77] --> Loop 79 37.29/37.38 * CEs [79] --> Loop 80 37.29/37.38 * CEs [78] --> Loop 81 37.29/37.38 37.29/37.38 ### Ranking functions of CR f514(B,L,F1,B2,C2,D2,E2,F2,G2,H2,I2,J2,C3,D3,E3,F3,G3,H3,I3,K3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,D6,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7,B7,C7,D7,E7,F7,G7,H7,I7,J7,K7,L7) 37.29/37.38 37.29/37.38 #### Partial ranking functions of CR f514(B,L,F1,B2,C2,D2,E2,F2,G2,H2,I2,J2,C3,D3,E3,F3,G3,H3,I3,K3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,D6,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7,B7,C7,D7,E7,F7,G7,H7,I7,J7,K7,L7) 37.29/37.38 37.29/37.38 37.29/37.38 ### Specialization of cost equations f571/35 37.29/37.38 * CE 59 is refined into CE [82] 37.29/37.38 * CE 62 is refined into CE [83] 37.29/37.38 * CE 60 is refined into CE [84] 37.29/37.38 * CE 61 is refined into CE [85] 37.29/37.38 37.29/37.38 37.29/37.38 ### Cost equations --> "Loop" of f571/35 37.29/37.38 * CEs [85] --> Loop 82 37.29/37.38 * CEs [84] --> Loop 83 37.29/37.38 * CEs [83] --> Loop 84 37.29/37.38 * CEs [82] --> Loop 85 37.29/37.38 37.29/37.38 ### Ranking functions of CR f571(B,L,C3,D3,E3,F3,G3,H3,I3,J3,G4,H4,I4,J4,K4,L4,M4,N4,O4,D6,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7) 37.29/37.38 37.29/37.38 #### Partial ranking functions of CR f571(B,L,C3,D3,E3,F3,G3,H3,I3,J3,G4,H4,I4,J4,K4,L4,M4,N4,O4,D6,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7) 37.29/37.38 37.29/37.38 37.29/37.38 ### Specialization of cost equations f571_loop_cont/164 37.29/37.38 * CE 63 is refined into CE [86,87,88] 37.29/37.38 * CE 64 is refined into CE [89] 37.29/37.38 37.29/37.38 37.29/37.38 ### Cost equations --> "Loop" of f571_loop_cont/164 37.29/37.38 * CEs [87] --> Loop 86 37.29/37.38 * CEs [86] --> Loop 87 37.29/37.38 * CEs [89] --> Loop 88 37.29/37.38 * CEs [88] --> Loop 89 37.29/37.38 37.29/37.38 ### Ranking functions of CR f571_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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,G6,H6) 37.29/37.38 37.29/37.38 #### Partial ranking functions of CR f571_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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,G6,H6) 37.29/37.38 37.29/37.38 37.29/37.38 ### Specialization of cost equations f562/163 37.29/37.38 * CE 57 is refined into CE [90,91] 37.29/37.38 * CE 58 is refined into CE [92,93,94,95,96,97,98] 37.29/37.38 37.29/37.38 37.29/37.38 ### Cost equations --> "Loop" of f562/163 37.29/37.38 * CEs [91] --> Loop 90 37.29/37.38 * CEs [95,96,97,98] --> Loop 91 37.29/37.38 * CEs [90] --> Loop 92 37.29/37.38 * CEs [92,93,94] --> Loop 93 37.29/37.38 37.29/37.38 ### Ranking functions of CR f562(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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 37.29/37.38 37.29/37.38 #### Partial ranking functions of CR f562(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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 37.29/37.38 37.29/37.38 37.29/37.38 ### Specialization of cost equations f555/163 37.29/37.38 * CE 55 is refined into CE [99,100] 37.29/37.38 * CE 56 is refined into CE [101,102] 37.29/37.38 37.29/37.38 37.29/37.38 ### Cost equations --> "Loop" of f555/163 37.29/37.38 * CEs [100] --> Loop 94 37.29/37.38 * CEs [102] --> Loop 95 37.29/37.38 * CEs [99] --> Loop 96 37.29/37.38 * CEs [101] --> Loop 97 37.29/37.38 37.29/37.38 ### Ranking functions of CR f555(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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 37.29/37.38 37.29/37.38 #### Partial ranking functions of CR f555(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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 37.29/37.38 37.29/37.38 37.29/37.38 ### Specialization of cost equations f547/163 37.29/37.38 * CE 51 is refined into CE [103,104] 37.29/37.38 * CE 52 is refined into CE [105,106,107,108] 37.29/37.38 37.29/37.38 37.29/37.38 ### Cost equations --> "Loop" of f547/163 37.29/37.38 * CEs [104] --> Loop 98 37.29/37.38 * CEs [108] --> Loop 99 37.29/37.38 * CEs [107] --> Loop 100 37.29/37.38 * CEs [103] --> Loop 101 37.29/37.38 * CEs [106] --> Loop 102 37.29/37.38 * CEs [105] --> Loop 103 37.29/37.38 37.29/37.38 ### Ranking functions of CR f547(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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 37.29/37.38 37.29/37.38 #### Partial ranking functions of CR f547(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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 37.29/37.38 37.29/37.38 37.29/37.38 ### Specialization of cost equations f514_loop_cont/164 37.29/37.38 * CE 41 is refined into CE [109,110,111,112,113,114] 37.29/37.38 * CE 40 is refined into CE [115,116,117] 37.29/37.38 * CE 42 is refined into CE [118] 37.29/37.38 37.29/37.38 37.29/37.38 ### Cost equations --> "Loop" of f514_loop_cont/164 37.29/37.38 * CEs [111] --> Loop 104 37.29/37.38 * CEs [110] --> Loop 105 37.29/37.38 * CEs [109] --> Loop 106 37.29/37.38 * CEs [116] --> Loop 107 37.29/37.38 * CEs [115] --> Loop 108 37.29/37.38 * CEs [118] --> Loop 109 37.29/37.38 * CEs [114] --> Loop 110 37.29/37.38 * CEs [113] --> Loop 111 37.29/37.38 * CEs [112] --> Loop 112 37.29/37.38 * CEs [117] --> Loop 113 37.29/37.38 37.29/37.38 ### Ranking functions of CR f514_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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,G6,H6) 37.29/37.38 37.29/37.38 #### Partial ranking functions of CR f514_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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,G6,H6) 37.29/37.38 37.29/37.38 37.29/37.38 ### Specialization of cost equations f460/163 37.29/37.38 * CE 24 is discarded (unfeasible) 37.29/37.38 * CE 25 is refined into CE [119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140] 37.29/37.38 37.29/37.38 37.29/37.38 ### Cost equations --> "Loop" of f460/163 37.29/37.38 * CEs [123,125,127,130,131,132,133,134,135,136,137,138,139,140] --> Loop 114 37.29/37.38 * CEs [128] --> Loop 115 37.29/37.38 * CEs [119,120,121,122,124,126,129] --> Loop 116 37.29/37.38 37.29/37.38 ### Ranking functions of CR f460(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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 37.29/37.38 37.29/37.38 #### Partial ranking functions of CR f460(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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 37.29/37.38 37.29/37.38 37.29/37.38 ### Specialization of cost equations f447/163 37.29/37.38 * CE 20 is refined into CE [141,142,143] 37.29/37.38 * CE 21 is refined into CE [144] 37.29/37.38 37.29/37.38 37.29/37.38 ### Cost equations --> "Loop" of f447/163 37.29/37.38 * CEs [142] --> Loop 117 37.29/37.38 * CEs [144] --> Loop 118 37.29/37.38 * CEs [141] --> Loop 119 37.29/37.38 * CEs [143] --> Loop 120 37.29/37.38 37.29/37.38 ### Ranking functions of CR f447(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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 37.29/37.38 37.29/37.38 #### Partial ranking functions of CR f447(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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 37.29/37.38 37.29/37.38 37.29/37.38 ### Specialization of cost equations f430_loop_cont/164 37.29/37.38 * CE 47 is refined into CE [145,146,147,148] 37.29/37.38 * CE 48 is refined into CE [149] 37.29/37.38 37.29/37.38 37.29/37.38 ### Cost equations --> "Loop" of f430_loop_cont/164 37.29/37.38 * CEs [147] --> Loop 121 37.29/37.38 * CEs [146] --> Loop 122 37.29/37.38 * CEs [145] --> Loop 123 37.29/37.38 * CEs [149] --> Loop 124 37.29/37.38 * CEs [148] --> Loop 125 37.29/37.38 37.29/37.38 ### Ranking functions of CR f430_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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,G6,H6) 37.29/37.38 37.29/37.38 #### Partial ranking functions of CR f430_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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,G6,H6) 37.29/37.38 37.29/37.38 37.29/37.38 ### Specialization of cost equations f421/163 37.29/37.38 * CE 26 is refined into CE [150,151,152] 37.29/37.38 * CE 27 is refined into CE [153,154,155,156,157,158,159,160,161] 37.29/37.38 37.29/37.38 37.29/37.38 ### Cost equations --> "Loop" of f421/163 37.29/37.38 * CEs [152] --> Loop 126 37.29/37.38 * CEs [157,159,160] --> Loop 127 37.29/37.38 * CEs [158,161] --> Loop 128 37.29/37.38 * CEs [151] --> Loop 129 37.29/37.38 * CEs [150] --> Loop 130 37.29/37.38 * CEs [156] --> Loop 131 37.29/37.38 * CEs [154,155] --> Loop 132 37.29/37.38 * CEs [153] --> Loop 133 37.29/37.38 37.29/37.38 ### Ranking functions of CR f421(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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 37.29/37.38 37.29/37.38 #### Partial ranking functions of CR f421(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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 37.29/37.38 37.29/37.38 37.29/37.38 ### Specialization of cost equations f414/163 37.29/37.38 * CE 22 is refined into CE [162,163,164] 37.29/37.38 * CE 23 is refined into CE [165,166,167,168,169] 37.29/37.38 37.29/37.38 37.29/37.38 ### Cost equations --> "Loop" of f414/163 37.29/37.38 * CEs [169] --> Loop 134 37.29/37.38 * CEs [164] --> Loop 135 37.29/37.38 * CEs [168] --> Loop 136 37.29/37.38 * CEs [163] --> Loop 137 37.29/37.38 * CEs [167] --> Loop 138 37.29/37.38 * CEs [166] --> Loop 139 37.29/37.38 * CEs [165] --> Loop 140 37.29/37.38 * CEs [162] --> Loop 141 37.29/37.38 37.29/37.38 ### Ranking functions of CR f414(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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 37.29/37.38 37.29/37.38 #### Partial ranking functions of CR f414(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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 37.29/37.38 37.29/37.38 37.29/37.38 ### Specialization of cost equations f406/163 37.29/37.38 * CE 18 is refined into CE [170,171,172] 37.29/37.38 * CE 19 is refined into CE [173,174,175,176,177,178,179,180] 37.29/37.38 37.29/37.38 37.29/37.38 ### Cost equations --> "Loop" of f406/163 37.29/37.38 * CEs [172] --> Loop 142 37.29/37.38 * CEs [180] --> Loop 143 37.29/37.38 * CEs [179] --> Loop 144 37.29/37.38 * CEs [178] --> Loop 145 37.29/37.38 * CEs [171] --> Loop 146 37.29/37.38 * CEs [170] --> Loop 147 37.29/37.38 * CEs [177] --> Loop 148 37.29/37.38 * CEs [176] --> Loop 149 37.29/37.38 * CEs [175] --> Loop 150 37.29/37.38 * CEs [174] --> Loop 151 37.29/37.38 * CEs [173] --> Loop 152 37.29/37.38 37.29/37.38 ### Ranking functions of CR f406(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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 37.29/37.38 37.29/37.38 #### Partial ranking functions of CR f406(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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 37.29/37.38 37.29/37.38 37.29/37.38 ### Specialization of cost equations f399/163 37.29/37.38 * CE 16 is refined into CE [181,182,183] 37.29/37.38 * CE 17 is refined into CE [184,185,186,187,188,189,190,191] 37.29/37.38 37.29/37.38 37.29/37.38 ### Cost equations --> "Loop" of f399/163 37.29/37.38 * CEs [191] --> Loop 153 37.29/37.38 * CEs [183] --> Loop 154 37.29/37.38 * CEs [190] --> Loop 155 37.29/37.38 * CEs [189] --> Loop 156 37.29/37.38 * CEs [182] --> Loop 157 37.29/37.38 * CEs [188] --> Loop 158 37.29/37.38 * CEs [187] --> Loop 159 37.29/37.38 * CEs [186] --> Loop 160 37.29/37.38 * CEs [185] --> Loop 161 37.29/37.38 * CEs [181] --> Loop 162 37.29/37.38 * CEs [184] --> Loop 163 37.29/37.38 37.29/37.38 ### Ranking functions of CR f399(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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 37.29/37.38 37.29/37.38 #### Partial ranking functions of CR f399(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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 37.29/37.38 37.29/37.38 37.29/37.38 ### Specialization of cost equations f304_loop_cont/164 37.29/37.38 * CE 8 is refined into CE [192] 37.29/37.38 * CE 7 is refined into CE [193,194,195,196,197,198,199,200,201,202,203] 37.29/37.38 37.29/37.38 37.29/37.38 ### Cost equations --> "Loop" of f304_loop_cont/164 37.29/37.38 * CEs [203] --> Loop 164 37.29/37.38 * CEs [202] --> Loop 165 37.29/37.38 * CEs [201] --> Loop 166 37.29/37.38 * CEs [200] --> Loop 167 37.29/37.38 * CEs [192] --> Loop 168 37.29/37.38 * CEs [199] --> Loop 169 37.29/37.38 * CEs [198] --> Loop 170 37.29/37.38 * CEs [197] --> Loop 171 37.29/37.38 * CEs [196] --> Loop 172 37.29/37.38 * CEs [195] --> Loop 173 37.29/37.38 * CEs [194] --> Loop 174 37.29/37.38 * CEs [193] --> Loop 175 37.29/37.38 37.29/37.38 ### Ranking functions of CR f304_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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,G6,H6) 37.29/37.38 37.29/37.38 #### Partial ranking functions of CR f304_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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,G6,H6) 37.29/37.38 37.29/37.38 37.29/37.38 ### Specialization of cost equations f35/79 37.29/37.38 * CE 12 is discarded (unfeasible) 37.29/37.38 * CE 13 is refined into CE [204] 37.29/37.38 * CE 10 is discarded (unfeasible) 37.29/37.38 * CE 9 is discarded (unfeasible) 37.29/37.38 * CE 11 is refined into CE [205] 37.29/37.38 37.29/37.38 37.29/37.38 ### Cost equations --> "Loop" of f35/79 37.29/37.38 * CEs [205] --> Loop 176 37.29/37.38 * CEs [204] --> Loop 177 37.29/37.38 37.29/37.38 ### Ranking functions of CR f35(A,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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,E6,F6,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7,B7,C7,D7,E7,F7,G7,H7,I7,J7,K7,L7,M7,N7,O7,P7,Q7,R7,S7,T7,U7,V7,W7) 37.29/37.38 37.29/37.38 #### Partial ranking functions of CR f35(A,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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,E6,F6,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7,B7,C7,D7,E7,F7,G7,H7,I7,J7,K7,L7,M7,N7,O7,P7,Q7,R7,S7,T7,U7,V7,W7) 37.29/37.38 37.29/37.38 37.29/37.38 ### Specialization of cost equations f35_loop_cont/164 37.29/37.38 * CE 14 is refined into CE [206] 37.29/37.38 * CE 15 is refined into CE [207] 37.29/37.38 37.29/37.38 37.29/37.39 ### Cost equations --> "Loop" of f35_loop_cont/164 37.29/37.39 * CEs [206] --> Loop 178 37.29/37.39 * CEs [207] --> Loop 179 37.29/37.39 37.29/37.39 ### Ranking functions of CR f35_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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,G6,H6) 37.29/37.39 37.29/37.39 #### Partial ranking functions of CR f35_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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,G6,H6) 37.29/37.39 37.29/37.39 37.29/37.39 ### Specialization of cost equations f14/163 37.29/37.39 * CE 3 is refined into CE [208,209,210,211] 37.29/37.39 * CE 2 is refined into CE [212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231] 37.29/37.39 37.29/37.39 37.29/37.39 ### Cost equations --> "Loop" of f14/163 37.29/37.39 * CEs [210,211] --> Loop 180 37.29/37.39 * CEs [214,217,220,221,222,223,224,225,226,227,228,229,230,231] --> Loop 181 37.29/37.39 * CEs [208,209] --> Loop 182 37.29/37.39 * CEs [218] --> Loop 183 37.29/37.39 * CEs [212,213,215,216,219] --> Loop 184 37.29/37.39 37.29/37.39 ### Ranking functions of CR f14(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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 37.29/37.39 37.29/37.39 #### Partial ranking functions of CR f14(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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 37.29/37.39 37.29/37.39 37.29/37.39 ### Specialization of cost equations f3/163 37.29/37.39 * CE 1 is refined into CE [232,233,234,235,236] 37.29/37.39 37.29/37.39 37.29/37.39 ### Cost equations --> "Loop" of f3/163 37.29/37.39 * CEs [235,236] --> Loop 185 37.29/37.39 * CEs [232,233,234] --> Loop 186 37.29/37.39 37.29/37.39 ### Ranking functions of CR f3(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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 37.29/37.39 37.29/37.39 #### Partial ranking functions of CR f3(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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 37.29/37.39 37.29/37.39 37.29/37.39 Computing Bounds 37.29/37.39 ===================================== 37.29/37.39 37.29/37.39 #### Cost of chains of f304(A,H,I,B2,C2,D2,E2,F2,G2,H2,I2,P4,Q4,R4,S4,T4,U4,V4,W4,Y4,J5,T5,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6): 37.29/37.39 * Chain [[65]]...: 1*it(65)+0 37.29/37.39 with precondition: [A=4,H=0,0>=I] 37.29/37.39 37.29/37.39 * Chain [[65],67]: 1*it(65)+0 37.29/37.39 with precondition: [A=4,H=0,M6=2,N6=7,O6=1,Q6=7,R6=1,T6=1,V6=7,W6=0,X6=0,Y6=0,P6=S6,P6=U6,0>=I,I>=P6+1] 37.29/37.39 37.29/37.39 * Chain [[65],66]: 1*it(65)+0 37.29/37.39 with precondition: [A=4,H=0,M6=3,0>=I] 37.29/37.39 37.29/37.39 * Chain [67]: 0 37.29/37.39 with precondition: [A=4,H=0,M6=2,N6=7,O6=1,Q6=7,R6=1,T6=1,V6=7,W6=0,X6=0,Y6=0,I=P6,I=S6,I=U6,0>=I] 37.29/37.39 37.29/37.39 * Chain [66]: 0 37.29/37.39 with precondition: [A=4,H=0,M6=3] 37.29/37.39 37.29/37.39 37.29/37.39 #### Cost of chains of f430(L,P4,Q4,R4,S4,T4,U4,V4,W4,X4,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7): 37.29/37.39 * Chain [[68]]...: 1*it(68)+0 37.29/37.39 with precondition: [P4=1,W4=9,0>=T5] 37.29/37.39 37.29/37.39 * Chain [[68],71]: 1*it(68)+0 37.29/37.39 with precondition: [P4=1,W4=9,M6=3,0>=T5] 37.29/37.39 37.29/37.39 * Chain [[68],69,71]: 1*it(68)+1 37.29/37.39 with precondition: [P4=1,W4=9,M6=3,0>=T5] 37.29/37.39 37.29/37.39 * Chain [[68],69,70]: 1*it(68)+1 37.29/37.39 with precondition: [P4=1,W4=9,M6=5,N6=0,O6=1,P6=9,Q6=0,R6=1,V6=9,Z6=1,Q4=T6,R4=U6,S4=W6,T4=X6,U4=Y6,V4=A7,0>=T5,S6>=1] 37.29/37.39 37.29/37.39 * Chain [71]: 0 37.29/37.39 with precondition: [P4=1,W4=9,M6=3] 37.29/37.39 37.29/37.39 * Chain [70]: 0 37.29/37.39 with precondition: [P4=1,W4=9,M6=5,N6=0,O6=1,P6=9,Q6=0,S6=U5,T6=V5,U6=W5,V6=X5,W6=Y5,X6=Z5,Y6=A6,Z6=B6,A7=C6,T5=R6,T5>=1] 37.29/37.39 37.29/37.39 * Chain [69,71]: 1 37.29/37.39 with precondition: [P4=1,W4=9,M6=3,0>=T5] 37.29/37.39 37.29/37.39 * Chain [69,70]: 1 37.29/37.39 with precondition: [P4=1,W4=9,M6=5,N6=0,O6=1,P6=9,Q6=0,R6=1,V6=9,Z6=1,Q4=T6,R4=U6,S4=W6,T4=X6,U4=Y6,V4=A7,0>=T5,S6>=1] 37.29/37.39 37.29/37.39 37.29/37.39 #### Cost of chains of f468(B,L,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,C3,D3,E3,F3,G3,H3,I3,L3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,D6,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7,B7,C7,D7,E7,F7,G7,H7,I7,J7,K7): 37.29/37.39 37.29/37.39 #### Cost of chains of f596(A,J,M6): 37.29/37.39 * Chain [[72]]...: 1*it(72)+0 37.29/37.39 with precondition: [A=9,1>=J,M6=3] 37.29/37.39 37.29/37.39 * Chain [[72],73]: 1*it(72)+0 37.29/37.39 with precondition: [A=9,M6=3,1>=J] 37.29/37.39 37.29/37.39 * Chain [73]: 0 37.29/37.39 with precondition: [A=9,M6=3,1>=J] 37.29/37.39 37.29/37.39 37.29/37.39 #### Cost of chains of f588(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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6): 37.29/37.39 * Chain [76]...: 1*s(5)+0 37.29/37.39 with precondition: [C=0,D=0,L3=0,C3=E,D3=F,E3=G,I3=K,C3=Q4,D3=R4,E3=S4,I3=V4,0>=J,L>=1] 37.29/37.39 37.29/37.39 * Chain [75]: 0 37.29/37.39 with precondition: [C=0,D=0,L3=0,C3=E,D3=F,E3=G,I3=K,C3=Q4,D3=R4,E3=S4,I3=V4,0>=J,0>=L] 37.29/37.39 37.29/37.39 * Chain [74]: 1*s(6)+0 37.29/37.39 with precondition: [C=0,D=0,L3=0,C3=E,D3=F,E3=G,I3=K,C3=Q4,D3=R4,E3=S4,I3=V4,0>=J,L>=1] 37.29/37.39 37.29/37.39 37.29/37.39 #### Cost of chains of f468_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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,G6,H6): 37.29/37.39 37.29/37.39 #### Cost of chains of f514(B,L,F1,B2,C2,D2,E2,F2,G2,H2,I2,J2,C3,D3,E3,F3,G3,H3,I3,K3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,D6,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7,B7,C7,D7,E7,F7,G7,H7,I7,J7,K7,L7): 37.29/37.39 * Chain [[78]]...: 1*it(78)+0 37.29/37.39 with precondition: [I2=I3,H2=H3,E2=E3,C2=D3,B2=C3,B=4,L>=1,F1>=J2,J2>=0,1>=F1,0>=H2,0>=G3,K3=0] 37.29/37.39 37.29/37.39 * Chain [[78],80]: 1*it(78)+0 37.29/37.39 with precondition: [B=4,K3=0,M6=3,B2=C3,C2=D3,E2=E3,H2=H3,I2=I3,1>=F1,0>=H2,0>=G3,L>=1,J2>=0,F1>=J2] 37.29/37.39 37.29/37.39 * Chain [[78],79]: 1*it(78)+0 37.29/37.39 with precondition: [B=4,K3=0,M6=7,N6=7,P6=1,S6=7,U6=1,Y6=1,Z6=1,B7=0,B2=C3,C2=D3,E2=E3,H2=H3,I2=I3,L=O6,B2=Q6,C2=R6,E2=T6,H2=W6,I2=X6,V6=A7,Y3=D7,Z3=E7,A4=F7,B4=G7,C4=H7,D4=I7,E4=J7,F4=K7,D6=L7,1>=F1,0>=H2,0>=G3,0>=C7,L>=1,J2>=0,F1>=J2,G3>=V6+1] 37.29/37.39 37.29/37.39 * Chain [[78],77,81]: 1*it(78)+1 37.29/37.39 with precondition: [B=4,K3=0,M6=6,N6=6,O6=0,B7=1,F7=6,L7=0,B2=C3,C2=D3,E2=E3,H2=H3,I2=I3,F1=P6,B2=Q6,C2=R6,D2=S6,E2=T6,F2=U6,G2=V6,H2=W6,I2=X6,J2=Y6,F3=Z6,B2=D7,C2=E7,E2=G7,F3=H7,A7+1=I7,H2=J7,I2=K7,1>=F1,0>=H2,0>=G3,L>=1,J2>=0,C7>=1,F1>=J2,G3>=A7+3] 37.29/37.39 37.29/37.39 * Chain [[78],77,80]: 1*it(78)+1 37.29/37.39 with precondition: [B=4,K3=0,M6=3,B2=C3,C2=D3,E2=E3,H2=H3,I2=I3,1>=F1,0>=H2,0>=G3,L>=1,J2>=0,F1>=J2] 37.29/37.39 37.29/37.39 * Chain [[78],77,79]: 1*it(78)+1 37.29/37.39 with precondition: [B=4,K3=0,M6=7,N6=7,P6=1,S6=7,U6=1,Y6=1,Z6=1,B7=1,F7=6,B2=C3,C2=D3,E2=E3,H2=H3,I2=I3,L=O6,B2=Q6,C2=R6,E2=T6,H2=W6,I2=X6,V6=A7,B2=D7,C2=E7,E2=G7,F3=H7,V6=I7,H2=J7,I2=K7,D6=L7,1>=F1,0>=H2,0>=G3,L>=1,J2>=0,C7>=1,F1>=J2,G3>=V6+2] 37.29/37.39 37.29/37.39 * Chain [80]: 0 37.29/37.39 with precondition: [B=4,M6=3,C3=B2,D3=C2,E3=E2,H3=H2,I3=I2,1>=F1,0>=H3,1>=K3,L>=1,J2>=0,K3>=0,F1>=J2] 37.29/37.39 37.29/37.39 * Chain [79]: 0 37.29/37.39 with precondition: [B=4,M6=7,N6=7,P6=1,S6=7,U6=1,Y6=1,Z6=1,C3=B2,D3=C2,E3=E2,H3=H2,I3=I2,C7=X3,D7=Y3,E7=Z3,F7=A4,G7=B4,H7=C4,I7=D4,J7=E4,K7=F4,L7=D6,L=O6,C3=Q6,D3=R6,E3=T6,G3=V6,H3=W6,I3=X6,G3=A7,K3=B7,1>=F1,0>=G3,0>=H3,1>=K3,L>=1,J2>=0,K3>=0,F1>=J2] 37.29/37.39 37.29/37.39 * Chain [77,81]: 1 37.29/37.39 with precondition: [B=4,K3=0,M6=6,N6=6,O6=0,B7=1,F7=6,L7=0,B2=C3,C2=D3,E2=E3,I7+1=G3,H2=H3,I2=I3,F1=P6,B2=Q6,C2=R6,D2=S6,E2=T6,F2=U6,G2=V6,H2=W6,I2=X6,J2=Y6,F3=Z6,I7=A7+1,B2=D7,C2=E7,E2=G7,F3=H7,H2=J7,I2=K7,1>=F1,0>=H2,0>=I7+1,L>=1,J2>=0,C7>=1,F1>=J2] 37.29/37.39 37.29/37.39 * Chain [77,80]: 1 37.29/37.39 with precondition: [B=4,K3=0,M6=3,B2=C3,C2=D3,E2=E3,H2=H3,I2=I3,1>=F1,0>=H2,0>=G3,L>=1,J2>=0,F1>=J2] 37.29/37.39 37.29/37.39 * Chain [77,79]: 1 37.29/37.39 with precondition: [B=4,K3=0,M6=7,N6=7,P6=1,S6=7,U6=1,Y6=1,Z6=1,B7=1,F7=6,B2=C3,C2=D3,E2=E3,V6+1=G3,H2=H3,I2=I3,L=O6,B2=Q6,C2=R6,E2=T6,H2=W6,I2=X6,V6=A7,B2=D7,C2=E7,E2=G7,F3=H7,V6=I7,H2=J7,I2=K7,D6=L7,1>=F1,0>=H2,0>=V6+1,L>=1,J2>=0,C7>=1,F1>=J2] 37.29/37.39 37.29/37.39 37.29/37.39 #### Cost of chains of f571(B,L,C3,D3,E3,F3,G3,H3,I3,J3,G4,H4,I4,J4,K4,L4,M4,N4,O4,D6,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7): 37.29/37.39 * Chain [[83]]...: 1*it(83)+0 37.29/37.39 with precondition: [B=9,H3=1,J3=0] 37.29/37.39 37.29/37.39 * Chain [[83],84]: 1*it(83)+0 37.29/37.39 with precondition: [B=9,H3=1,J3=0,M6=3] 37.29/37.39 37.29/37.39 * Chain [[83],82,85]: 1*it(83)+1 37.29/37.39 with precondition: [B=9,H3=1,J3=0,M6=6,N6=9,O6=0,P6=1,Q6=1,U6=9,Y6=1,A7=0,C3=S6,D3=T6,E3=V6,F3=W6,G3=X6,I3=Z6,R6>=1] 37.29/37.39 37.29/37.39 * Chain [[83],82,84]: 1*it(83)+1 37.29/37.39 with precondition: [B=9,H3=1,J3=0,M6=3] 37.29/37.39 37.29/37.39 * Chain [84]: 0 37.29/37.39 with precondition: [B=9,H3=1,M6=3,1>=J3,J3>=0] 37.29/37.39 37.29/37.39 * Chain [82,85]: 1 37.29/37.39 with precondition: [B=9,H3=1,J3=0,M6=6,N6=9,O6=0,P6=1,Q6=1,U6=9,Y6=1,A7=0,C3=S6,D3=T6,E3=V6,F3=W6,G3=X6,I3=Z6,R6>=1] 37.29/37.39 37.29/37.39 * Chain [82,84]: 1 37.29/37.39 with precondition: [B=9,H3=1,J3=0,M6=3] 37.29/37.39 37.29/37.39 37.29/37.39 #### Cost of chains of f571_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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,G6,H6): 37.29/37.39 * Chain [89]...: 1*s(12)+0 37.29/37.39 with precondition: [A=6,D=0,E=0,G1=0,T2=0,M3=0,L2=F,M2=G,O2=H,R2=K,S2=L,G3=P2,H3=Q2,L2=D3,M2=E3,O2=F3,S2=J3,L2=R4,M2=S4,O2=T4,S2=W4,0>=R2,M>=1] 37.29/37.39 37.29/37.39 * Chain [88]: 0 37.29/37.39 with precondition: [A=3,D=0,E=0,G1=0,T2=0,M3=0,L2=F,M2=G,O2=H,R2=K,S2=L,G3=P2,H3=Q2,L2=D3,M2=E3,O2=F3,S2=J3,L2=R4,M2=S4,O2=T4,S2=W4,0>=R2] 37.29/37.39 37.29/37.39 * Chain [87]: 0 37.29/37.39 with precondition: [A=6,D=0,E=0,G1=0,T2=0,M3=0,L2=F,M2=G,O2=H,R2=K,S2=L,G3=P2,H3=Q2,L2=D3,M2=E3,O2=F3,S2=J3,L2=R4,M2=S4,O2=T4,S2=W4,0>=M,0>=R2] 37.29/37.39 37.29/37.39 * Chain [86]: 1*s(13)+0 37.29/37.39 with precondition: [A=6,D=0,E=0,G1=0,T2=0,M3=0,L2=F,M2=G,O2=H,R2=K,S2=L,G3=P2,H3=Q2,L2=D3,M2=E3,O2=F3,S2=J3,L2=R4,M2=S4,O2=T4,S2=W4,0>=R2,M>=1] 37.29/37.39 37.29/37.39 37.29/37.39 #### Cost of chains of f562(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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6): 37.29/37.39 * Chain [93]: 1*aux(7)+0 37.29/37.39 with precondition: [C=0,D=0,F1=0,S2=0,J3=0,L3=0,M2=B,K2=E,L2=F,N2=G,Q2=J,R2=K,F3=O2,G3=P2,K2=C3,L2=D3,N2=E3,Q2=H3,R2=I3,K2=Q4,L2=R4,N2=S4,R2=V4,0>=Q2] 37.29/37.39 37.29/37.39 * Chain [92]: 1*s(16)+0 37.29/37.39 with precondition: [C=0,D=0,F1=1,S2=1,J3=0,L3=0,M2=B,K2=E,L2=F,N2=G,Q2=J,R2=K,F3=O2,G3=P2,K2=C3,L2=D3,N2=E3,Q2=H3,R2=I3,K2=Q4,L2=R4,N2=S4,R2=V4,0>=Q2] 37.29/37.39 37.29/37.39 * Chain [91]...: 1*aux(8)+0 37.29/37.39 with precondition: [C=0,D=0,F1=0,S2=0,J3=0,L3=0,M2=B,K2=E,L2=F,N2=G,Q2=J,R2=K,F3=O2,G3=P2,K2=C3,L2=D3,N2=E3,Q2=H3,R2=I3,K2=Q4,L2=R4,N2=S4,R2=V4,0>=Q2] 37.29/37.39 37.29/37.39 * Chain [90]...: 1*s(23)+0 37.29/37.39 with precondition: [C=0,D=0,F1=1,S2=1,J3=0,L3=0,M2=B,K2=E,L2=F,N2=G,Q2=J,R2=K,F3=O2,G3=P2,K2=C3,L2=D3,N2=E3,Q2=H3,R2=I3,K2=Q4,L2=R4,N2=S4,R2=V4,0>=Q2] 37.29/37.39 37.29/37.39 37.29/37.39 #### Cost of chains of f555(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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6): 37.29/37.39 * Chain [97]: 1*s(24)+0 37.29/37.39 with precondition: [C=0,D=0,J3=0,L3=0,M2=B,K2=E,L2=F,N2=G,Q2=J,R2=K,F3=O2,G3=P2,K2=C3,L2=D3,N2=E3,Q2=H3,R2=I3,K2=Q4,L2=R4,N2=S4,R2=V4,0>=F1,0>=Q2,0>=F3] 37.29/37.39 37.29/37.39 * Chain [96]: 1*s(25)+0 37.29/37.39 with precondition: [C=0,D=0,J3=0,L3=0,M2=B,K2=E,L2=F,N2=G,Q2=J,R2=K,F3=O2,G3=P2,K2=C3,L2=D3,N2=E3,Q2=H3,R2=I3,K2=Q4,L2=R4,N2=S4,R2=V4,0>=F1,0>=Q2,F3>=1] 37.29/37.39 37.29/37.39 * Chain [95]...: 1*s(26)+0 37.29/37.39 with precondition: [C=0,D=0,J3=0,L3=0,M2=B,K2=E,L2=F,N2=G,Q2=J,R2=K,F3=O2,G3=P2,K2=C3,L2=D3,N2=E3,Q2=H3,R2=I3,K2=Q4,L2=R4,N2=S4,R2=V4,0>=F1,0>=Q2,0>=F3] 37.29/37.39 37.29/37.39 * Chain [94]...: 1*s(27)+0 37.29/37.39 with precondition: [C=0,D=0,J3=0,L3=0,M2=B,K2=E,L2=F,N2=G,Q2=J,R2=K,F3=O2,G3=P2,K2=C3,L2=D3,N2=E3,Q2=H3,R2=I3,K2=Q4,L2=R4,N2=S4,R2=V4,0>=F1,0>=Q2,F3>=1] 37.29/37.39 37.29/37.39 37.29/37.39 #### Cost of chains of f547(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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6): 37.29/37.39 * Chain [103]: 1*s(28)+0 37.29/37.39 with precondition: [C=0,D=0,J3=0,L3=0,C3=E,D3=F,E3=G,H3=J,I3=K,C3=Q4,D3=R4,E3=S4,I3=V4,0>=F1,0>=F3,0>=H3] 37.29/37.39 37.29/37.39 * Chain [102]: 1*s(29)+0 37.29/37.39 with precondition: [C=0,D=0,J3=0,L3=0,C3=E,D3=F,E3=G,H3=J,I3=K,C3=Q4,D3=R4,E3=S4,I3=V4,0>=F1,0>=H3,F3>=1] 37.29/37.39 37.29/37.39 * Chain [101]: 1*s(30)+0 37.29/37.39 with precondition: [C=0,D=0,J3=0,L3=0,C3=E,D3=F,E3=G,H3=J,I3=K,C3=Q4,D3=R4,E3=S4,I3=V4,0>=H3,F1>=1] 37.29/37.39 37.29/37.39 * Chain [100]...: 1*s(31)+0 37.29/37.39 with precondition: [C=0,D=0,J3=0,L3=0,C3=E,D3=F,E3=G,H3=J,I3=K,C3=Q4,D3=R4,E3=S4,I3=V4,0>=F1,0>=F3,0>=H3] 37.29/37.39 37.29/37.39 * Chain [99]...: 1*s(32)+0 37.29/37.39 with precondition: [C=0,D=0,J3=0,L3=0,C3=E,D3=F,E3=G,H3=J,I3=K,C3=Q4,D3=R4,E3=S4,I3=V4,0>=F1,0>=H3,F3>=1] 37.29/37.39 37.29/37.39 * Chain [98]...: 1*s(33)+0 37.29/37.39 with precondition: [C=0,D=0,J3=0,L3=0,C3=E,D3=F,E3=G,H3=J,I3=K,C3=Q4,D3=R4,E3=S4,I3=V4,0>=H3,F1>=1] 37.29/37.39 37.29/37.39 37.29/37.39 #### Cost of chains of f514_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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,G6,H6): 37.29/37.39 * Chain [113]...: 1*s(34)+0 37.29/37.39 with precondition: [A=6,D=0,E=0,K3=0,M3=0,D3=F,E3=G,F3=H,I3=K,J3=L,D3=R4,E3=S4,F3=T4,J3=W4,0>=I3,M>=1] 37.29/37.39 37.29/37.39 * Chain [112]...: 1*s(35)+0 37.29/37.39 with precondition: [A=7,D=0,E=0,K3=0,M3=0,D3=F,E3=G,F3=H,I3=K,J3=L,D3=R4,E3=S4,F3=T4,J3=W4,0>=G1,0>=G3,0>=I3] 37.29/37.39 37.29/37.39 * Chain [111]...: 1*s(36)+0 37.29/37.39 with precondition: [A=7,D=0,E=0,K3=0,M3=0,D3=F,E3=G,F3=H,I3=K,J3=L,D3=R4,E3=S4,F3=T4,J3=W4,0>=G1,0>=I3,G3>=1] 37.29/37.39 37.29/37.39 * Chain [110]...: 1*s(37)+0 37.29/37.39 with precondition: [A=7,D=0,E=0,K3=0,M3=0,D3=F,E3=G,F3=H,I3=K,J3=L,D3=R4,E3=S4,F3=T4,J3=W4,0>=I3,G1>=1] 37.29/37.39 37.29/37.39 * Chain [109]: 0 37.29/37.39 with precondition: [A=3,D=0,E=0,K3=0,M3=0,D3=F,E3=G,F3=H,I3=K,J3=L,D3=R4,E3=S4,F3=T4,J3=W4,0>=I3] 37.29/37.39 37.29/37.39 * Chain [108]: 0 37.29/37.39 with precondition: [A=6,D=0,E=0,K3=0,M3=0,D3=F,E3=G,F3=H,I3=K,J3=L,D3=R4,E3=S4,F3=T4,J3=W4,0>=M,0>=I3] 37.29/37.39 37.29/37.39 * Chain [107]: 1*s(38)+0 37.29/37.39 with precondition: [A=6,D=0,E=0,K3=0,M3=0,D3=F,E3=G,F3=H,I3=K,J3=L,D3=R4,E3=S4,F3=T4,J3=W4,0>=I3,M>=1] 37.29/37.39 37.29/37.39 * Chain [106]: 1*s(39)+0 37.29/37.39 with precondition: [A=7,D=0,E=0,K3=0,M3=0,D3=F,E3=G,F3=H,I3=K,J3=L,D3=R4,E3=S4,F3=T4,J3=W4,0>=G1,0>=G3,0>=I3] 37.29/37.39 37.29/37.39 * Chain [105]: 1*s(40)+0 37.29/37.39 with precondition: [A=7,D=0,E=0,K3=0,M3=0,D3=F,E3=G,F3=H,I3=K,J3=L,D3=R4,E3=S4,F3=T4,J3=W4,0>=G1,0>=I3,G3>=1] 37.29/37.39 37.29/37.39 * Chain [104]: 1*s(41)+0 37.29/37.39 with precondition: [A=7,D=0,E=0,K3=0,M3=0,D3=F,E3=G,F3=H,I3=K,J3=L,D3=R4,E3=S4,F3=T4,J3=W4,0>=I3,G1>=1] 37.29/37.39 37.29/37.39 37.29/37.39 #### Cost of chains of f460(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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6): 37.29/37.39 * Chain [116]: 1*aux(9)+0 37.29/37.39 with precondition: [C=0,D=0,J3=0,K3=0,L3=0,B=A,B2=E,C2=F,E2=G,F3=H,G3=I,I2=K,J=H2,B2=C3,C2=D3,E2=E3,J=H3,I2=I3,B2=Q4,C2=R4,E2=S4,I2=V4,0>=J,1>=F1,0>=G3,L>=1,J2>=0,F1>=J2] 37.29/37.39 37.29/37.39 * Chain [115]: 0 37.29/37.39 with precondition: [C=0,D=0,J3=0,K3=0,L3=0,B=A,B2=E,C2=F,E2=G,F3=H,G3=I,I2=K,J=H2,B2=C3,C2=D3,E2=E3,J=H3,I2=I3,B2=Q4,C2=R4,E2=S4,I2=V4,0>=J,1>=F1,L>=1,J2>=0,F1>=J2] 37.29/37.39 37.29/37.39 * Chain [114]...: 1*aux(10)+0 37.29/37.39 with precondition: [C=0,D=0,J3=0,K3=0,L3=0,B=A,B2=E,C2=F,E2=G,F3=H,G3=I,I2=K,J=H2,B2=C3,C2=D3,E2=E3,J=H3,I2=I3,B2=Q4,C2=R4,E2=S4,I2=V4,0>=J,1>=F1,0>=G3,L>=1,J2>=0,F1>=J2] 37.29/37.39 37.29/37.39 37.29/37.39 #### Cost of chains of f447(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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6): 37.29/37.39 * Chain [120]...: 1*s(74)+0 37.29/37.39 with precondition: [C=0,D=0,B2=E,C2=F,E2=G,H2=J,I2=K,B2=Q4,C2=R4,E2=S4,I2=V4,0>=I,1>=F1,0>=H2,L>=1,J2>=0,F1>=J2] 37.29/37.39 37.29/37.39 * Chain [119]: 1*s(75)+0 37.29/37.39 with precondition: [C=0,D=0,B2=E,C2=F,E2=G,H2=J,I2=K,B2=Q4,C2=R4,E2=S4,I2=V4,0>=I,1>=F1,0>=H2,L>=1,J2>=0,F1>=J2] 37.29/37.39 37.29/37.39 * Chain [118]: 0 37.29/37.39 with precondition: [C=0,D=0,B2=E,C2=F,E2=G,H2=J,I2=K,B2=Q4,C2=R4,E2=S4,I2=V4,0>=L,1>=F1,0>=H2,J2>=0,F1>=J2] 37.29/37.39 37.29/37.39 * Chain [117]: 0 37.29/37.39 with precondition: [C=0,D=0,B2=E,C2=F,E2=G,H2=J,I2=K,B2=Q4,C2=R4,E2=S4,I2=V4,1>=F1,0>=H2,L>=1,J2>=0,F1>=J2] 37.29/37.39 37.29/37.39 37.29/37.39 #### Cost of chains of f430_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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,G6,H6): 37.29/37.39 * Chain [125]...: 1*s(76)+0 37.29/37.39 with precondition: [A=5,D=0,E=0,G1=0,K2=0,T2=0,C2=F,D2=G,F2=H,I2=K,J2=L,C2=L2,D2=M2,F2=O2,U4=P2,V4=Q2,I2=R2,J2=S2,C2=R4,D2=S4,F2=T4,J2=W4,0>=J,0>=I2,M>=1] 37.29/37.39 37.29/37.39 * Chain [124]: 0 37.29/37.39 with precondition: [A=3,D=0,E=0,G1=0,K2=0,T2=0,C2=F,D2=G,F2=H,I2=K,J2=L,C2=L2,D2=M2,F2=O2,U4=P2,V4=Q2,I2=R2,J2=S2,C2=R4,D2=S4,F2=T4,J2=W4,0>=I2] 37.29/37.39 37.29/37.39 * Chain [123]: 1*s(77)+0 37.29/37.39 with precondition: [A=5,D=0,E=0,G1=0,K2=0,T2=0,C2=F,D2=G,F2=H,I2=K,J2=L,C2=L2,D2=M2,F2=O2,U4=P2,V4=Q2,I2=R2,J2=S2,C2=R4,D2=S4,F2=T4,J2=W4,0>=J,0>=I2,M>=1] 37.29/37.39 37.29/37.39 * Chain [122]: 0 37.29/37.39 with precondition: [A=5,D=0,E=0,G1=0,K2=0,T2=0,C2=F,D2=G,F2=H,I2=K,J2=L,C2=L2,D2=M2,F2=O2,U4=P2,V4=Q2,I2=R2,J2=S2,C2=R4,D2=S4,F2=T4,J2=W4,0>=M,0>=I2] 37.29/37.39 37.29/37.39 * Chain [121]: 0 37.29/37.39 with precondition: [A=5,D=0,E=0,G1=0,K2=0,T2=0,C2=F,D2=G,F2=H,I2=K,J2=L,C2=L2,D2=M2,F2=O2,U4=P2,V4=Q2,I2=R2,J2=S2,C2=R4,D2=S4,F2=T4,J2=W4,0>=I2,M>=1] 37.29/37.39 37.29/37.39 37.29/37.39 #### Cost of chains of f421(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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6): 37.29/37.39 * Chain [133]: 0 37.29/37.39 with precondition: [C=0,D=0,F1=0,J2=0,S2=0,B2=E,C2=F,E2=G,H2=J,I2=K,B2=K2,C2=L2,W4=M2,E2=N2,T4=O2,U4=P2,H2=Q2,I2=R2,H2=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=H2] 37.29/37.39 37.29/37.39 * Chain [132]: 1*aux(11)+0 37.29/37.39 with precondition: [C=0,D=0,F1=0,J2=0,S2=0,B2=E,C2=F,E2=G,H2=J,I2=K,B2=K2,C2=L2,W4=M2,E2=N2,T4=O2,U4=P2,H2=Q2,I2=R2,H2=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=H2,0>=T5] 37.29/37.39 37.29/37.39 * Chain [131]: 0 37.29/37.39 with precondition: [C=0,D=0,F1=0,J2=0,S2=0,B2=E,C2=F,E2=G,H2=J,I2=K,B2=K2,C2=L2,W4=M2,E2=N2,T4=O2,U4=P2,H2=Q2,I2=R2,H2=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=H2,T5>=1] 37.29/37.39 37.29/37.39 * Chain [130]: 1*s(80)+0 37.29/37.39 with precondition: [C=0,D=0,F1=1,J2=0,S2=1,B2=E,C2=F,E2=G,H2=J,I2=K,B2=K2,C2=L2,W4=M2,E2=N2,T4=O2,U4=P2,H2=Q2,I2=R2,H2=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=I,0>=H2] 37.29/37.39 37.29/37.39 * Chain [129]: 0 37.29/37.39 with precondition: [C=0,D=0,F1=1,J2=0,S2=1,B2=E,C2=F,E2=G,H2=J,I2=K,B2=K2,C2=L2,W4=M2,E2=N2,T4=O2,U4=P2,H2=Q2,I2=R2,H2=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=H2] 37.29/37.39 37.29/37.39 * Chain [128]...: 1*aux(12)+0 37.29/37.39 with precondition: [C=0,D=0,F1=0,J2=0,S2=0,B2=E,C2=F,E2=G,H2=J,I2=K,B2=K2,C2=L2,W4=M2,E2=N2,T4=O2,U4=P2,H2=Q2,I2=R2,H2=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=I,0>=H2,0>=T5] 37.29/37.39 37.29/37.39 * Chain [127]...: 1*aux(13)+0 37.29/37.39 with precondition: [C=0,D=0,F1=0,J2=0,S2=0,B2=E,C2=F,E2=G,H2=J,I2=K,B2=K2,C2=L2,W4=M2,E2=N2,T4=O2,U4=P2,H2=Q2,I2=R2,H2=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=H2,0>=T5] 37.29/37.39 37.29/37.39 * Chain [126]...: 1*s(88)+0 37.29/37.39 with precondition: [C=0,D=0,F1=1,J2=0,S2=1,B2=E,C2=F,E2=G,H2=J,I2=K,B2=K2,C2=L2,W4=M2,E2=N2,T4=O2,U4=P2,H2=Q2,I2=R2,H2=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=I,0>=H2] 37.29/37.39 37.29/37.39 37.29/37.39 #### Cost of chains of f414(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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6): 37.29/37.39 * Chain [141]: 1*s(89)+0 37.29/37.39 with precondition: [C=0,D=0,F1=0,J2=0,B2=E,C2=F,E2=G,I2=K,J=H2,B2=K2,C2=L2,W4=M2,E2=N2,T4=O2,U4=P2,J=Q2,I2=R2,J=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=I,0>=J,T4>=1] 37.29/37.39 37.29/37.39 * Chain [140]: 0 37.29/37.39 with precondition: [C=0,D=0,F1=0,J2=0,B2=E,C2=F,E2=G,I2=K,J=H2,B2=K2,C2=L2,W4=M2,E2=N2,T4=O2,U4=P2,J=Q2,I2=R2,J=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=J,0>=T4] 37.29/37.39 37.29/37.39 * Chain [139]: 1*s(90)+0 37.29/37.39 with precondition: [C=0,D=0,F1=0,J2=0,B2=E,C2=F,E2=G,I2=K,J=H2,B2=K2,C2=L2,W4=M2,E2=N2,T4=O2,U4=P2,J=Q2,I2=R2,J=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=J,0>=T4,0>=T5] 37.29/37.39 37.29/37.39 * Chain [138]: 0 37.29/37.39 with precondition: [C=0,D=0,F1=0,J2=0,B2=E,C2=F,E2=G,I2=K,J=H2,B2=K2,C2=L2,W4=M2,E2=N2,T4=O2,U4=P2,J=Q2,I2=R2,J=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=J,0>=T4,T5>=1] 37.29/37.39 37.29/37.39 * Chain [137]: 0 37.29/37.39 with precondition: [C=0,D=0,F1=0,J2=0,B2=E,C2=F,E2=G,I2=K,J=H2,B2=K2,C2=L2,W4=M2,E2=N2,T4=O2,U4=P2,J=Q2,I2=R2,J=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=J,T4>=1] 37.29/37.39 37.29/37.39 * Chain [136]...: 1*s(91)+0 37.29/37.39 with precondition: [C=0,D=0,F1=0,J2=0,B2=E,C2=F,E2=G,I2=K,J=H2,B2=K2,C2=L2,W4=M2,E2=N2,T4=O2,U4=P2,J=Q2,I2=R2,J=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=I,0>=J,0>=T4,0>=T5] 37.29/37.39 37.29/37.39 * Chain [135]...: 1*s(92)+0 37.29/37.39 with precondition: [C=0,D=0,F1=0,J2=0,B2=E,C2=F,E2=G,I2=K,J=H2,B2=K2,C2=L2,W4=M2,E2=N2,T4=O2,U4=P2,J=Q2,I2=R2,J=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=I,0>=J,T4>=1] 37.29/37.39 37.29/37.39 * Chain [134]...: 1*s(93)+0 37.29/37.39 with precondition: [C=0,D=0,F1=0,J2=0,B2=E,C2=F,E2=G,I2=K,J=H2,B2=K2,C2=L2,W4=M2,E2=N2,T4=O2,U4=P2,J=Q2,I2=R2,J=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=J,0>=T4,0>=T5] 37.29/37.39 37.29/37.39 37.29/37.39 #### Cost of chains of f406(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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6): 37.29/37.39 * Chain [152]: 1*s(94)+0 37.29/37.39 with precondition: [C=0,D=0,F1=0,J2=0,B2=E,C2=F,E2=G,H2=J,I2=K,H2=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=I,0>=H2,T4>=1] 37.29/37.39 37.29/37.39 * Chain [151]: 0 37.29/37.39 with precondition: [C=0,D=0,F1=0,J2=0,B2=E,C2=F,E2=G,H2=J,I2=K,H2=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=H2,0>=T4] 37.29/37.39 37.29/37.39 * Chain [150]: 1*s(95)+0 37.29/37.39 with precondition: [C=0,D=0,F1=0,J2=0,B2=E,C2=F,E2=G,H2=J,I2=K,H2=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=H2,0>=T4,0>=T5] 37.29/37.39 37.29/37.39 * Chain [149]: 0 37.29/37.39 with precondition: [C=0,D=0,F1=0,J2=0,B2=E,C2=F,E2=G,H2=J,I2=K,H2=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=H2,0>=T4,T5>=1] 37.29/37.39 37.29/37.39 * Chain [148]: 0 37.29/37.39 with precondition: [C=0,D=0,F1=0,J2=0,B2=E,C2=F,E2=G,H2=J,I2=K,H2=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=H2,T4>=1] 37.29/37.39 37.29/37.39 * Chain [147]: 1*s(96)+0 37.29/37.39 with precondition: [C=0,D=0,F1=1,J2=1,B2=E,C2=F,E2=G,H2=J,I2=K,H2=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=I,0>=H2] 37.29/37.39 37.29/37.39 * Chain [146]: 0 37.29/37.39 with precondition: [C=0,D=0,F1=1,J2=1,B2=E,C2=F,E2=G,H2=J,I2=K,H2=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=H2] 37.29/37.39 37.29/37.39 * Chain [145]...: 1*s(97)+0 37.29/37.39 with precondition: [C=0,D=0,F1=0,J2=0,B2=E,C2=F,E2=G,H2=J,I2=K,H2=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=I,0>=H2,0>=T4,0>=T5] 37.29/37.39 37.29/37.39 * Chain [144]...: 1*s(98)+0 37.29/37.39 with precondition: [C=0,D=0,F1=0,J2=0,B2=E,C2=F,E2=G,H2=J,I2=K,H2=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=I,0>=H2,T4>=1] 37.29/37.39 37.29/37.39 * Chain [143]...: 1*s(99)+0 37.29/37.39 with precondition: [C=0,D=0,F1=0,J2=0,B2=E,C2=F,E2=G,H2=J,I2=K,H2=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=H2,0>=T4,0>=T5] 37.29/37.39 37.29/37.39 * Chain [142]...: 1*s(100)+0 37.29/37.39 with precondition: [C=0,D=0,F1=1,J2=1,B2=E,C2=F,E2=G,H2=J,I2=K,H2=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=I,0>=H2] 37.29/37.39 37.29/37.39 37.29/37.39 #### Cost of chains of f399(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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6): 37.29/37.39 * Chain [163]: 1*s(101)+0 37.29/37.39 with precondition: [C=0,D=0,B2=E,C2=F,E2=G,I2=K,J=H2,J=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=I,0>=J,0>=F2,T4>=1] 37.29/37.39 37.29/37.39 * Chain [162]: 1*s(102)+0 37.29/37.39 with precondition: [C=0,D=0,B2=E,C2=F,E2=G,I2=K,J=H2,J=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=I,0>=J,F2>=1] 37.29/37.39 37.29/37.39 * Chain [161]: 0 37.29/37.39 with precondition: [C=0,D=0,B2=E,C2=F,E2=G,I2=K,J=H2,J=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=J,0>=F2,0>=T4] 37.29/37.39 37.29/37.39 * Chain [160]: 1*s(103)+0 37.29/37.39 with precondition: [C=0,D=0,B2=E,C2=F,E2=G,I2=K,J=H2,J=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=J,0>=F2,0>=T4,0>=T5] 37.29/37.39 37.29/37.39 * Chain [159]: 0 37.29/37.39 with precondition: [C=0,D=0,B2=E,C2=F,E2=G,I2=K,J=H2,J=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=J,0>=F2,0>=T4,T5>=1] 37.29/37.39 37.29/37.39 * Chain [158]: 0 37.29/37.39 with precondition: [C=0,D=0,B2=E,C2=F,E2=G,I2=K,J=H2,J=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=J,0>=F2,T4>=1] 37.29/37.39 37.29/37.39 * Chain [157]: 0 37.29/37.39 with precondition: [C=0,D=0,B2=E,C2=F,E2=G,I2=K,J=H2,J=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=J,F2>=1] 37.29/37.39 37.29/37.39 * Chain [156]...: 1*s(104)+0 37.29/37.39 with precondition: [C=0,D=0,B2=E,C2=F,E2=G,I2=K,J=H2,J=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=I,0>=J,0>=F2,0>=T4,0>=T5] 37.29/37.39 37.29/37.39 * Chain [155]...: 1*s(105)+0 37.29/37.39 with precondition: [C=0,D=0,B2=E,C2=F,E2=G,I2=K,J=H2,J=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=I,0>=J,0>=F2,T4>=1] 37.29/37.39 37.29/37.39 * Chain [154]...: 1*s(106)+0 37.29/37.39 with precondition: [C=0,D=0,B2=E,C2=F,E2=G,I2=K,J=H2,J=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=I,0>=J,F2>=1] 37.29/37.39 37.29/37.39 * Chain [153]...: 1*s(107)+0 37.29/37.39 with precondition: [C=0,D=0,B2=E,C2=F,E2=G,I2=K,J=H2,J=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=J,0>=F2,0>=T4,0>=T5] 37.29/37.39 37.29/37.39 37.29/37.39 #### Cost of chains of f304_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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,G6,H6): 37.29/37.39 * Chain [175]: 1*s(108)+0 37.29/37.39 with precondition: [A=2,D=0,E=0,C2=F,D2=G,F2=H,J2=L,K=I2,K=Q4,C2=R4,D2=S4,F2=T4,J2=W4,0>=J,0>=K,0>=G2,U4>=1] 37.29/37.39 37.29/37.39 * Chain [174]: 1*s(109)+0 37.29/37.39 with precondition: [A=2,D=0,E=0,C2=F,D2=G,F2=H,J2=L,K=I2,K=Q4,C2=R4,D2=S4,F2=T4,J2=W4,0>=J,0>=K,G2>=1] 37.29/37.39 37.29/37.39 * Chain [173]: 0 37.29/37.39 with precondition: [A=2,D=0,E=0,C2=F,D2=G,F2=H,J2=L,K=I2,K=Q4,C2=R4,D2=S4,F2=T4,J2=W4,0>=K,0>=G2,0>=U4] 37.29/37.39 37.29/37.39 * Chain [172]: 1*s(110)+0 37.29/37.39 with precondition: [A=2,D=0,E=0,C2=F,D2=G,F2=H,J2=L,K=I2,K=Q4,C2=R4,D2=S4,F2=T4,J2=W4,0>=K,0>=G2,0>=U4,0>=U5] 37.29/37.39 37.29/37.39 * Chain [171]: 0 37.29/37.39 with precondition: [A=2,D=0,E=0,C2=F,D2=G,F2=H,J2=L,K=I2,K=Q4,C2=R4,D2=S4,F2=T4,J2=W4,0>=K,0>=G2,0>=U4,U5>=1] 37.29/37.39 37.29/37.39 * Chain [170]: 0 37.29/37.39 with precondition: [A=2,D=0,E=0,C2=F,D2=G,F2=H,J2=L,K=I2,K=Q4,C2=R4,D2=S4,F2=T4,J2=W4,0>=K,0>=G2,U4>=1] 37.29/37.39 37.29/37.39 * Chain [169]: 0 37.29/37.39 with precondition: [A=2,D=0,E=0,C2=F,D2=G,F2=H,J2=L,K=I2,K=Q4,C2=R4,D2=S4,F2=T4,J2=W4,0>=K,G2>=1] 37.29/37.39 37.29/37.39 * Chain [168]: 0 37.29/37.39 with precondition: [A=3,D=0,E=0,C2=F,D2=G,F2=H,J2=L,K=I2,K=Q4,C2=R4,D2=S4,F2=T4,J2=W4,0>=K] 37.29/37.39 37.29/37.39 * Chain [167]...: 1*s(111)+0 37.29/37.39 with precondition: [A=2,D=0,E=0,C2=F,D2=G,F2=H,J2=L,K=I2,K=Q4,C2=R4,D2=S4,F2=T4,J2=W4,0>=J,0>=K,0>=G2,0>=U4,0>=U5] 37.29/37.39 37.29/37.39 * Chain [166]...: 1*s(112)+0 37.29/37.39 with precondition: [A=2,D=0,E=0,C2=F,D2=G,F2=H,J2=L,K=I2,K=Q4,C2=R4,D2=S4,F2=T4,J2=W4,0>=J,0>=K,0>=G2,U4>=1] 37.29/37.39 37.29/37.39 * Chain [165]...: 1*s(113)+0 37.29/37.39 with precondition: [A=2,D=0,E=0,C2=F,D2=G,F2=H,J2=L,K=I2,K=Q4,C2=R4,D2=S4,F2=T4,J2=W4,0>=J,0>=K,G2>=1] 37.29/37.39 37.29/37.39 * Chain [164]...: 1*s(114)+0 37.29/37.39 with precondition: [A=2,D=0,E=0,C2=F,D2=G,F2=H,J2=L,K=I2,K=Q4,C2=R4,D2=S4,F2=T4,J2=W4,0>=K,0>=G2,0>=U4,0>=U5] 37.29/37.39 37.29/37.39 37.29/37.39 #### Cost of chains of f35(A,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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,E6,F6,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7,B7,C7,D7,E7,F7,G7,H7,I7,J7,K7,L7,M7,N7,O7,P7,Q7,R7,S7,T7,U7,V7,W7): 37.29/37.39 * Chain [[176]]...: 1*it(176)+0 37.29/37.39 with precondition: [K=E1,J=D1,I=C1,Q=B1,G=A1,F=Y,E=X,K=T,J=S,I=R,G=P,F=N,E=M,A=2,H>=1,H+1=Q,J>=1,O=2,U=0,V=0,W=0,Z=2] 37.29/37.39 37.29/37.39 * Chain [[176],177]: 1*it(176)+0 37.29/37.39 with precondition: [A=2,O=2,U=0,V=0,W=0,Z=2,M6=3,B1=H+1,E=M,F=N,G=P,B1=Q,I=R,J=S,K=T,E=X,F=Y,G=A1,I=C1,J=D1,K=E1,J>=1,B1>=2] 37.29/37.39 37.29/37.39 * Chain [177]: 0 37.29/37.39 with precondition: [A=2,O=2,U=0,V=0,W=0,Z=2,M6=3,Q=H+1,E=M,F=N,G=P,I=R,J=S,K=T,E=X,F=Y,G=A1,Q=B1,I=C1,J=D1,K=E1,J>=1,Q>=2] 37.29/37.39 37.29/37.39 37.29/37.39 #### Cost of chains of f35_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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,G6,H6): 37.29/37.39 * Chain [179]: 0 37.29/37.39 with precondition: [A=3,D=0,E=0,K>=1] 37.29/37.39 37.29/37.39 * Chain [178]: 0 37.29/37.39 with precondition: [A=4,D=0,E=0,K>=1] 37.29/37.39 37.29/37.39 37.29/37.39 #### Cost of chains of f14(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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6): 37.29/37.39 * Chain [184]: 1*aux(14)+0 37.29/37.39 with precondition: [A=0,C=0,D=0,H=0,0>=I,0>=J] 37.29/37.39 37.29/37.39 * Chain [183]: 0 37.29/37.39 with precondition: [A=0,C=0,D=0,H=0,0>=J] 37.29/37.39 37.29/37.39 * Chain [182]: 1*aux(15)+0 37.29/37.39 with precondition: [A=0,C=0,D=0,H=0,J>=1] 37.29/37.39 37.29/37.39 * Chain [181]...: 1*aux(16)+0 37.29/37.39 with precondition: [A=0,C=0,D=0,H=0,0>=I,0>=J] 37.29/37.39 37.29/37.39 * Chain [180]...: 1*aux(17)+0 37.29/37.39 with precondition: [A=0,C=0,D=0,H=0,J>=1] 37.29/37.39 37.29/37.39 37.29/37.39 #### Cost of chains of f3(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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6): 37.29/37.39 * Chain [186]: 1*aux(18)+0 37.29/37.39 with precondition: [] 37.29/37.39 37.29/37.39 * Chain [185]...: 1*aux(19)+0 37.29/37.39 with precondition: [] 37.29/37.39 37.29/37.39 37.29/37.39 Closed-form bounds of f3(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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6): 37.29/37.39 ------------------------------------- 37.29/37.39 * Chain [186] with precondition: [] 37.29/37.39 - Upper bound: inf 37.29/37.39 - Complexity: infinity 37.29/37.39 * Chain [185]... with precondition: [] 37.29/37.39 - Upper bound: inf 37.29/37.39 - Complexity: infinity 37.29/37.39 37.29/37.39 ### Maximum cost of f3(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,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6): inf 37.29/37.39 Asymptotic class: infinity 37.29/37.39 * Total analysis performed in 33310 ms. 37.29/37.39 37.38/37.49 EOF