7.73/7.81 MAYBE 7.73/7.81 7.73/7.81 Preprocessing Cost Relations 7.73/7.81 ===================================== 7.73/7.81 7.73/7.81 #### Computed strongly connected components 7.73/7.81 0. recursive : [f1/34] 7.73/7.81 1. recursive : [f16/47] 7.73/7.81 2. non_recursive : [exit_location/1] 7.73/7.81 3. non_recursive : [f20/76] 7.73/7.81 4. non_recursive : [f16_loop_cont/77] 7.73/7.81 5. recursive : [f18/48,f27/48] 7.73/7.81 6. recursive : [f11/25] 7.73/7.81 7. non_recursive : [f11_loop_cont/77] 7.73/7.81 8. recursive : [f13/24] 7.73/7.81 9. non_recursive : [f13_loop_cont/77] 7.73/7.81 10. non_recursive : [f18_loop_cont/77] 7.73/7.81 11. non_recursive : [f1_loop_cont/77] 7.73/7.81 12. non_recursive : [f19/76] 7.73/7.81 7.73/7.81 #### Obtained direct recursion through partial evaluation 7.73/7.81 0. SCC is partially evaluated into f1/34 7.73/7.81 1. SCC is partially evaluated into f16/47 7.73/7.81 2. SCC is completely evaluated into other SCCs 7.73/7.81 3. SCC is completely evaluated into other SCCs 7.73/7.81 4. SCC is partially evaluated into f16_loop_cont/77 7.73/7.81 5. SCC is partially evaluated into f18/48 7.73/7.81 6. SCC is partially evaluated into f11/25 7.73/7.81 7. SCC is partially evaluated into f11_loop_cont/77 7.73/7.81 8. SCC is partially evaluated into f13/24 7.73/7.81 9. SCC is partially evaluated into f13_loop_cont/77 7.73/7.81 10. SCC is partially evaluated into f18_loop_cont/77 7.73/7.81 11. SCC is partially evaluated into f1_loop_cont/77 7.73/7.81 12. SCC is partially evaluated into f19/76 7.73/7.81 7.73/7.81 Control-Flow Refinement of Cost Relations 7.73/7.81 ===================================== 7.73/7.81 7.73/7.81 ### Specialization of cost equations f1/34 7.73/7.81 * CE 6 is refined into CE [33] 7.73/7.81 * CE 5 is refined into CE [34] 7.73/7.81 * CE 4 is refined into CE [35] 7.73/7.81 7.73/7.81 7.73/7.81 ### Cost equations --> "Loop" of f1/34 7.73/7.81 * CEs [35] --> Loop 32 7.73/7.81 * CEs [33] --> Loop 33 7.73/7.81 * CEs [34] --> Loop 34 7.73/7.81 7.73/7.81 ### Ranking functions of CR f1(A,B,C,D,H,Z,C1,D1,E1,F1,P1,Q1,R1,Y1,Z1,A2,B2,C2,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4) 7.73/7.81 * RF of phase [32]: [A-B,-B+C1] 7.73/7.81 7.73/7.81 #### Partial ranking functions of CR f1(A,B,C,D,H,Z,C1,D1,E1,F1,P1,Q1,R1,Y1,Z1,A2,B2,C2,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4) 7.73/7.81 * Partial RF of phase [32]: 7.73/7.81 - RF of loop [32:1]: 7.73/7.81 A-B 7.73/7.81 -B+C1 7.73/7.81 7.73/7.81 7.73/7.81 ### Specialization of cost equations f16/47 7.73/7.81 * CE 12 is refined into CE [36] 7.73/7.81 * CE 10 is refined into CE [37] 7.73/7.81 * CE 11 is refined into CE [38] 7.73/7.81 * CE 9 is refined into CE [39] 7.73/7.81 7.73/7.81 7.73/7.81 ### Cost equations --> "Loop" of f16/47 7.73/7.81 * CEs [39] --> Loop 35 7.73/7.81 * CEs [36] --> Loop 36 7.73/7.81 * CEs [37] --> Loop 37 7.73/7.81 * CEs [38] --> Loop 38 7.73/7.81 7.73/7.81 ### Ranking functions of CR f16(A,C,Z,H1,I1,L1,M1,N1,O1,P1,Q1,R1,D2,E2,F2,P2,Q2,R2,S2,T2,U2,V2,W2,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4) 7.73/7.81 7.73/7.81 #### Partial ranking functions of CR f16(A,C,Z,H1,I1,L1,M1,N1,O1,P1,Q1,R1,D2,E2,F2,P2,Q2,R2,S2,T2,U2,V2,W2,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4) 7.73/7.81 7.73/7.81 7.73/7.81 ### Specialization of cost equations f16_loop_cont/77 7.73/7.81 * CE 14 is refined into CE [40] 7.73/7.81 * CE 13 is refined into CE [41] 7.73/7.81 7.73/7.81 7.73/7.81 ### Cost equations --> "Loop" of f16_loop_cont/77 7.73/7.81 * CEs [40] --> Loop 39 7.73/7.81 * CEs [41] --> Loop 40 7.73/7.81 7.73/7.81 ### Ranking functions of CR f16_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) 7.73/7.81 7.73/7.81 #### Partial ranking functions of CR f16_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) 7.73/7.81 7.73/7.81 7.73/7.81 ### Specialization of cost equations f18/48 7.73/7.81 * CE 19 is refined into CE [42] 7.73/7.81 * CE 15 is refined into CE [43] 7.73/7.81 * CE 18 is refined into CE [44] 7.73/7.81 * CE 16 is refined into CE [45] 7.73/7.81 * CE 17 is refined into CE [46] 7.73/7.81 7.73/7.81 7.73/7.81 ### Cost equations --> "Loop" of f18/48 7.73/7.81 * CEs [45] --> Loop 41 7.73/7.81 * CEs [46] --> Loop 42 7.73/7.81 * CEs [42] --> Loop 43 7.73/7.81 * CEs [43] --> Loop 44 7.73/7.81 * CEs [44] --> Loop 45 7.73/7.81 7.73/7.81 ### Ranking functions of CR f18(A,C,D,H,T,U,V,W,X,Y,Z,A1,B1,G1,H1,I1,L1,M1,N1,O1,Q1,T1,G2,H2,I2,J2,K2,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4) 7.73/7.81 7.73/7.81 #### Partial ranking functions of CR f18(A,C,D,H,T,U,V,W,X,Y,Z,A1,B1,G1,H1,I1,L1,M1,N1,O1,Q1,T1,G2,H2,I2,J2,K2,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4) 7.73/7.81 * Partial RF of phase [41,42]: 7.73/7.81 - RF of loop [42:1]: 7.73/7.81 C depends on loops [41:1] 7.73/7.81 C-V+1 depends on loops [41:1] 7.73/7.81 H+1 depends on loops [41:1] 7.73/7.81 7.73/7.81 7.73/7.81 ### Specialization of cost equations f11/25 7.73/7.81 * CE 25 is refined into CE [47] 7.73/7.81 * CE 24 is refined into CE [48] 7.73/7.81 * CE 23 is refined into CE [49] 7.73/7.81 7.73/7.81 7.73/7.81 ### Cost equations --> "Loop" of f11/25 7.73/7.81 * CEs [49] --> Loop 46 7.73/7.81 * CEs [47] --> Loop 47 7.73/7.81 * CEs [48] --> Loop 48 7.73/7.81 7.73/7.81 ### Ranking functions of CR f11(A,C,H1,I1,J1,L1,M1,N1,O1,P1,Q1,R1,S1,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3) 7.73/7.81 * RF of phase [46]: [J1+1] 7.73/7.81 7.73/7.81 #### Partial ranking functions of CR f11(A,C,H1,I1,J1,L1,M1,N1,O1,P1,Q1,R1,S1,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3) 7.73/7.81 * Partial RF of phase [46]: 7.73/7.81 - RF of loop [46:1]: 7.73/7.81 J1+1 7.73/7.81 7.73/7.81 7.73/7.81 ### Specialization of cost equations f11_loop_cont/77 7.73/7.81 * CE 27 is refined into CE [50] 7.73/7.81 * CE 26 is refined into CE [51] 7.73/7.81 7.73/7.81 7.73/7.81 ### Cost equations --> "Loop" of f11_loop_cont/77 7.73/7.81 * CEs [50] --> Loop 49 7.73/7.81 * CEs [51] --> Loop 50 7.73/7.81 7.73/7.81 ### Ranking functions of CR f11_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) 7.73/7.81 7.73/7.81 #### Partial ranking functions of CR f11_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) 7.73/7.81 7.73/7.81 7.73/7.81 ### Specialization of cost equations f13/24 7.73/7.81 * CE 30 is refined into CE [52] 7.73/7.81 * CE 29 is refined into CE [53] 7.73/7.81 * CE 28 is refined into CE [54] 7.73/7.81 7.73/7.81 7.73/7.81 ### Cost equations --> "Loop" of f13/24 7.73/7.81 * CEs [54] --> Loop 51 7.73/7.81 * CEs [52] --> Loop 52 7.73/7.81 * CEs [53] --> Loop 53 7.73/7.81 7.73/7.81 ### Ranking functions of CR f13(A,C,H1,I1,L1,M1,N1,O1,P1,Q1,R1,U1,W1,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3) 7.73/7.81 * RF of phase [51]: [U1+1] 7.73/7.81 7.73/7.81 #### Partial ranking functions of CR f13(A,C,H1,I1,L1,M1,N1,O1,P1,Q1,R1,U1,W1,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3) 7.73/7.81 * Partial RF of phase [51]: 7.73/7.81 - RF of loop [51:1]: 7.73/7.81 U1+1 7.73/7.81 7.73/7.81 7.73/7.81 ### Specialization of cost equations f13_loop_cont/77 7.73/7.81 * CE 32 is refined into CE [55] 7.73/7.81 * CE 31 is refined into CE [56] 7.73/7.81 7.73/7.81 7.73/7.81 ### Cost equations --> "Loop" of f13_loop_cont/77 7.73/7.81 * CEs [55] --> Loop 54 7.73/7.81 * CEs [56] --> Loop 55 7.73/7.81 7.73/7.81 ### Ranking functions of CR f13_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) 7.73/7.81 7.73/7.81 #### Partial ranking functions of CR f13_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) 7.73/7.81 7.73/7.81 7.73/7.81 ### Specialization of cost equations f18_loop_cont/77 7.73/7.81 * CE 22 is refined into CE [57,58,59,60] 7.73/7.81 * CE 21 is refined into CE [61,62,63,64] 7.73/7.81 * CE 20 is refined into CE [65] 7.73/7.81 7.73/7.81 7.73/7.81 ### Cost equations --> "Loop" of f18_loop_cont/77 7.73/7.81 * CEs [60] --> Loop 56 7.73/7.81 * CEs [59] --> Loop 57 7.73/7.81 * CEs [58] --> Loop 58 7.73/7.81 * CEs [57] --> Loop 59 7.73/7.81 * CEs [64] --> Loop 60 7.73/7.81 * CEs [63] --> Loop 61 7.73/7.81 * CEs [62] --> Loop 62 7.73/7.81 * CEs [61] --> Loop 63 7.73/7.81 * CEs [65] --> Loop 64 7.73/7.81 7.73/7.81 ### Ranking functions of CR f18_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) 7.73/7.81 7.73/7.81 #### Partial ranking functions of CR f18_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) 7.73/7.81 7.73/7.81 7.73/7.81 ### Specialization of cost equations f1_loop_cont/77 7.73/7.81 * CE 8 is refined into CE [66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92] 7.73/7.81 * CE 7 is refined into CE [93] 7.73/7.81 7.73/7.81 7.73/7.81 ### Cost equations --> "Loop" of f1_loop_cont/77 7.73/7.81 * CEs [83] --> Loop 65 7.73/7.81 * CEs [82] --> Loop 66 7.73/7.81 * CEs [81] --> Loop 67 7.73/7.81 * CEs [79] --> Loop 68 7.73/7.81 * CEs [71] --> Loop 69 7.73/7.81 * CEs [73] --> Loop 70 7.73/7.81 * CEs [67] --> Loop 71 7.73/7.81 * CEs [69] --> Loop 72 7.73/7.81 * CEs [75] --> Loop 73 7.73/7.81 * CEs [77] --> Loop 74 7.73/7.81 * CEs [78] --> Loop 75 7.73/7.81 * CEs [80] --> Loop 76 7.73/7.81 * CEs [70] --> Loop 77 7.73/7.81 * CEs [72] --> Loop 78 7.73/7.81 * CEs [66] --> Loop 79 7.73/7.81 * CEs [68] --> Loop 80 7.73/7.81 * CEs [74] --> Loop 81 7.73/7.81 * CEs [76] --> Loop 82 7.73/7.81 * CEs [93] --> Loop 83 7.73/7.81 * CEs [90,91] --> Loop 84 7.73/7.81 * CEs [86,87] --> Loop 85 7.73/7.81 * CEs [84,88,92] --> Loop 86 7.73/7.81 * CEs [89] --> Loop 87 7.73/7.81 * CEs [85] --> Loop 88 7.73/7.81 7.73/7.81 ### Ranking functions of CR f1_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) 7.73/7.81 7.73/7.81 #### Partial ranking functions of CR f1_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) 7.73/7.81 7.73/7.81 7.73/7.81 ### Specialization of cost equations f19/76 7.73/7.81 * CE 2 is refined into CE [94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141] 7.73/7.81 * CE 3 is refined into CE [142,143,144,145,146,147,148,149] 7.73/7.81 * CE 1 is refined into CE [150] 7.73/7.81 7.73/7.81 7.73/7.81 ### Cost equations --> "Loop" of f19/76 7.73/7.81 * CEs [140,141,146,147] --> Loop 89 7.73/7.81 * CEs [142,143,144,145] --> Loop 90 7.73/7.81 * CEs [118,124] --> Loop 91 7.73/7.81 * CEs [117,123,125,130] --> Loop 92 7.73/7.81 * CEs [120,122] --> Loop 93 7.73/7.81 * CEs [119,121,127,129] --> Loop 94 7.73/7.81 * CEs [126,128,131,132,133,134] --> Loop 95 7.73/7.81 * CEs [110,111] --> Loop 96 7.73/7.81 * CEs [95,101] --> Loop 97 7.73/7.81 * CEs [94,100,102,107] --> Loop 98 7.73/7.81 * CEs [97,99] --> Loop 99 7.73/7.81 * CEs [96,98,104,106] --> Loop 100 7.73/7.81 * CEs [103,105,108,109] --> Loop 101 7.73/7.81 * CEs [150] --> Loop 102 7.73/7.81 * CEs [148,149] --> Loop 103 7.73/7.81 * CEs [136] --> Loop 104 7.73/7.81 * CEs [138] --> Loop 105 7.73/7.81 * CEs [135] --> Loop 106 7.73/7.81 * CEs [137] --> Loop 107 7.73/7.81 * CEs [139] --> Loop 108 7.73/7.81 * CEs [115] --> Loop 109 7.73/7.81 * CEs [114] --> Loop 110 7.73/7.81 * CEs [116] --> Loop 111 7.73/7.81 * CEs [113] --> Loop 112 7.73/7.81 * CEs [112] --> Loop 113 7.73/7.81 7.73/7.81 ### Ranking functions of CR f19(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,N3) 7.73/7.81 7.73/7.81 #### Partial ranking functions of CR f19(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,N3) 7.73/7.81 7.73/7.81 7.73/7.81 Computing Bounds 7.73/7.81 ===================================== 7.73/7.81 7.73/7.81 #### Cost of chains of f1(A,B,C,D,H,Z,C1,D1,E1,F1,P1,Q1,R1,Y1,Z1,A2,B2,C2,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4): 7.73/7.81 * Chain [[32],34]: 1*it(32)+0 7.73/7.81 Such that:it(32) =< A-B 7.73/7.81 7.73/7.81 with precondition: [D=0,N3=6,Q3=0,A=C1,D1=F1,X3=Y3,O3=Z3,B>=2,H>=A,A4>=A,A>=B+1] 7.73/7.81 7.73/7.81 * Chain [[32],33]: 1*it(32)+0 7.73/7.81 Such that:it(32) =< A-B 7.73/7.81 7.73/7.81 with precondition: [N3=3,A=C1,D1=F1,B>=2,A>=B+1] 7.73/7.81 7.73/7.81 * Chain [34]: 0 7.73/7.81 with precondition: [D=0,N3=6,Q3=0,A=B,A=C1,F1=D1,Z3=O3,F1=X3,F1=Y3,A>=2,H>=A,A4>=A] 7.73/7.81 7.73/7.81 * Chain [33]: 0 7.73/7.81 with precondition: [N3=3,C1=A,F1=D1,B>=2,C1>=B] 7.73/7.81 7.73/7.81 7.73/7.81 #### Cost of chains of f16(A,C,Z,H1,I1,L1,M1,N1,O1,P1,Q1,R1,D2,E2,F2,P2,Q2,R2,S2,T2,U2,V2,W2,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4): 7.73/7.81 * Chain [[35]]...: 1*it(35)+0 7.73/7.81 with precondition: [E2=F2,Q1=R1,A=1,0>=C] 7.73/7.81 7.73/7.81 * Chain [[35],38]: 1*it(35)+0 7.73/7.81 with precondition: [A=1,Q1=0,R1=0,N3=2,O3=1,P3=0,Y3=0,Z3=0,D4+1=0,E4=0,E2=F2,T2=H4,U2=I4,B4=K4,0>=C] 7.73/7.81 7.73/7.81 * Chain [[35],37]: 1*it(35)+0 7.73/7.81 with precondition: [A=1,Q1=0,R1=0,N3=2,O3=1,Y3=0,Z3=0,D4+1=0,E2=F2,P3=E4,B4=I4,V2=J4,W2=K4,0>=C,P3>=1] 7.73/7.81 7.73/7.81 * Chain [[35],36]: 1*it(35)+0 7.73/7.81 with precondition: [A=1,N3=3,Q1=R1,E2=F2,0>=C] 7.73/7.81 7.73/7.81 * Chain [38]: 0 7.73/7.81 with precondition: [A=1,Q1=0,R1=0,N3=2,O3=1,P3=0,Y3=0,Z3=0,D4+1=0,E4=0,Q3=Z,A4=D2,F2=E2,H4=T2,I4=U2,K4=B4,F2=C4,C>=1] 7.73/7.81 7.73/7.81 * Chain [37]: 0 7.73/7.81 with precondition: [A=1,Q1=0,R1=0,N3=2,O3=1,Y3=0,Z3=0,D4+1=0,Q3=Z,A4=D2,F2=E2,J4=V2,K4=W2,I4=B4,F2=C4,P3=E4,C>=1,P3>=1] 7.73/7.81 7.73/7.81 * Chain [36]: 0 7.73/7.81 with precondition: [A=1,N3=3,R1=Q1,F2=E2] 7.73/7.81 7.73/7.81 7.73/7.81 #### Cost of chains of f16_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): 7.73/7.81 * Chain [40]: 0 7.73/7.81 with precondition: [A=2] 7.73/7.81 7.73/7.81 * Chain [39]: 0 7.73/7.81 with precondition: [A=3] 7.73/7.81 7.73/7.81 7.73/7.81 #### Cost of chains of f18(A,C,D,H,T,U,V,W,X,Y,Z,A1,B1,G1,H1,I1,L1,M1,N1,O1,Q1,T1,G2,H2,I2,J2,K2,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4): 7.73/7.81 * Chain [[41,42]]...: 2*it(41)+0 7.73/7.81 with precondition: [A>=2,D>=0,H>=0] 7.73/7.81 7.73/7.81 * Chain [[41,42],45]: 2*it(41)+0 7.73/7.81 with precondition: [Q1=0,N3=4,Z3=0,A4=0,B4=0,E4+1=0,P3=Y3+1,T1=C4,J2=G4,K2=H4,A>=2,D>=0,H>=0,O3>=1,Q3>=0,D4>=0,F4>=0,H+O3>=C,O3+2*H>=C+1] 7.73/7.81 7.73/7.81 * Chain [[41,42],44]: 2*it(41)+0 7.73/7.81 with precondition: [Q1=0,N3=5,Z3=0,A4=0,B4=0,H4+1=0,Q3=S3,G1=Y3,P3=C4+1,G2=D4,H2=E4,I2=F4,0>=O3,A>=2,D>=0,H>=0,Q3>=0,R3>=0,G4>=0,H>=C] 7.73/7.81 7.73/7.81 * Chain [[41,42],43]: 2*it(41)+0 7.73/7.81 with precondition: [N3=3,A>=2,D>=0,H>=0] 7.73/7.81 7.73/7.81 * Chain [45]: 0 7.73/7.81 with precondition: [Q1=0,N3=4,Z3=0,A4=0,B4=0,E4+1=0,R3=T,S3=U,T3=W,U3=X,V3=Z,W3=A1,X3=B1,C4=T1,G4=J2,H4=K2,C=O3,Y3+1=P3,H=Q3,A>=2,C>=1,D>=0,H>=0,D4>=0,F4>=0] 7.73/7.81 7.73/7.81 * Chain [44]: 0 7.73/7.81 with precondition: [Q1=0,N3=5,Z3=0,A4=0,B4=0,H4+1=0,T3=W,U3=X,V3=Z,W3=A1,X3=B1,Y3=G1,D4=G2,E4=H2,F4=I2,C=O3,C4+1=P3,Q3=S3,0>=C,A>=2,D>=0,H>=0,Q3>=0,R3>=0,G4>=0] 7.73/7.81 7.73/7.81 * Chain [43]: 0 7.73/7.81 with precondition: [N3=3,A>=2] 7.73/7.81 7.73/7.81 7.73/7.81 #### Cost of chains of f11(A,C,H1,I1,J1,L1,M1,N1,O1,P1,Q1,R1,S1,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3): 7.73/7.81 * Chain [[46],48]: 1*it(46)+0 7.73/7.81 Such that:it(46) =< J1-R3 7.73/7.81 7.73/7.81 with precondition: [H1=0,I1=0,L1=0,M1=0,N1=0,O1=0,Q1=0,R1=0,N3=2,X3=0,R3=Y3,A>=2,C>=1,R3>=0,J1>=R3+1] 7.73/7.81 7.73/7.81 * Chain [[46],47]: 1*it(46)+0 7.73/7.81 Such that:it(46) =< J1+1 7.73/7.81 7.73/7.81 with precondition: [L1=0,N1=0,Q1=0,N3=3,H1=I1,H1=M1,H1=O1,H1=R1,A>=2,C>=1,J1>=0] 7.73/7.81 7.73/7.81 * Chain [48]: 0 7.73/7.81 with precondition: [N3=2,H1=I1,H1=L1,H1=M1,H1=O1,X3=Q1,H1=R1,Y3=S1,J1=R3,A>=2,J1>=0] 7.73/7.81 7.73/7.81 * Chain [47]: 0 7.73/7.81 with precondition: [N3=3,H1=I1,H1=M1,H1=O1,H1=R1,A>=2] 7.73/7.81 7.73/7.81 7.73/7.81 #### Cost of chains of f11_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): 7.73/7.81 * Chain [50]: 0 7.73/7.81 with precondition: [A=2,N2=2] 7.73/7.81 7.73/7.81 * Chain [49]: 0 7.73/7.81 with precondition: [A=3,N2=2] 7.73/7.81 7.73/7.81 7.73/7.81 #### Cost of chains of f13(A,C,H1,I1,L1,M1,N1,O1,P1,Q1,R1,U1,W1,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3): 7.73/7.81 * Chain [[51],53]: 1*it(51)+0 7.73/7.81 Such that:it(51) =< U1-X3 7.73/7.81 7.73/7.81 with precondition: [H1=0,I1=0,L1=0,M1=0,N1=0,O1=0,Q1=0,R1=0,N3=2,V3=0,W3=X3,0>=C,A>=2,W3>=0,U1>=W3+1] 7.73/7.81 7.73/7.81 * Chain [[51],52]: 1*it(51)+0 7.73/7.81 Such that:it(51) =< U1+1 7.73/7.81 7.73/7.81 with precondition: [L1=0,N1=0,Q1=0,N3=3,H1=I1,H1=M1,H1=O1,H1=R1,0>=C,A>=2,U1>=0] 7.73/7.81 7.73/7.81 * Chain [53]: 0 7.73/7.81 with precondition: [N3=2,H1=I1,H1=L1,H1=M1,H1=O1,V3=Q1,H1=R1,X3=W1,U1=W3,A>=2,U1>=0] 7.73/7.81 7.73/7.81 * Chain [52]: 0 7.73/7.81 with precondition: [N3=3,H1=I1,H1=M1,H1=O1,H1=R1,A>=2] 7.73/7.81 7.73/7.81 7.73/7.81 #### Cost of chains of f13_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): 7.73/7.81 * Chain [55]: 0 7.73/7.81 with precondition: [A=2,N2=2,B>=2] 7.73/7.81 7.73/7.81 * Chain [54]: 0 7.73/7.81 with precondition: [A=3,N2=2,B>=2] 7.73/7.81 7.73/7.81 7.73/7.81 #### Cost of chains of f18_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): 7.73/7.81 * Chain [64]: 0 7.73/7.81 with precondition: [A=3,N2=2,J1=I1,J1=N1,J1=P1,J1=S1,B>=2] 7.73/7.81 7.73/7.81 * Chain [63]: 1*s(1)+0 7.73/7.81 Such that:s(1) =< K1 7.73/7.81 7.73/7.81 with precondition: [A=4,I1=0,J1=0,M1=0,N1=0,O1=0,P1=0,R1=0,S1=0,N2=2,B>=2,D>=1,K1>=1] 7.73/7.81 7.73/7.81 * Chain [62]: 1*s(2)+0 7.73/7.81 Such that:s(2) =< K1+1 7.73/7.81 7.73/7.81 with precondition: [A=4,M1=0,O1=0,R1=0,N2=2,J1=I1,J1=N1,J1=P1,J1=S1,B>=2,D>=1,K1>=0] 7.73/7.81 7.73/7.81 * Chain [61]: 0 7.73/7.81 with precondition: [A=4,N2=2,J1=I1,J1=M1,J1=N1,J1=P1,J1=S1,B>=2,K1>=0] 7.73/7.81 7.73/7.81 * Chain [60]: 0 7.73/7.81 with precondition: [A=4,N2=2,J1=I1,J1=N1,J1=P1,J1=S1,B>=2] 7.73/7.81 7.73/7.81 * Chain [59]: 1*s(3)+0 7.73/7.81 Such that:s(3) =< V1 7.73/7.81 7.73/7.81 with precondition: [A=5,I1=0,J1=0,M1=0,N1=0,O1=0,P1=0,R1=0,S1=0,N2=2,0>=D,B>=2,V1>=1] 7.73/7.81 7.73/7.81 * Chain [58]: 1*s(4)+0 7.73/7.81 Such that:s(4) =< V1+1 7.73/7.81 7.73/7.81 with precondition: [A=5,M1=0,O1=0,R1=0,N2=2,J1=I1,J1=N1,J1=P1,J1=S1,0>=D,B>=2,V1>=0] 7.73/7.81 7.73/7.81 * Chain [57]: 0 7.73/7.81 with precondition: [A=5,N2=2,J1=I1,J1=M1,J1=N1,J1=P1,J1=S1,B>=2,V1>=0] 7.73/7.81 7.73/7.81 * Chain [56]: 0 7.73/7.81 with precondition: [A=5,N2=2,J1=I1,J1=N1,J1=P1,J1=S1,B>=2] 7.73/7.81 7.73/7.81 7.73/7.81 #### Cost of chains of f1_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): 7.73/7.81 * Chain [88]...: 2*s(5)+1*s(6)+0 7.73/7.81 Such that:s(6) =< K1 7.73/7.81 7.73/7.81 with precondition: [A=6,S1=0,N2=2,D2=I,B>=2,E>=0,K1>=1,D2>=0] 7.73/7.81 7.73/7.81 * Chain [87]...: 2*s(7)+1*s(8)+0 7.73/7.81 Such that:s(8) =< V1 7.73/7.81 7.73/7.81 with precondition: [A=6,S1=0,N2=2,D2=I,B>=2,E>=0,V1>=1,D2>=0] 7.73/7.81 7.73/7.81 * Chain [86]...: 1*aux(9)+0 7.73/7.81 with precondition: [A=6,N2=2,D2=I,B>=2,E>=0,D2>=0] 7.73/7.81 7.73/7.81 * Chain [85]...: 4*s(12)+1*s(13)+0 7.73/7.81 Such that:s(13) =< K1+1 7.73/7.81 7.73/7.81 with precondition: [A=6,N2=2,D2=I,B>=2,E>=0,K1>=0,D2>=0] 7.73/7.81 7.73/7.81 * Chain [84]...: 4*s(15)+1*s(16)+0 7.73/7.81 Such that:s(16) =< V1+1 7.73/7.81 7.73/7.81 with precondition: [A=6,N2=2,D2=I,B>=2,E>=0,V1>=0,D2>=0] 7.73/7.81 7.73/7.81 * Chain [83]: 0 7.73/7.81 with precondition: [A=3,N2=2,D2=I,B>=2] 7.73/7.81 7.73/7.81 * Chain [82]: 0 7.73/7.81 with precondition: [A=6,R1=0,S1=0,N2=2,D2=I,0>=D,B>=2,E>=0,V1>=0,D2>=0] 7.73/7.81 7.73/7.81 * Chain [81]: 1*s(18)+0 7.73/7.81 Such that:s(18) =< V1 7.73/7.81 7.73/7.81 with precondition: [A=6,R1=0,S1=0,N2=2,D2=I,0>=D,B>=2,E>=0,V1>=1,D2>=0] 7.73/7.81 7.73/7.81 * Chain [80]: 0 7.73/7.81 with precondition: [A=6,R1=0,S1=0,N2=2,D2=I,B>=2,D>=1,E>=0,K1>=0,D2>=0] 7.73/7.81 7.73/7.81 * Chain [79]: 1*s(19)+0 7.73/7.81 Such that:s(19) =< K1 7.73/7.81 7.73/7.81 with precondition: [A=6,R1=0,S1=0,N2=2,D2=I,B>=2,D>=1,E>=0,K1>=1,D2>=0] 7.73/7.81 7.73/7.81 * Chain [78]: 2*s(20)+0 7.73/7.81 with precondition: [A=6,R1=0,S1=0,N2=2,D2=I,B>=2,E>=0,K1>=0,D2>=0] 7.73/7.81 7.73/7.81 * Chain [77]: 2*s(21)+1*s(22)+0 7.73/7.81 Such that:s(22) =< K1 7.73/7.81 7.73/7.81 with precondition: [A=6,R1=0,S1=0,N2=2,D2=I,B>=2,E>=0,K1>=1,D2>=0] 7.73/7.81 7.73/7.81 * Chain [76]: 2*s(23)+0 7.73/7.81 with precondition: [A=6,R1=0,S1=0,N2=2,D2=I,B>=2,E>=0,V1>=0,D2>=0,D2>=D] 7.73/7.81 7.73/7.81 * Chain [75]: 2*s(24)+1*s(25)+0 7.73/7.81 Such that:s(25) =< V1 7.73/7.81 7.73/7.81 with precondition: [A=6,R1=0,S1=0,N2=2,D2=I,B>=2,E>=0,V1>=1,D2>=0,D2>=D] 7.73/7.81 7.73/7.81 * Chain [74]: 0 7.73/7.81 with precondition: [A=6,R1=0,N2=2,D2=I,0>=D,B>=2,E>=0,D2>=0] 7.73/7.81 7.73/7.81 * Chain [73]: 1*s(26)+0 7.73/7.81 Such that:s(26) =< V1+1 7.73/7.81 7.73/7.81 with precondition: [A=6,R1=0,N2=2,D2=I,0>=D,B>=2,E>=0,V1>=0,D2>=0] 7.73/7.81 7.73/7.81 * Chain [72]: 0 7.73/7.81 with precondition: [A=6,R1=0,N2=2,D2=I,B>=2,D>=1,E>=0,D2>=0] 7.73/7.81 7.73/7.81 * Chain [71]: 1*s(27)+0 7.73/7.81 Such that:s(27) =< K1+1 7.73/7.81 7.73/7.81 with precondition: [A=6,R1=0,N2=2,D2=I,B>=2,D>=1,E>=0,K1>=0,D2>=0] 7.73/7.81 7.73/7.81 * Chain [70]: 2*s(28)+0 7.73/7.81 with precondition: [A=6,R1=0,N2=2,D2=I,B>=2,E>=0,D2>=0] 7.73/7.81 7.73/7.81 * Chain [69]: 2*s(29)+1*s(30)+0 7.73/7.81 Such that:s(30) =< K1+1 7.73/7.81 7.73/7.81 with precondition: [A=6,R1=0,N2=2,D2=I,B>=2,E>=0,K1>=0,D2>=0] 7.73/7.81 7.73/7.81 * Chain [68]: 2*s(31)+1*s(32)+0 7.73/7.81 Such that:s(32) =< V1+1 7.73/7.81 7.73/7.81 with precondition: [A=6,R1=0,N2=2,D2=I,B>=2,E>=0,V1>=0,D2>=0,D2>=D] 7.73/7.81 7.73/7.81 * Chain [67]: 2*s(33)+0 7.73/7.81 with precondition: [A=6,R1=0,N2=2,D2=I,B>=2,E>=0,D2>=0,D2>=D] 7.73/7.81 7.73/7.81 * Chain [66]: 0 7.73/7.81 with precondition: [A=6,N2=2,D2=I,B>=2] 7.73/7.81 7.73/7.81 * Chain [65]: 2*s(34)+0 7.73/7.81 with precondition: [A=6,N2=2,D2=I,B>=2,E>=0,D2>=0] 7.73/7.81 7.73/7.81 7.73/7.81 #### Cost of chains of f19(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,N3): 7.73/7.81 * Chain [113]...: 1*s(35)+2*s(36)+0 7.73/7.81 Such that:s(35) =< J1 7.73/7.81 7.73/7.81 with precondition: [D=0,E1=0,A2=0,H>=2,J1>=1] 7.73/7.81 7.73/7.81 * Chain [112]...: 1*s(37)+2*s(38)+0 7.73/7.81 Such that:s(37) =< U1 7.73/7.81 7.73/7.81 with precondition: [D=0,E1=0,A2=0,H>=2,U1>=1] 7.73/7.81 7.73/7.81 * Chain [111]...: 1*s(39)+0 7.73/7.81 with precondition: [D=0,A2=E1,H>=2] 7.73/7.81 7.73/7.81 * Chain [110]...: 1*s(40)+4*s(41)+0 7.73/7.81 Such that:s(40) =< J1+1 7.73/7.81 7.73/7.81 with precondition: [D=0,A2=E1,H>=2,J1>=0] 7.73/7.81 7.73/7.81 * Chain [109]...: 1*s(42)+4*s(43)+0 7.73/7.81 Such that:s(42) =< U1+1 7.73/7.81 7.73/7.81 with precondition: [D=0,A2=E1,H>=2,U1>=0] 7.73/7.81 7.73/7.81 * Chain [108]...: 1*s(44)+1*s(45)+0 7.73/7.81 Such that:s(44) =< H 7.73/7.81 7.73/7.81 with precondition: [D=0,A2=E1,H>=3] 7.73/7.81 7.73/7.81 * Chain [107]...: 1*s(46)+1*s(47)+4*s(48)+0 7.73/7.81 Such that:s(46) =< H 7.73/7.81 s(47) =< J1+1 7.73/7.81 7.73/7.81 with precondition: [D=0,A2=E1,H>=3,J1>=0] 7.73/7.81 7.73/7.81 * Chain [106]...: 1*s(49)+1*s(50)+2*s(51)+0 7.73/7.81 Such that:s(49) =< H 7.73/7.81 s(50) =< J1 7.73/7.81 7.73/7.81 with precondition: [D=0,A2=E1,H>=3,J1>=1] 7.73/7.81 7.73/7.81 * Chain [105]...: 1*s(52)+1*s(53)+4*s(54)+0 7.73/7.81 Such that:s(52) =< H 7.73/7.81 s(53) =< U1+1 7.73/7.81 7.73/7.81 with precondition: [D=0,A2=E1,H>=3,U1>=0] 7.73/7.81 7.73/7.81 * Chain [104]...: 1*s(55)+1*s(56)+2*s(57)+0 7.73/7.81 Such that:s(55) =< H 7.73/7.81 s(56) =< U1 7.73/7.81 7.73/7.81 with precondition: [D=0,A2=E1,H>=3,U1>=1] 7.73/7.81 7.73/7.81 * Chain [103]...: 1*aux(10)+0 7.73/7.81 with precondition: [A2=E1] 7.73/7.81 7.73/7.81 * Chain [102]: 0 7.73/7.81 with precondition: [] 7.73/7.81 7.73/7.81 * Chain [101]: 1*aux(11)+0 7.73/7.81 with precondition: [D=0,E1=0,A2=0,H>=2] 7.73/7.81 7.73/7.81 * Chain [100]: 4*s(62)+2*s(63)+0 7.73/7.81 Such that:aux(12) =< J1+1 7.73/7.81 s(63) =< aux(12) 7.73/7.81 7.73/7.81 with precondition: [D=0,E1=0,A2=0,H>=2,J1>=0] 7.73/7.81 7.73/7.81 * Chain [99]: 2*s(66)+2*s(68)+0 7.73/7.81 Such that:aux(13) =< J1 7.73/7.81 s(66) =< aux(13) 7.73/7.81 7.73/7.81 with precondition: [D=0,E1=0,A2=0,H>=2,J1>=1] 7.73/7.81 7.73/7.81 * Chain [98]: 4*s(69)+2*s(70)+0 7.73/7.81 Such that:aux(14) =< U1+1 7.73/7.81 s(70) =< aux(14) 7.73/7.81 7.73/7.81 with precondition: [D=0,E1=0,A2=0,H>=2,U1>=0] 7.73/7.81 7.73/7.81 * Chain [97]: 2*s(73)+2*s(75)+0 7.73/7.81 Such that:aux(15) =< U1 7.73/7.81 s(73) =< aux(15) 7.73/7.81 7.73/7.81 with precondition: [D=0,E1=0,A2=0,H>=2,U1>=1] 7.73/7.81 7.73/7.81 * Chain [96]: 1*aux(16)+0 7.73/7.81 with precondition: [D=0,A2=E1,H>=2] 7.73/7.81 7.73/7.81 * Chain [95]: 6*s(77)+6*s(80)+0 7.73/7.81 Such that:aux(17) =< H 7.73/7.81 s(77) =< aux(17) 7.73/7.81 7.73/7.81 with precondition: [D=0,A2=E1,H>=3] 7.73/7.81 7.73/7.81 * Chain [94]: 4*s(86)+4*s(88)+2*s(90)+0 7.73/7.81 Such that:aux(18) =< H 7.73/7.81 aux(19) =< J1+1 7.73/7.81 s(86) =< aux(18) 7.73/7.81 s(90) =< aux(19) 7.73/7.81 7.73/7.81 with precondition: [D=0,A2=E1,H>=3,J1>=0] 7.73/7.81 7.73/7.81 * Chain [93]: 2*s(94)+2*s(95)+2*s(98)+0 7.73/7.81 Such that:aux(20) =< H 7.73/7.81 aux(21) =< J1 7.73/7.81 s(94) =< aux(20) 7.73/7.81 s(95) =< aux(21) 7.73/7.81 7.73/7.81 with precondition: [D=0,A2=E1,H>=3,J1>=1] 7.73/7.81 7.73/7.81 * Chain [92]: 4*s(99)+4*s(101)+2*s(103)+0 7.73/7.81 Such that:aux(22) =< H 7.73/7.81 aux(23) =< U1+1 7.73/7.81 s(99) =< aux(22) 7.73/7.81 s(103) =< aux(23) 7.73/7.81 7.73/7.81 with precondition: [D=0,A2=E1,H>=3,U1>=0] 7.73/7.81 7.73/7.81 * Chain [91]: 2*s(107)+2*s(108)+2*s(111)+0 7.73/7.81 Such that:aux(24) =< H 7.73/7.81 aux(25) =< U1 7.73/7.81 s(107) =< aux(24) 7.73/7.81 s(108) =< aux(25) 7.73/7.81 7.73/7.81 with precondition: [D=0,A2=E1,H>=3,U1>=1] 7.73/7.81 7.73/7.81 * Chain [90]: 1*aux(26)+0 7.73/7.81 with precondition: [E1=0,A2=0] 7.73/7.81 7.73/7.81 * Chain [89]: 1*aux(27)+0 7.73/7.81 with precondition: [A2=E1] 7.73/7.81 7.73/7.81 7.73/7.81 Closed-form bounds of f19(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,N3): 7.73/7.81 ------------------------------------- 7.73/7.81 * Chain [113]... with precondition: [D=0,E1=0,A2=0,H>=2,J1>=1] 7.73/7.81 - Upper bound: inf 7.73/7.81 - Complexity: infinity 7.73/7.81 * Chain [112]... with precondition: [D=0,E1=0,A2=0,H>=2,U1>=1] 7.73/7.81 - Upper bound: inf 7.73/7.81 - Complexity: infinity 7.73/7.81 * Chain [111]... with precondition: [D=0,A2=E1,H>=2] 7.73/7.81 - Upper bound: inf 7.73/7.81 - Complexity: infinity 7.73/7.81 * Chain [110]... with precondition: [D=0,A2=E1,H>=2,J1>=0] 7.73/7.81 - Upper bound: inf 7.73/7.81 - Complexity: infinity 7.73/7.81 * Chain [109]... with precondition: [D=0,A2=E1,H>=2,U1>=0] 7.73/7.81 - Upper bound: inf 7.73/7.81 - Complexity: infinity 7.73/7.81 * Chain [108]... with precondition: [D=0,A2=E1,H>=3] 7.73/7.81 - Upper bound: inf 7.73/7.81 - Complexity: infinity 7.73/7.81 * Chain [107]... with precondition: [D=0,A2=E1,H>=3,J1>=0] 7.73/7.81 - Upper bound: inf 7.73/7.81 - Complexity: infinity 7.73/7.81 * Chain [106]... with precondition: [D=0,A2=E1,H>=3,J1>=1] 7.73/7.81 - Upper bound: inf 7.73/7.81 - Complexity: infinity 7.73/7.81 * Chain [105]... with precondition: [D=0,A2=E1,H>=3,U1>=0] 7.73/7.81 - Upper bound: inf 7.73/7.81 - Complexity: infinity 7.73/7.81 * Chain [104]... with precondition: [D=0,A2=E1,H>=3,U1>=1] 7.73/7.81 - Upper bound: inf 7.73/7.81 - Complexity: infinity 7.73/7.81 * Chain [103]... with precondition: [A2=E1] 7.73/7.81 - Upper bound: inf 7.73/7.81 - Complexity: infinity 7.73/7.81 * Chain [102] with precondition: [] 7.73/7.81 - Upper bound: 0 7.73/7.81 - Complexity: constant 7.73/7.81 * Chain [101] with precondition: [D=0,E1=0,A2=0,H>=2] 7.73/7.81 - Upper bound: inf 7.73/7.81 - Complexity: infinity 7.73/7.81 * Chain [100] with precondition: [D=0,E1=0,A2=0,H>=2,J1>=0] 7.73/7.81 - Upper bound: inf 7.73/7.81 - Complexity: infinity 7.73/7.81 * Chain [99] with precondition: [D=0,E1=0,A2=0,H>=2,J1>=1] 7.73/7.81 - Upper bound: inf 7.73/7.81 - Complexity: infinity 7.73/7.81 * Chain [98] with precondition: [D=0,E1=0,A2=0,H>=2,U1>=0] 7.73/7.81 - Upper bound: inf 7.73/7.81 - Complexity: infinity 7.73/7.81 * Chain [97] with precondition: [D=0,E1=0,A2=0,H>=2,U1>=1] 7.73/7.81 - Upper bound: inf 7.73/7.81 - Complexity: infinity 7.73/7.81 * Chain [96] with precondition: [D=0,A2=E1,H>=2] 7.73/7.81 - Upper bound: inf 7.73/7.81 - Complexity: infinity 7.73/7.81 * Chain [95] with precondition: [D=0,A2=E1,H>=3] 7.73/7.81 - Upper bound: inf 7.73/7.81 - Complexity: infinity 7.73/7.81 * Chain [94] with precondition: [D=0,A2=E1,H>=3,J1>=0] 7.73/7.81 - Upper bound: inf 7.73/7.81 - Complexity: infinity 7.73/7.81 * Chain [93] with precondition: [D=0,A2=E1,H>=3,J1>=1] 7.73/7.81 - Upper bound: inf 7.73/7.81 - Complexity: infinity 7.73/7.81 * Chain [92] with precondition: [D=0,A2=E1,H>=3,U1>=0] 7.73/7.81 - Upper bound: inf 7.73/7.81 - Complexity: infinity 7.73/7.81 * Chain [91] with precondition: [D=0,A2=E1,H>=3,U1>=1] 7.73/7.81 - Upper bound: inf 7.73/7.81 - Complexity: infinity 7.80/7.81 * Chain [90] with precondition: [E1=0,A2=0] 7.80/7.81 - Upper bound: inf 7.80/7.81 - Complexity: infinity 7.80/7.81 * Chain [89] with precondition: [A2=E1] 7.80/7.81 - Upper bound: inf 7.80/7.81 - Complexity: infinity 7.80/7.81 7.80/7.81 ### Maximum cost of f19(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,N3): inf 7.80/7.81 Asymptotic class: infinity 7.80/7.81 * Total analysis performed in 7208 ms. 7.80/7.81 7.80/7.92 EOF