13.37/13.40 MAYBE 13.37/13.40 13.37/13.40 Preprocessing Cost Relations 13.37/13.40 ===================================== 13.37/13.40 13.37/13.40 #### Computed strongly connected components 13.37/13.40 0. recursive : [f35/82] 13.37/13.40 1. non_recursive : [exit_location/1] 13.37/13.40 2. non_recursive : [f0/158] 13.37/13.40 3. recursive : [f17/70,f34/70] 13.37/13.40 4. non_recursive : [f34_loop_cont/159] 13.37/13.40 5. non_recursive : [f35_loop_cont/159] 13.37/13.40 6. recursive : [f36/72] 13.37/13.40 7. non_recursive : [f36_loop_cont/159] 13.37/13.40 8. non_recursive : [f14/158] 13.37/13.40 13.37/13.40 #### Obtained direct recursion through partial evaluation 13.37/13.40 0. SCC is partially evaluated into f35/82 13.37/13.40 1. SCC is completely evaluated into other SCCs 13.37/13.40 2. SCC is completely evaluated into other SCCs 13.37/13.40 3. SCC is partially evaluated into f34/70 13.37/13.40 4. SCC is partially evaluated into f34_loop_cont/159 13.37/13.40 5. SCC is partially evaluated into f35_loop_cont/159 13.37/13.40 6. SCC is partially evaluated into f36/72 13.37/13.40 7. SCC is partially evaluated into f36_loop_cont/159 13.37/13.40 8. SCC is partially evaluated into f14/158 13.37/13.40 13.37/13.40 Control-Flow Refinement of Cost Relations 13.37/13.40 ===================================== 13.37/13.40 13.37/13.40 ### Specialization of cost equations f35/82 13.37/13.40 * CE 5 is refined into CE [23] 13.37/13.40 * CE 6 is refined into CE [24] 13.37/13.40 * CE 4 is refined into CE [25] 13.37/13.40 * CE 3 is refined into CE [26] 13.37/13.40 13.37/13.40 13.37/13.40 ### Cost equations --> "Loop" of f35/82 13.37/13.40 * CEs [26] --> Loop 23 13.37/13.40 * CEs [23] --> Loop 24 13.37/13.40 * CEs [24] --> Loop 25 13.37/13.40 * CEs [25] --> Loop 26 13.37/13.40 13.37/13.40 ### Ranking functions of CR f35(D,E,F,G,H,I,J,K,L,P,Q,R,V,W,D1,E1,F1,H1,I1,L1,U1,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,W3,X3,Y3,Z3,O4,P4,Q4,R4,S4,T4,U4,V4,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) 13.37/13.40 13.37/13.40 #### Partial ranking functions of CR f35(D,E,F,G,H,I,J,K,L,P,Q,R,V,W,D1,E1,F1,H1,I1,L1,U1,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,W3,X3,Y3,Z3,O4,P4,Q4,R4,S4,T4,U4,V4,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) 13.37/13.40 13.37/13.40 13.37/13.40 ### Specialization of cost equations f34/70 13.37/13.40 * CE 20 is refined into CE [27] 13.37/13.40 * CE 18 is refined into CE [28] 13.37/13.40 * CE 17 is refined into CE [29] 13.37/13.40 * CE 19 is refined into CE [30] 13.37/13.40 13.37/13.40 13.37/13.40 ### Cost equations --> "Loop" of f34/70 13.37/13.40 * CEs [29] --> Loop 27 13.37/13.40 * CEs [30] --> Loop 28 13.37/13.40 * CEs [27] --> Loop 29 13.37/13.40 * CEs [28] --> Loop 30 13.37/13.40 13.37/13.40 ### Ranking functions of CR f34(D,E,G,I,J,K,L,P,Q,R,V,W,D1,E1,F1,H1,I1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,W1,Y1,Z1,A2,B2,D2,E2,F2,G2,W3,X3,Y3,Z3,O4,P4,Q4,R4,S4,T4,U4,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7,B7,C7,D7,E7,F7,G7,H7,I7,J7,K7,L7,M7,N7) 13.37/13.40 * RF of phase [27]: [W] 13.37/13.40 13.37/13.40 #### Partial ranking functions of CR f34(D,E,G,I,J,K,L,P,Q,R,V,W,D1,E1,F1,H1,I1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,W1,Y1,Z1,A2,B2,D2,E2,F2,G2,W3,X3,Y3,Z3,O4,P4,Q4,R4,S4,T4,U4,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7,B7,C7,D7,E7,F7,G7,H7,I7,J7,K7,L7,M7,N7) 13.37/13.40 * Partial RF of phase [27]: 13.37/13.40 - RF of loop [27:1]: 13.37/13.40 W 13.37/13.40 13.37/13.40 13.37/13.40 ### Specialization of cost equations f34_loop_cont/159 13.37/13.40 * CE 22 is refined into CE [31] 13.37/13.40 * CE 21 is refined into CE [32] 13.37/13.40 13.37/13.40 13.37/13.40 ### Cost equations --> "Loop" of f34_loop_cont/159 13.37/13.40 * CEs [31] --> Loop 31 13.37/13.40 * CEs [32] --> Loop 32 13.37/13.40 13.37/13.40 ### Ranking functions of CR f34_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) 13.37/13.40 13.37/13.40 #### Partial ranking functions of CR f34_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) 13.37/13.40 13.37/13.40 13.37/13.40 ### Specialization of cost equations f35_loop_cont/159 13.37/13.40 * CE 9 is refined into CE [33,34,35,36,37,38,39] 13.37/13.40 * CE 8 is refined into CE [40] 13.37/13.40 * CE 7 is refined into CE [41] 13.37/13.40 13.37/13.40 13.37/13.40 ### Cost equations --> "Loop" of f35_loop_cont/159 13.37/13.40 * CEs [35] --> Loop 33 13.37/13.40 * CEs [37] --> Loop 34 13.37/13.40 * CEs [33] --> Loop 35 13.37/13.40 * CEs [36] --> Loop 36 13.37/13.40 * CEs [34] --> Loop 37 13.37/13.40 * CEs [40] --> Loop 38 13.37/13.40 * CEs [41] --> Loop 39 13.37/13.40 * CEs [38,39] --> Loop 40 13.37/13.40 13.37/13.40 ### 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) 13.37/13.40 13.37/13.40 #### 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) 13.37/13.40 13.37/13.40 13.37/13.40 ### Specialization of cost equations f36/72 13.37/13.40 * CE 12 is refined into CE [42] 13.37/13.40 * CE 13 is refined into CE [43] 13.37/13.40 * CE 11 is refined into CE [44] 13.37/13.40 * CE 10 is refined into CE [45] 13.37/13.40 13.37/13.40 13.37/13.40 ### Cost equations --> "Loop" of f36/72 13.37/13.40 * CEs [45] --> Loop 41 13.37/13.40 * CEs [42] --> Loop 42 13.37/13.40 * CEs [43] --> Loop 43 13.37/13.40 * CEs [44] --> Loop 44 13.37/13.40 13.37/13.40 ### Ranking functions of CR f36(D,E,G,K,L,P,Q,R,V,W,D1,E1,F1,H1,I1,L1,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,W3,X3,Y3,Z3,X4,Y4,Z4,A5,B5,C5,D5,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) 13.37/13.40 13.37/13.40 #### Partial ranking functions of CR f36(D,E,G,K,L,P,Q,R,V,W,D1,E1,F1,H1,I1,L1,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,W3,X3,Y3,Z3,X4,Y4,Z4,A5,B5,C5,D5,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) 13.37/13.40 13.37/13.40 13.37/13.40 ### Specialization of cost equations f36_loop_cont/159 13.37/13.40 * CE 16 is refined into CE [46,47,48,49,50,51,52] 13.37/13.40 * CE 15 is refined into CE [53] 13.37/13.40 * CE 14 is refined into CE [54] 13.37/13.40 13.37/13.40 13.37/13.40 ### Cost equations --> "Loop" of f36_loop_cont/159 13.37/13.40 * CEs [48] --> Loop 45 13.37/13.40 * CEs [50] --> Loop 46 13.37/13.40 * CEs [46] --> Loop 47 13.37/13.40 * CEs [49] --> Loop 48 13.37/13.40 * CEs [47] --> Loop 49 13.37/13.40 * CEs [53] --> Loop 50 13.37/13.40 * CEs [54] --> Loop 51 13.37/13.40 * CEs [51,52] --> Loop 52 13.37/13.40 13.37/13.40 ### Ranking functions of CR f36_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) 13.37/13.40 13.37/13.40 #### Partial ranking functions of CR f36_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) 13.37/13.40 13.37/13.40 13.37/13.40 ### Specialization of cost equations f14/158 13.37/13.40 * CE 2 is refined into CE [55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71] 13.37/13.40 * CE 1 is refined into CE [72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88] 13.37/13.40 13.37/13.40 13.37/13.40 ### Cost equations --> "Loop" of f14/158 13.37/13.40 * CEs [64,65,70] --> Loop 53 13.37/13.40 * CEs [66] --> Loop 54 13.37/13.40 * CEs [69] --> Loop 55 13.37/13.40 * CEs [68] --> Loop 56 13.37/13.40 * CEs [81,82,87] --> Loop 57 13.37/13.40 * CEs [83] --> Loop 58 13.37/13.40 * CEs [86] --> Loop 59 13.37/13.40 * CEs [85] --> Loop 60 13.37/13.40 * CEs [63] --> Loop 61 13.37/13.40 * CEs [80] --> Loop 62 13.37/13.40 * CEs [67,71] --> Loop 63 13.37/13.40 * CEs [84,88] --> Loop 64 13.37/13.40 * CEs [57] --> Loop 65 13.37/13.40 * CEs [74] --> Loop 66 13.37/13.40 * CEs [55] --> Loop 67 13.37/13.40 * CEs [62] --> Loop 68 13.37/13.40 * CEs [72] --> Loop 69 13.37/13.40 * CEs [79] --> Loop 70 13.37/13.40 * CEs [61] --> Loop 71 13.37/13.40 * CEs [58] --> Loop 72 13.37/13.40 * CEs [60] --> Loop 73 13.37/13.40 * CEs [78] --> Loop 74 13.37/13.40 * CEs [75,77] --> Loop 75 13.37/13.40 * CEs [56] --> Loop 76 13.37/13.40 * CEs [73] --> Loop 77 13.37/13.40 * CEs [59] --> Loop 78 13.37/13.40 * CEs [76] --> Loop 79 13.37/13.40 13.37/13.40 ### 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,R6) 13.37/13.40 13.37/13.40 #### 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,R6) 13.37/13.40 13.37/13.40 13.37/13.40 Computing Bounds 13.37/13.40 ===================================== 13.37/13.40 13.37/13.40 #### Cost of chains of f35(D,E,F,G,H,I,J,K,L,P,Q,R,V,W,D1,E1,F1,H1,I1,L1,U1,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,W3,X3,Y3,Z3,O4,P4,Q4,R4,S4,T4,U4,V4,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): 13.37/13.40 * Chain [[23]]...: 1*it(23)+0 13.37/13.40 with precondition: [D>=E+1,G>=1,W>=0,H2>=1,0>=J2,K2>=L2+1] 13.37/13.40 13.37/13.40 * Chain [[23],25]: 1*it(23)+0 13.37/13.40 with precondition: [R6=3,0>=J2,G>=1,W>=0,H2>=1,D>=E+1,K2>=L2+1] 13.37/13.40 13.37/13.40 * Chain [26]: 0 13.37/13.40 with precondition: [W=0,R6=2,V6=0,U6=F,W6=H,X6=I,Y6=J,B7=P,C7=Q,D7=R,E7=V,M7=U1,S7=U4,T7=V4,J7=I7,0>=F7,G>=1,J2>=1,M2>=1,D>=E+1,N2>=O2+1,P2>=Q2+1,R2>=S2+1,A7>=T2+1,H7>=U2+1,K7>=V2+1] 13.37/13.40 13.37/13.40 * Chain [25]: 0 13.37/13.40 with precondition: [R6=3,G>=1,W>=0,D>=E+1] 13.37/13.40 13.37/13.40 * Chain [24]: 0 13.37/13.40 with precondition: [R6=4,C7=Q,D7=R,L7=L1,N7=W2,O7=X2,P7=Y2,W3=S6,X3=T6,M7=U6,Z3=V6,W=F7+1,J7=I7,Y6=R7,Y6=T7,W+W6=Y6,W+X6=Y6,G>=1,W>=1,J2>=1,M2>=1,Z3>=1,D>=E+1,N2>=O2+1,A7>=T2+1,W3>=X3+1,E7>=Y3+1,O4>=P4+1,K7>=Q4+1,H7>=R4+1,S4>=T4+1] 13.37/13.40 13.37/13.40 13.37/13.40 #### Cost of chains of f34(D,E,G,I,J,K,L,P,Q,R,V,W,D1,E1,F1,H1,I1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,W1,Y1,Z1,A2,B2,D2,E2,F2,G2,W3,X3,Y3,Z3,O4,P4,Q4,R4,S4,T4,U4,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7,B7,C7,D7,E7,F7,G7,H7,I7,J7,K7,L7,M7,N7): 13.37/13.40 * Chain [[28]]...: 1*it(28)+0 13.37/13.40 with precondition: [Y1>=Z1+1,A2>=1,0>=B2] 13.37/13.40 13.37/13.40 * Chain [[28],29]: 1*it(28)+0 13.37/13.40 with precondition: [R6=3,0>=B2,A2>=1,Y1>=Z1+1] 13.37/13.40 13.37/13.40 * Chain [[27],30]: 1*it(27)+0 13.37/13.40 Such that:it(27) =< W 13.37/13.40 13.37/13.40 with precondition: [R6=2,U6=0,Q=A7,R=B7,G7=H7,0>=D7,W>=1,B2>=1,G2>=1,Z3>=1,M1>=N1+1,O1>=P1+1,F7>=Q1+1,I7>=R1+1,Y6>=D2+1,E2>=F2+1,W3>=X3+1,C7>=Y3+1,O4>=P4+1,S4>=T4+1] 13.37/13.40 13.37/13.40 * Chain [[27],29]: 1*it(27)+0 13.37/13.40 Such that:it(27) =< W 13.37/13.40 13.37/13.40 with precondition: [R6=3,W>=1,B2>=1,G2>=1,Z3>=1,E2>=F2+1,W3>=X3+1,O4>=P4+1,S4>=T4+1] 13.37/13.40 13.37/13.40 * Chain [30]: 0 13.37/13.40 with precondition: [R6=2,Z6=P,A7=Q,B7=R,C7=V,N7=U4,W=U6,H7=G7,0>=W,0>=D7,B2>=1,G2>=1,M1>=N1+1,O1>=P1+1,F7>=Q1+1,I7>=R1+1,Y6>=D2+1,E2>=F2+1] 13.37/13.40 13.37/13.40 * Chain [29]: 0 13.37/13.40 with precondition: [R6=3] 13.37/13.40 13.37/13.40 13.37/13.40 #### Cost of chains of f34_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): 13.37/13.40 * Chain [32]: 0 13.37/13.40 with precondition: [A=2,U5=X4,U5>=1] 13.37/13.40 13.37/13.40 * Chain [31]: 0 13.37/13.40 with precondition: [A=3,U5=X4,U5>=1] 13.37/13.40 13.37/13.40 13.37/13.40 #### 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): 13.37/13.40 * Chain [40]...: 1*aux(1)+0 13.37/13.40 with precondition: [A=4,U5=X4,0>=C2,B2>=1,O5>=1,U5>=1,V5>=1,Z1>=A2+1,N5>=W5+1,Y5>=Z5+1,A6>=B6+1] 13.37/13.40 13.37/13.40 * Chain [39]: 0 13.37/13.40 with precondition: [A=2,U5=X4,O5>=1,U5>=1,V5>=1,N5>=W5+1,Y5>=Z5+1,A6>=B6+1] 13.37/13.40 13.37/13.40 * Chain [38]: 0 13.37/13.40 with precondition: [A=3,U5=X4,O5>=1,U5>=1,V5>=1,N5>=W5+1,Y5>=Z5+1,A6>=B6+1] 13.37/13.40 13.37/13.40 * Chain [37]: 0 13.37/13.40 with precondition: [A=4,U5=X4,0>=X,C2>=1,H2>=1,O5>=1,U5>=1,V5>=1,N1>=O1+1,P1>=Q1+1,F2>=G2+1,N5>=W5+1,Y5>=Z5+1,A6>=B6+1] 13.37/13.40 13.37/13.40 * Chain [36]: 1*s(3)+0 13.37/13.40 with precondition: [A=4,U5=X4,0>=C2,B2>=1,O5>=1,U5>=1,V5>=1,Z1>=A2+1,N5>=W5+1,Y5>=Z5+1,A6>=B6+1] 13.37/13.40 13.37/13.40 * Chain [35]: 1*s(4)+0 13.37/13.40 Such that:s(4) =< X 13.37/13.40 13.37/13.40 with precondition: [A=4,U5=X4,X>=1,C2>=1,H2>=1,A4>=1,O5>=1,U5>=1,V5>=1,N1>=O1+1,P1>=Q1+1,F2>=G2+1,X3>=Y3+1,P4>=Q4+1,T4>=U4+1,N5>=W5+1,Y5>=Z5+1,A6>=B6+1] 13.37/13.40 13.37/13.40 * Chain [34]: 1*s(5)+0 13.37/13.40 Such that:s(5) =< X 13.37/13.40 13.37/13.40 with precondition: [A=4,U5=X4,X>=1,C2>=1,H2>=1,A4>=1,O5>=1,U5>=1,V5>=1,F2>=G2+1,X3>=Y3+1,P4>=Q4+1,T4>=U4+1,N5>=W5+1,Y5>=Z5+1,A6>=B6+1] 13.37/13.40 13.37/13.40 * Chain [33]: 0 13.37/13.40 with precondition: [A=4,U5=X4,O5>=1,U5>=1,V5>=1,N5>=W5+1,Y5>=Z5+1,A6>=B6+1] 13.37/13.40 13.37/13.40 13.37/13.40 #### Cost of chains of f36(D,E,G,K,L,P,Q,R,V,W,D1,E1,F1,H1,I1,L1,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,W3,X3,Y3,Z3,X4,Y4,Z4,A5,B5,C5,D5,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): 13.37/13.40 * Chain [[41]]...: 1*it(41)+0 13.37/13.40 with precondition: [D>=E+1,0>=G,W>=0,0>=C3,D3>=E3+1] 13.37/13.40 13.37/13.40 * Chain [[41],43]: 1*it(41)+0 13.37/13.40 with precondition: [R6=3,0>=G,0>=C3,W>=0,D>=E+1,D3>=E3+1] 13.37/13.40 13.37/13.40 * Chain [44]: 0 13.37/13.40 with precondition: [W=0,R6=2,U6=0,X6=P,Y6=Q,Z6=R,A7=V,I7=F3,P7=D5,F7=E7,0>=G,0>=B7,0>=O7,C3>=1,D>=E+1,G3>=H3+1,I3>=J3+1,K3>=L3+1,W6>=M3+1,D7>=N3+1,G7>=O3+1] 13.37/13.40 13.37/13.40 * Chain [43]: 0 13.37/13.40 with precondition: [R6=3,0>=G,W>=0,D>=E+1] 13.37/13.40 13.37/13.40 * Chain [42]: 0 13.37/13.40 with precondition: [R6=4,Y6=Q,Z6=R,H7=L1,I7=F3,J7=P3,K7=Q3,W3=S6,X3=T6,Z3=U6,W=B7+1,F7=E7,0>=G,0>=O7,W>=1,C3>=1,Z3>=1,D>=E+1,G3>=H3+1,W6>=M3+1,W3>=X3+1,A7>=Y3+1,X4>=Y4+1,G7>=Z4+1,D7>=A5+1,B5>=C5+1] 13.37/13.40 13.37/13.40 13.37/13.40 #### Cost of chains of f36_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): 13.37/13.40 * Chain [52]...: 1*aux(2)+0 13.37/13.40 with precondition: [A=4,U5=X4,0>=C2,0>=L5,0>=O5,B2>=1,U5>=1,Z1>=A2+1,N5>=F5+1,H5>=I5+1,J5>=K5+1] 13.37/13.40 13.37/13.40 * Chain [51]: 0 13.37/13.40 with precondition: [A=2,U5=X4,0>=L5,0>=O5,U5>=1,N5>=F5+1,H5>=I5+1,J5>=K5+1] 13.37/13.40 13.37/13.40 * Chain [50]: 0 13.37/13.40 with precondition: [A=3,U5=X4,0>=L5,0>=O5,U5>=1,N5>=F5+1,H5>=I5+1,J5>=K5+1] 13.37/13.40 13.37/13.40 * Chain [49]: 0 13.37/13.40 with precondition: [A=4,U5=X4,0>=X,0>=L5,0>=O5,C2>=1,H2>=1,U5>=1,N1>=O1+1,P1>=Q1+1,F2>=G2+1,N5>=F5+1,H5>=I5+1,J5>=K5+1] 13.37/13.40 13.37/13.40 * Chain [48]: 1*s(8)+0 13.37/13.40 with precondition: [A=4,U5=X4,0>=C2,0>=L5,0>=O5,B2>=1,U5>=1,Z1>=A2+1,N5>=F5+1,H5>=I5+1,J5>=K5+1] 13.37/13.40 13.37/13.40 * Chain [47]: 1*s(9)+0 13.37/13.40 Such that:s(9) =< X 13.37/13.40 13.37/13.40 with precondition: [A=4,U5=X4,0>=L5,0>=O5,X>=1,C2>=1,H2>=1,A4>=1,U5>=1,N1>=O1+1,P1>=Q1+1,F2>=G2+1,X3>=Y3+1,P4>=Q4+1,T4>=U4+1,N5>=F5+1,H5>=I5+1,J5>=K5+1] 13.37/13.40 13.37/13.40 * Chain [46]: 1*s(10)+0 13.37/13.40 Such that:s(10) =< X 13.37/13.40 13.37/13.40 with precondition: [A=4,U5=X4,0>=L5,0>=O5,X>=1,C2>=1,H2>=1,A4>=1,U5>=1,F2>=G2+1,X3>=Y3+1,P4>=Q4+1,T4>=U4+1,N5>=F5+1,H5>=I5+1,J5>=K5+1] 13.37/13.40 13.37/13.40 * Chain [45]: 0 13.37/13.40 with precondition: [A=4,U5=X4,0>=L5,0>=O5,U5>=1,N5>=F5+1,H5>=I5+1,J5>=K5+1] 13.37/13.40 13.37/13.40 13.37/13.40 #### 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,R6): 13.37/13.40 * Chain [79]: 1*s(11)+0 13.37/13.40 with precondition: [0>=B2,A2>=1,J2>=1,M2>=1,Z3>=1,U5>=1,Y1>=Z1+1,N2>=O2+1,W3>=X3+1,O4>=P4+1,S4>=T4+1,X5>=Y5+1,Z5>=A6+1] 13.37/13.40 13.37/13.40 * Chain [78]: 1*s(12)+0 13.37/13.40 with precondition: [0>=B2,A2>=1,C3>=1,Z3>=1,Y1>=Z1+1,G3>=H3+1,W3>=X3+1,X4>=Y4+1,B5>=C5+1,G5>=H5+1,I5>=J5+1] 13.37/13.40 13.37/13.40 * Chain [77]: 1*s(13)+0 13.37/13.40 with precondition: [0>=J2,H2>=1,U5>=1,K2>=L2+1,X5>=Y5+1,Z5>=A6+1] 13.37/13.40 13.37/13.40 * Chain [76]: 1*s(14)+0 13.37/13.40 with precondition: [0>=C3,D3>=E3+1,G5>=H5+1,I5>=J5+1] 13.37/13.40 13.37/13.40 * Chain [75]: 1*aux(3)+0 13.37/13.40 with precondition: [B2>=1,G2>=1,J2>=1,M2>=1,Z3>=1,U5>=1,M1>=N1+1,O1>=P1+1,E2>=F2+1,N2>=O2+1,W3>=X3+1,O4>=P4+1,S4>=T4+1,X5>=Y5+1,Z5>=A6+1] 13.37/13.40 13.37/13.40 * Chain [74]: 1*s(16)+0 13.37/13.40 with precondition: [B2>=1,G2>=1,J2>=1,M2>=1,Z3>=1,U5>=1,E2>=F2+1,N2>=O2+1,W3>=X3+1,O4>=P4+1,S4>=T4+1,X5>=Y5+1,Z5>=A6+1] 13.37/13.40 13.37/13.40 * Chain [73]: 1*s(17)+0 13.37/13.40 with precondition: [B2>=1,G2>=1,C3>=1,Z3>=1,M1>=N1+1,O1>=P1+1,E2>=F2+1,G3>=H3+1,W3>=X3+1,O4>=P4+1,S4>=T4+1,X4>=Y4+1,B5>=C5+1,G5>=H5+1,I5>=J5+1] 13.37/13.40 13.37/13.40 * Chain [72]: 0 13.37/13.40 with precondition: [B2>=1,G2>=1,C3>=1,Z3>=1,M1>=N1+1,O1>=P1+1,E2>=F2+1,G3>=H3+1,W3>=X3+1,X4>=Y4+1,B5>=C5+1,G5>=H5+1,I5>=J5+1] 13.37/13.40 13.37/13.40 * Chain [71]: 1*s(18)+0 13.37/13.40 with precondition: [B2>=1,G2>=1,C3>=1,Z3>=1,E2>=F2+1,G3>=H3+1,W3>=X3+1,O4>=P4+1,S4>=T4+1,X4>=Y4+1,B5>=C5+1,G5>=H5+1,I5>=J5+1] 13.37/13.40 13.37/13.40 * Chain [70]: 0 13.37/13.40 with precondition: [J2>=1,M2>=1,Z3>=1,U5>=1,N2>=O2+1,W3>=X3+1,O4>=P4+1,S4>=T4+1,X5>=Y5+1,Z5>=A6+1] 13.37/13.40 13.37/13.40 * Chain [69]: 0 13.37/13.40 with precondition: [J2>=1,M2>=1,U5>=1,N2>=O2+1,P2>=Q2+1,R2>=S2+1,X5>=Y5+1,Z5>=A6+1] 13.37/13.40 13.37/13.40 * Chain [68]: 0 13.37/13.40 with precondition: [C3>=1,Z3>=1,G3>=H3+1,W3>=X3+1,X4>=Y4+1,B5>=C5+1,G5>=H5+1,I5>=J5+1] 13.37/13.40 13.37/13.40 * Chain [67]: 0 13.37/13.40 with precondition: [C3>=1,G3>=H3+1,I3>=J3+1,K3>=L3+1,G5>=H5+1,I5>=J5+1] 13.37/13.40 13.37/13.40 * Chain [66]: 0 13.37/13.40 with precondition: [U5>=1,X5>=Y5+1,Z5>=A6+1] 13.37/13.40 13.37/13.40 * Chain [65]: 0 13.37/13.40 with precondition: [G5>=H5+1,I5>=J5+1] 13.37/13.40 13.37/13.40 * Chain [64]...: 1*aux(4)+0 13.37/13.40 with precondition: [0>=B2,0>=J2,A2>=1,H2>=1,U5>=1,Y1>=Z1+1,K2>=L2+1,X5>=Y5+1,Z5>=A6+1] 13.37/13.40 13.37/13.40 * Chain [63]...: 1*aux(5)+0 13.37/13.40 with precondition: [0>=B2,0>=C3,A2>=1,Y1>=Z1+1,D3>=E3+1,G5>=H5+1,I5>=J5+1] 13.37/13.40 13.37/13.40 * Chain [62]...: 1*s(27)+0 13.37/13.40 with precondition: [0>=B2,A2>=1,J2>=1,M2>=1,Z3>=1,U5>=1,Y1>=Z1+1,N2>=O2+1,W3>=X3+1,O4>=P4+1,S4>=T4+1,X5>=Y5+1,Z5>=A6+1] 13.37/13.40 13.37/13.40 * Chain [61]...: 1*s(28)+0 13.37/13.40 with precondition: [0>=B2,A2>=1,C3>=1,Z3>=1,Y1>=Z1+1,G3>=H3+1,W3>=X3+1,X4>=Y4+1,B5>=C5+1,G5>=H5+1,I5>=J5+1] 13.37/13.40 13.37/13.40 * Chain [60]...: 2*s(29)+0 13.37/13.40 with precondition: [0>=J2,B2>=1,G2>=1,H2>=1,Z3>=1,U5>=1,M1>=N1+1,O1>=P1+1,E2>=F2+1,K2>=L2+1,W3>=X3+1,O4>=P4+1,S4>=T4+1,X5>=Y5+1,Z5>=A6+1] 13.37/13.40 13.37/13.40 * Chain [59]...: 2*s(31)+0 13.37/13.40 with precondition: [0>=J2,B2>=1,G2>=1,H2>=1,Z3>=1,U5>=1,E2>=F2+1,K2>=L2+1,W3>=X3+1,O4>=P4+1,S4>=T4+1,X5>=Y5+1,Z5>=A6+1] 13.37/13.40 13.37/13.40 * Chain [58]...: 1*s(33)+0 13.37/13.40 with precondition: [0>=J2,B2>=1,G2>=1,H2>=1,U5>=1,M1>=N1+1,O1>=P1+1,E2>=F2+1,K2>=L2+1,X5>=Y5+1,Z5>=A6+1] 13.37/13.40 13.37/13.40 * Chain [57]...: 1*aux(6)+0 13.37/13.40 with precondition: [0>=J2,H2>=1,U5>=1,K2>=L2+1,X5>=Y5+1,Z5>=A6+1] 13.37/13.40 13.37/13.40 * Chain [56]...: 2*s(37)+0 13.37/13.40 with precondition: [0>=C3,B2>=1,G2>=1,Z3>=1,M1>=N1+1,O1>=P1+1,E2>=F2+1,D3>=E3+1,W3>=X3+1,O4>=P4+1,S4>=T4+1,G5>=H5+1,I5>=J5+1] 13.37/13.40 13.37/13.40 * Chain [55]...: 2*s(39)+0 13.37/13.40 with precondition: [0>=C3,B2>=1,G2>=1,Z3>=1,E2>=F2+1,D3>=E3+1,W3>=X3+1,O4>=P4+1,S4>=T4+1,G5>=H5+1,I5>=J5+1] 13.37/13.40 13.37/13.40 * Chain [54]...: 1*s(41)+0 13.37/13.40 with precondition: [0>=C3,B2>=1,G2>=1,M1>=N1+1,O1>=P1+1,E2>=F2+1,D3>=E3+1,G5>=H5+1,I5>=J5+1] 13.37/13.40 13.37/13.40 * Chain [53]...: 1*aux(7)+0 13.37/13.40 with precondition: [0>=C3,D3>=E3+1,G5>=H5+1,I5>=J5+1] 13.37/13.40 13.37/13.40 13.37/13.40 Closed-form bounds 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,R6): 13.37/13.40 ------------------------------------- 13.37/13.40 * Chain [79] with precondition: [0>=B2,A2>=1,J2>=1,M2>=1,Z3>=1,U5>=1,Y1>=Z1+1,N2>=O2+1,W3>=X3+1,O4>=P4+1,S4>=T4+1,X5>=Y5+1,Z5>=A6+1] 13.37/13.40 - Upper bound: inf 13.37/13.40 - Complexity: infinity 13.37/13.40 * Chain [78] with precondition: [0>=B2,A2>=1,C3>=1,Z3>=1,Y1>=Z1+1,G3>=H3+1,W3>=X3+1,X4>=Y4+1,B5>=C5+1,G5>=H5+1,I5>=J5+1] 13.37/13.40 - Upper bound: inf 13.37/13.40 - Complexity: infinity 13.37/13.40 * Chain [77] with precondition: [0>=J2,H2>=1,U5>=1,K2>=L2+1,X5>=Y5+1,Z5>=A6+1] 13.37/13.40 - Upper bound: inf 13.37/13.40 - Complexity: infinity 13.37/13.40 * Chain [76] with precondition: [0>=C3,D3>=E3+1,G5>=H5+1,I5>=J5+1] 13.37/13.40 - Upper bound: inf 13.37/13.40 - Complexity: infinity 13.37/13.40 * Chain [75] with precondition: [B2>=1,G2>=1,J2>=1,M2>=1,Z3>=1,U5>=1,M1>=N1+1,O1>=P1+1,E2>=F2+1,N2>=O2+1,W3>=X3+1,O4>=P4+1,S4>=T4+1,X5>=Y5+1,Z5>=A6+1] 13.37/13.40 - Upper bound: inf 13.37/13.40 - Complexity: infinity 13.37/13.40 * Chain [74] with precondition: [B2>=1,G2>=1,J2>=1,M2>=1,Z3>=1,U5>=1,E2>=F2+1,N2>=O2+1,W3>=X3+1,O4>=P4+1,S4>=T4+1,X5>=Y5+1,Z5>=A6+1] 13.37/13.40 - Upper bound: inf 13.37/13.40 - Complexity: infinity 13.37/13.40 * Chain [73] with precondition: [B2>=1,G2>=1,C3>=1,Z3>=1,M1>=N1+1,O1>=P1+1,E2>=F2+1,G3>=H3+1,W3>=X3+1,O4>=P4+1,S4>=T4+1,X4>=Y4+1,B5>=C5+1,G5>=H5+1,I5>=J5+1] 13.37/13.40 - Upper bound: inf 13.37/13.40 - Complexity: infinity 13.37/13.40 * Chain [72] with precondition: [B2>=1,G2>=1,C3>=1,Z3>=1,M1>=N1+1,O1>=P1+1,E2>=F2+1,G3>=H3+1,W3>=X3+1,X4>=Y4+1,B5>=C5+1,G5>=H5+1,I5>=J5+1] 13.37/13.40 - Upper bound: 0 13.37/13.40 - Complexity: constant 13.37/13.40 * Chain [71] with precondition: [B2>=1,G2>=1,C3>=1,Z3>=1,E2>=F2+1,G3>=H3+1,W3>=X3+1,O4>=P4+1,S4>=T4+1,X4>=Y4+1,B5>=C5+1,G5>=H5+1,I5>=J5+1] 13.37/13.40 - Upper bound: inf 13.37/13.40 - Complexity: infinity 13.37/13.40 * Chain [70] with precondition: [J2>=1,M2>=1,Z3>=1,U5>=1,N2>=O2+1,W3>=X3+1,O4>=P4+1,S4>=T4+1,X5>=Y5+1,Z5>=A6+1] 13.37/13.40 - Upper bound: 0 13.37/13.40 - Complexity: constant 13.37/13.40 * Chain [69] with precondition: [J2>=1,M2>=1,U5>=1,N2>=O2+1,P2>=Q2+1,R2>=S2+1,X5>=Y5+1,Z5>=A6+1] 13.37/13.40 - Upper bound: 0 13.37/13.40 - Complexity: constant 13.37/13.40 * Chain [68] with precondition: [C3>=1,Z3>=1,G3>=H3+1,W3>=X3+1,X4>=Y4+1,B5>=C5+1,G5>=H5+1,I5>=J5+1] 13.37/13.40 - Upper bound: 0 13.37/13.40 - Complexity: constant 13.37/13.40 * Chain [67] with precondition: [C3>=1,G3>=H3+1,I3>=J3+1,K3>=L3+1,G5>=H5+1,I5>=J5+1] 13.37/13.40 - Upper bound: 0 13.37/13.40 - Complexity: constant 13.37/13.40 * Chain [66] with precondition: [U5>=1,X5>=Y5+1,Z5>=A6+1] 13.37/13.40 - Upper bound: 0 13.37/13.40 - Complexity: constant 13.37/13.40 * Chain [65] with precondition: [G5>=H5+1,I5>=J5+1] 13.37/13.40 - Upper bound: 0 13.37/13.40 - Complexity: constant 13.37/13.40 * Chain [64]... with precondition: [0>=B2,0>=J2,A2>=1,H2>=1,U5>=1,Y1>=Z1+1,K2>=L2+1,X5>=Y5+1,Z5>=A6+1] 13.37/13.40 - Upper bound: inf 13.37/13.40 - Complexity: infinity 13.37/13.40 * Chain [63]... with precondition: [0>=B2,0>=C3,A2>=1,Y1>=Z1+1,D3>=E3+1,G5>=H5+1,I5>=J5+1] 13.37/13.40 - Upper bound: inf 13.37/13.40 - Complexity: infinity 13.37/13.40 * Chain [62]... with precondition: [0>=B2,A2>=1,J2>=1,M2>=1,Z3>=1,U5>=1,Y1>=Z1+1,N2>=O2+1,W3>=X3+1,O4>=P4+1,S4>=T4+1,X5>=Y5+1,Z5>=A6+1] 13.37/13.40 - Upper bound: inf 13.37/13.40 - Complexity: infinity 13.37/13.40 * Chain [61]... with precondition: [0>=B2,A2>=1,C3>=1,Z3>=1,Y1>=Z1+1,G3>=H3+1,W3>=X3+1,X4>=Y4+1,B5>=C5+1,G5>=H5+1,I5>=J5+1] 13.37/13.40 - Upper bound: inf 13.37/13.40 - Complexity: infinity 13.37/13.40 * Chain [60]... with precondition: [0>=J2,B2>=1,G2>=1,H2>=1,Z3>=1,U5>=1,M1>=N1+1,O1>=P1+1,E2>=F2+1,K2>=L2+1,W3>=X3+1,O4>=P4+1,S4>=T4+1,X5>=Y5+1,Z5>=A6+1] 13.37/13.40 - Upper bound: inf 13.37/13.40 - Complexity: infinity 13.37/13.40 * Chain [59]... with precondition: [0>=J2,B2>=1,G2>=1,H2>=1,Z3>=1,U5>=1,E2>=F2+1,K2>=L2+1,W3>=X3+1,O4>=P4+1,S4>=T4+1,X5>=Y5+1,Z5>=A6+1] 13.37/13.40 - Upper bound: inf 13.37/13.40 - Complexity: infinity 13.37/13.40 * Chain [58]... with precondition: [0>=J2,B2>=1,G2>=1,H2>=1,U5>=1,M1>=N1+1,O1>=P1+1,E2>=F2+1,K2>=L2+1,X5>=Y5+1,Z5>=A6+1] 13.37/13.40 - Upper bound: inf 13.37/13.40 - Complexity: infinity 13.37/13.40 * Chain [57]... with precondition: [0>=J2,H2>=1,U5>=1,K2>=L2+1,X5>=Y5+1,Z5>=A6+1] 13.37/13.40 - Upper bound: inf 13.37/13.40 - Complexity: infinity 13.37/13.40 * Chain [56]... with precondition: [0>=C3,B2>=1,G2>=1,Z3>=1,M1>=N1+1,O1>=P1+1,E2>=F2+1,D3>=E3+1,W3>=X3+1,O4>=P4+1,S4>=T4+1,G5>=H5+1,I5>=J5+1] 13.37/13.40 - Upper bound: inf 13.37/13.40 - Complexity: infinity 13.37/13.40 * Chain [55]... with precondition: [0>=C3,B2>=1,G2>=1,Z3>=1,E2>=F2+1,D3>=E3+1,W3>=X3+1,O4>=P4+1,S4>=T4+1,G5>=H5+1,I5>=J5+1] 13.37/13.40 - Upper bound: inf 13.37/13.40 - Complexity: infinity 13.37/13.40 * Chain [54]... with precondition: [0>=C3,B2>=1,G2>=1,M1>=N1+1,O1>=P1+1,E2>=F2+1,D3>=E3+1,G5>=H5+1,I5>=J5+1] 13.37/13.40 - Upper bound: inf 13.37/13.40 - Complexity: infinity 13.37/13.40 * Chain [53]... with precondition: [0>=C3,D3>=E3+1,G5>=H5+1,I5>=J5+1] 13.37/13.40 - Upper bound: inf 13.37/13.40 - Complexity: infinity 13.37/13.40 13.37/13.40 ### Maximum cost 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,R6): inf 13.37/13.40 Asymptotic class: infinity 13.37/13.40 * Total analysis performed in 11434 ms. 13.37/13.40 13.38/13.51 EOF