6.77/6.82 MAYBE 6.77/6.82 6.77/6.82 Preprocessing Cost Relations 6.77/6.82 ===================================== 6.77/6.82 6.77/6.82 #### Computed strongly connected components 6.77/6.82 0. recursive : [f16/49] 6.77/6.82 1. recursive : [f16_loop_cont/66,f3/65] 6.77/6.82 2. non_recursive : [exit_location/1] 6.77/6.82 3. non_recursive : [f18/33] 6.77/6.82 4. non_recursive : [f22/33] 6.77/6.82 5. non_recursive : [f25/33] 6.77/6.82 6. non_recursive : [f3_loop_cont/34] 6.77/6.82 7. non_recursive : [f33/33] 6.77/6.82 6.77/6.82 #### Obtained direct recursion through partial evaluation 6.77/6.82 0. SCC is partially evaluated into f16/49 6.77/6.82 1. SCC is partially evaluated into f3/65 6.77/6.82 2. SCC is completely evaluated into other SCCs 6.77/6.82 3. SCC is completely evaluated into other SCCs 6.77/6.82 4. SCC is completely evaluated into other SCCs 6.77/6.82 5. SCC is completely evaluated into other SCCs 6.77/6.82 6. SCC is partially evaluated into f3_loop_cont/34 6.77/6.82 7. SCC is partially evaluated into f33/33 6.77/6.82 6.77/6.82 Control-Flow Refinement of Cost Relations 6.77/6.82 ===================================== 6.77/6.82 6.77/6.82 ### Specialization of cost equations f16/49 6.77/6.82 * CE 20 is refined into CE [21] 6.77/6.82 * CE 18 is refined into CE [22] 6.77/6.82 * CE 19 is refined into CE [23] 6.77/6.82 * CE 17 is refined into CE [24] 6.77/6.82 * CE 16 is refined into CE [25] 6.77/6.82 6.77/6.82 6.77/6.82 ### Cost equations --> "Loop" of f16/49 6.77/6.82 * CEs [25] --> Loop 20 6.77/6.82 * CEs [21] --> Loop 21 6.77/6.82 * CEs [22] --> Loop 22 6.77/6.82 * CEs [23] --> Loop 23 6.77/6.82 * CEs [24] --> Loop 24 6.77/6.82 6.77/6.82 ### Ranking functions of CR f16(A,B,F,G,H,I,J,K,L,M,O,P,Q,R,U,V,W,X,Y,Z,A1,B1,C1,D1,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) 6.77/6.82 6.77/6.82 #### Partial ranking functions of CR f16(A,B,F,G,H,I,J,K,L,M,O,P,Q,R,U,V,W,X,Y,Z,A1,B1,C1,D1,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) 6.77/6.82 6.77/6.82 6.77/6.82 ### Specialization of cost equations f3/65 6.77/6.82 * CE 8 is refined into CE [26] 6.77/6.82 * CE 9 is refined into CE [27] 6.77/6.82 * CE 2 is refined into CE [28,29,30] 6.77/6.82 * CE 3 is refined into CE [31,32,33] 6.77/6.82 * CE 11 is refined into CE [34] 6.77/6.82 * CE 7 is refined into CE [35,36,37] 6.77/6.82 * CE 6 is refined into CE [38,39,40] 6.77/6.82 * CE 10 is refined into CE [41] 6.77/6.82 * CE 5 is refined into CE [42,43,44,45,46] 6.77/6.82 * CE 4 is refined into CE [47,48,49,50,51] 6.77/6.82 6.77/6.82 6.77/6.82 ### Cost equations --> "Loop" of f3/65 6.77/6.82 * CEs [46] --> Loop 25 6.77/6.82 * CEs [51] --> Loop 26 6.77/6.82 * CEs [45] --> Loop 27 6.77/6.82 * CEs [44] --> Loop 28 6.77/6.82 * CEs [43] --> Loop 29 6.77/6.82 * CEs [42] --> Loop 30 6.77/6.82 * CEs [50] --> Loop 31 6.77/6.82 * CEs [49] --> Loop 32 6.77/6.82 * CEs [48] --> Loop 33 6.77/6.82 * CEs [47] --> Loop 34 6.77/6.82 * CEs [26] --> Loop 35 6.77/6.82 * CEs [27] --> Loop 36 6.77/6.82 * CEs [32] --> Loop 37 6.77/6.82 * CEs [29] --> Loop 38 6.77/6.82 * CEs [28] --> Loop 39 6.77/6.82 * CEs [31,34] --> Loop 40 6.77/6.82 * CEs [36] --> Loop 41 6.77/6.82 * CEs [35] --> Loop 42 6.77/6.82 * CEs [39] --> Loop 43 6.77/6.82 * CEs [38] --> Loop 44 6.77/6.82 * CEs [41] --> Loop 45 6.77/6.82 * CEs [33] --> Loop 46 6.77/6.82 * CEs [30] --> Loop 47 6.77/6.82 * CEs [37] --> Loop 48 6.77/6.82 * CEs [40] --> Loop 49 6.77/6.82 6.77/6.82 ### 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,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) 6.77/6.82 6.77/6.82 #### 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,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) 6.77/6.82 6.77/6.82 6.77/6.82 ### Specialization of cost equations f3_loop_cont/34 6.77/6.82 * CE 13 is refined into CE [52] 6.77/6.82 * CE 12 is refined into CE [53] 6.77/6.82 * CE 14 is refined into CE [54] 6.77/6.82 * CE 15 is refined into CE [55] 6.77/6.82 6.77/6.82 6.77/6.82 ### Cost equations --> "Loop" of f3_loop_cont/34 6.77/6.82 * CEs [52] --> Loop 50 6.77/6.82 * CEs [53] --> Loop 51 6.77/6.82 * CEs [54] --> Loop 52 6.77/6.82 * CEs [55] --> Loop 53 6.77/6.82 6.77/6.82 ### Ranking functions of CR f3_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) 6.77/6.82 6.77/6.82 #### Partial ranking functions of CR f3_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) 6.77/6.82 6.77/6.82 6.77/6.82 ### Specialization of cost equations f33/33 6.77/6.82 * CE 1 is refined into CE [56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80] 6.77/6.82 6.77/6.82 6.77/6.82 ### Cost equations --> "Loop" of f33/33 6.77/6.82 * CEs [76,80] --> Loop 54 6.77/6.82 * CEs [75,79] --> Loop 55 6.77/6.82 * CEs [71,72,73,74,77,78] --> Loop 56 6.77/6.82 * CEs [59] --> Loop 57 6.77/6.82 * CEs [60,65] --> Loop 58 6.77/6.82 * CEs [67] --> Loop 59 6.77/6.82 * CEs [57] --> Loop 60 6.77/6.82 * CEs [58,64] --> Loop 61 6.77/6.82 * CEs [63] --> Loop 62 6.77/6.82 * CEs [66] --> Loop 63 6.77/6.82 * CEs [56] --> Loop 64 6.77/6.82 * CEs [61,62,68,69,70] --> Loop 65 6.77/6.82 6.77/6.82 ### Ranking functions of CR f33(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,W1) 6.77/6.82 6.77/6.82 #### Partial ranking functions of CR f33(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,W1) 6.77/6.82 6.77/6.82 6.77/6.82 Computing Bounds 6.77/6.82 ===================================== 6.77/6.82 6.77/6.82 #### Cost of chains of f16(A,B,F,G,H,I,J,K,L,M,O,P,Q,R,U,V,W,X,Y,Z,A1,B1,C1,D1,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): 6.77/6.82 * Chain [[20]]...: 1*it(20)+0 6.77/6.82 with precondition: [F=K,F=I,F=H,F=G,A>=0,Q>=J+1,W1>=2,4>=W1] 6.77/6.82 6.77/6.82 * Chain [[20],24]: 1*it(20)+0 6.77/6.82 with precondition: [W1=2,G2=0,H2=0,K2=0,F=G,F=H,F=I,F=K,B=Y1,Z1=A2,Z1=B2,Z1=C2,Z1=E2,L=F2,A1=R2,B1=S2,C1=T2,D1=U2,A>=0,X1>=0,Q>=J+1] 6.77/6.82 6.77/6.82 * Chain [[20],23]: 1*it(20)+0 6.77/6.82 with precondition: [W1=3,G2=0,F=G,F=H,F=I,F=K,Z1=A2,Z1=B2,Z1=C2,0>=R2+1,A>=0,Q>=J+1] 6.77/6.82 6.77/6.82 * Chain [[20],22]: 1*it(20)+0 6.77/6.82 with precondition: [W1=3,G2=0,F=G,F=H,F=I,F=K,Z1=A2,Z1=B2,Z1=C2,A>=0,R2>=1,Q>=J+1] 6.77/6.82 6.77/6.82 * Chain [[20],21]: 1*it(20)+0 6.77/6.82 with precondition: [W1=4,F=G,F=H,F=I,F=K,A>=0,Q>=J+1] 6.77/6.82 6.77/6.82 * Chain [24]: 0 6.77/6.82 with precondition: [W1=2,G2=0,H2=0,K2=0,Y1=B,F=G,F=H,F=I,F=K,F2=L,L2=U,M2=V,N2=W,O2=X,P2=Y,R2=A1,S2=B1,T2=C1,U2=D1,F=Z1,F=A2,F=B2,F=C2,F=E2,A>=0,X1>=0,J>=Q] 6.77/6.82 6.77/6.82 * Chain [23]: 0 6.77/6.82 with precondition: [W1=3,G2=0,F=G,F=H,F=I,F=K,L2=U,M2=V,N2=W,O2=X,P2=Y,F=Z1,F=A2,F=B2,F=C2,0>=R2+1,A>=0,J>=Q] 6.77/6.82 6.77/6.82 * Chain [22]: 0 6.77/6.82 with precondition: [W1=3,G2=0,F=G,F=H,F=I,F=K,L2=U,M2=V,N2=W,O2=X,P2=Y,F=Z1,F=A2,F=B2,F=C2,A>=0,R2>=1,J>=Q] 6.77/6.82 6.77/6.82 * Chain [21]: 0 6.77/6.82 with precondition: [W1=4,F=G,F=H,F=I,F=K] 6.77/6.82 6.77/6.82 6.77/6.82 #### 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,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): 6.77/6.82 * Chain [[25,26,27,28,29,30,31,32,33,34]]...: 16*it(25)+0 6.77/6.82 with precondition: [] 6.77/6.82 6.77/6.82 * Chain [[25,26,27,28,29,30,31,32,33,34],49]...: 17*it(25)+0 6.77/6.82 with precondition: [W1=2,C=Z1,D=A2,N=K2,S=P2,T=Q2,E1=B3,F1=C3] 6.77/6.82 6.77/6.82 * Chain [[25,26,27,28,29,30,31,32,33,34],48]...: 17*it(25)+0 6.77/6.82 with precondition: [W1=2,C=Z1,D=A2,N=K2,S=P2,T=Q2,E1=B3,F1=C3] 6.77/6.82 6.77/6.82 * Chain [[25,26,27,28,29,30,31,32,33,34],47]...: 17*it(25)+0 6.77/6.82 with precondition: [W1=4] 6.77/6.82 6.77/6.82 * Chain [[25,26,27,28,29,30,31,32,33,34],46]...: 17*it(25)+0 6.77/6.82 with precondition: [W1=4] 6.77/6.82 6.77/6.82 * Chain [[25,26,27,28,29,30,31,32,33,34],45]: 16*it(25)+0 6.77/6.82 with precondition: [W1=6,Z1=0,A2=0,Y1=F2,Y1=I2,Y1=J2,Y1=K2,S=P2,T=Q2,E1=B3,F1=C3] 6.77/6.82 6.77/6.82 * Chain [[25,26,27,28,29,30,31,32,33,34],44]: 16*it(25)+0 6.77/6.82 with precondition: [W1=2,J2=0,L2=0,O2=0,C=Z1,D=A2,C2=D2,C2=E2,C2=F2,C2=H2,N=K2,S=P2,T=Q2,E1=B3,F1=C3,X1>=0] 6.77/6.82 6.77/6.82 * Chain [[25,26,27,28,29,30,31,32,33,34],43]: 17*it(25)+0 6.77/6.82 with precondition: [W1=2,J2=0,L2=0,O2=0,C=Z1,D=A2,C2=D2,C2=E2,C2=F2,C2=H2,N=K2,S=P2,T=Q2,E1=B3,F1=C3,X1>=0] 6.77/6.82 6.77/6.82 * Chain [[25,26,27,28,29,30,31,32,33,34],42]: 16*it(25)+0 6.77/6.82 with precondition: [W1=2,J2=0,L2=0,O2=0,C=Z1,D=A2,C2=D2,C2=E2,C2=F2,C2=H2,N=K2,S=P2,T=Q2,E1=B3,F1=C3,X1>=0] 6.77/6.82 6.77/6.82 * Chain [[25,26,27,28,29,30,31,32,33,34],41]: 17*it(25)+0 6.77/6.82 with precondition: [W1=2,J2=0,L2=0,O2=0,C=Z1,D=A2,C2=D2,C2=E2,C2=F2,C2=H2,N=K2,S=P2,T=Q2,E1=B3,F1=C3,X1>=0] 6.77/6.82 6.77/6.82 * Chain [[25,26,27,28,29,30,31,32,33,34],40]: 16*it(25)+0 6.77/6.82 with precondition: [W1=4] 6.77/6.82 6.77/6.82 * Chain [[25,26,27,28,29,30,31,32,33,34],39]: 16*it(25)+0 6.77/6.82 with precondition: [W1=4] 6.77/6.82 6.77/6.82 * Chain [[25,26,27,28,29,30,31,32,33,34],38]: 17*it(25)+0 6.77/6.82 with precondition: [W1=4] 6.77/6.82 6.77/6.82 * Chain [[25,26,27,28,29,30,31,32,33,34],37]: 17*it(25)+0 6.77/6.82 with precondition: [W1=4] 6.77/6.82 6.77/6.82 * Chain [[25,26,27,28,29,30,31,32,33,34],36]: 16*it(25)+0 6.77/6.82 with precondition: [W1=5,A2=0,Y1=Z1,N=K2,S=P2,T=Q2,E1=B3,F1=C3,0>=Y1+1,X1>=1] 6.77/6.82 6.77/6.82 * Chain [[25,26,27,28,29,30,31,32,33,34],35]: 16*it(25)+0 6.77/6.82 with precondition: [W1=5,A2=0,Y1=Z1,N=K2,S=P2,T=Q2,E1=B3,F1=C3,X1>=1,Y1>=1] 6.77/6.82 6.77/6.82 * Chain [49]...: 1*s(19)+0 6.77/6.82 with precondition: [W1=2,Z1=C,A2=D,B2=E,K2=N,P2=S,Q2=T,B3=E1,C3=F1,A>=0,Q>=J+2] 6.77/6.82 6.77/6.82 * Chain [48]...: 1*s(20)+0 6.77/6.82 with precondition: [W1=2,Z1=C,A2=D,K2=N,P2=S,Q2=T,B3=E1,C3=F1,J>=0,Q>=J+2] 6.77/6.82 6.77/6.82 * Chain [47]...: 1*s(21)+0 6.77/6.82 with precondition: [W1=4,A>=0,Q>=J+2] 6.77/6.82 6.77/6.82 * Chain [46]...: 1*s(22)+0 6.77/6.82 with precondition: [W1=4,J>=0,Q>=J+2] 6.77/6.82 6.77/6.82 * Chain [45]: 0 6.77/6.82 with precondition: [B=0,W1=6,Z1=0,A2=0,B2=E,C2=F,D2=G,E2=H,G2=J,H2=K,L2=O,M2=P,N2=Q,O2=R,P2=S,Q2=T,R2=U,S2=V,T2=W,U2=X,V2=Y,W2=Z,X2=A1,Y2=B1,Z2=C1,A3=D1,B3=E1,C3=F1,L=Y1,L=F2,L=I2,L=J2,L=K2,A>=1] 6.77/6.82 6.77/6.82 * Chain [44]: 0 6.77/6.82 with precondition: [W1=2,J2=0,L2=0,O2=0,Y1=B,Z1=C,A2=D,B2=E,I2=L,K2=N,P2=S,Q2=T,R2=U,S2=V,T2=W,U2=X,V2=Y,X2=A1,Y2=B1,Z2=C1,A3=D1,B3=E1,C3=F1,C2=D2,C2=E2,C2=F2,C2=H2,A>=0,X1>=0,J+1>=Q] 6.77/6.82 6.77/6.82 * Chain [43]: 1*s(23)+0 6.77/6.82 with precondition: [W1=2,J2=0,L2=0,O2=0,Y1=B,Z1=C,A2=D,B2=E,I2=L,K2=N,P2=S,Q2=T,X2=A1,Y2=B1,Z2=C1,A3=D1,B3=E1,C3=F1,C2=D2,C2=E2,C2=F2,C2=H2,A>=0,X1>=0,Q>=J+2] 6.77/6.82 6.77/6.82 * Chain [42]: 0 6.77/6.82 with precondition: [W1=2,J2=0,L2=0,O2=0,Y1=B,Z1=C,A2=D,I2=L,K2=N,P2=S,Q2=T,R2=U,S2=V,T2=W,U2=X,V2=Y,X2=A1,Y2=B1,Z2=C1,A3=D1,B3=E1,C3=F1,C2=D2,C2=E2,C2=F2,C2=H2,J>=0,X1>=0,J+1>=Q] 6.77/6.82 6.77/6.82 * Chain [41]: 1*s(24)+0 6.77/6.82 with precondition: [W1=2,J2=0,L2=0,O2=0,Y1=B,Z1=C,A2=D,I2=L,K2=N,P2=S,Q2=T,X2=A1,Y2=B1,Z2=C1,A3=D1,B3=E1,C3=F1,C2=D2,C2=E2,C2=F2,C2=H2,J>=0,X1>=0,Q>=J+2] 6.77/6.82 6.77/6.82 * Chain [40]: 0 6.77/6.82 with precondition: [W1=4] 6.77/6.82 6.77/6.82 * Chain [39]: 0 6.77/6.82 with precondition: [W1=4,A>=0] 6.77/6.82 6.77/6.82 * Chain [38]: 1*s(25)+0 6.77/6.82 with precondition: [W1=4,A>=0,Q>=J+2] 6.77/6.82 6.77/6.82 * Chain [37]: 1*s(26)+0 6.77/6.82 with precondition: [W1=4,J>=0,Q>=J+2] 6.77/6.82 6.77/6.82 * Chain [36]: 0 6.77/6.82 with precondition: [W1=5,A2=0,B2=E,C2=F,D2=G,E2=H,F2=I,G2=J,H2=K,I2=L,J2=M,K2=N,L2=O,M2=P,N2=Q,O2=R,P2=S,Q2=T,R2=U,S2=V,T2=W,U2=X,V2=Y,W2=Z,X2=A1,Y2=B1,Z2=C1,A3=D1,B3=E1,C3=F1,B=Y1,B=Z1,0>=B+1,A>=1,X1>=1] 6.77/6.82 6.77/6.82 * Chain [35]: 0 6.77/6.82 with precondition: [W1=5,A2=0,B2=E,C2=F,D2=G,E2=H,F2=I,G2=J,H2=K,I2=L,J2=M,K2=N,L2=O,M2=P,N2=Q,O2=R,P2=S,Q2=T,R2=U,S2=V,T2=W,U2=X,V2=Y,W2=Z,X2=A1,Y2=B1,Z2=C1,A3=D1,B3=E1,C3=F1,B=Y1,B=Z1,A>=1,B>=1,X1>=1] 6.77/6.82 6.77/6.82 6.77/6.82 #### Cost of chains of f3_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): 6.77/6.82 * Chain [53]: 0 6.77/6.82 with precondition: [A=2] 6.77/6.82 6.77/6.82 * Chain [52]: 0 6.77/6.82 with precondition: [A=4] 6.77/6.82 6.77/6.82 * Chain [51]: 0 6.77/6.82 with precondition: [A=5] 6.77/6.82 6.77/6.82 * Chain [50]: 0 6.77/6.82 with precondition: [A=6] 6.77/6.82 6.77/6.82 6.77/6.82 #### Cost of chains of f33(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,W1): 6.77/6.82 * Chain [65]: 1*aux(5)+0 6.77/6.82 with precondition: [] 6.77/6.82 6.77/6.82 * Chain [64]: 0 6.77/6.82 with precondition: [B=0,A>=1] 6.77/6.82 6.77/6.82 * Chain [63]: 0 6.77/6.82 with precondition: [0>=B+1,A>=1] 6.77/6.82 6.77/6.82 * Chain [62]: 0 6.77/6.82 with precondition: [A>=0] 6.77/6.82 6.77/6.82 * Chain [61]: 1*aux(6)+0 6.77/6.82 with precondition: [A>=0,Q>=J+2] 6.77/6.82 6.77/6.82 * Chain [60]: 0 6.77/6.82 with precondition: [A>=0,J+1>=Q] 6.77/6.82 6.77/6.82 * Chain [59]: 0 6.77/6.82 with precondition: [A>=1,B>=1] 6.77/6.82 6.77/6.82 * Chain [58]: 1*aux(7)+0 6.77/6.82 with precondition: [J>=0,Q>=J+2] 6.77/6.82 6.77/6.82 * Chain [57]: 0 6.77/6.82 with precondition: [J>=0,J+1>=Q] 6.77/6.82 6.77/6.82 * Chain [56]...: 1*aux(8)+0 6.77/6.82 with precondition: [] 6.77/6.82 6.77/6.82 * Chain [55]...: 1*aux(9)+0 6.77/6.82 with precondition: [A>=0,Q>=J+2] 6.77/6.82 6.77/6.82 * Chain [54]...: 1*aux(10)+0 6.77/6.82 with precondition: [J>=0,Q>=J+2] 6.77/6.82 6.77/6.82 6.77/6.83 Closed-form bounds of f33(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,W1): 6.77/6.83 ------------------------------------- 6.77/6.83 * Chain [65] with precondition: [] 6.77/6.83 - Upper bound: inf 6.77/6.83 - Complexity: infinity 6.77/6.83 * Chain [64] with precondition: [B=0,A>=1] 6.77/6.83 - Upper bound: 0 6.77/6.83 - Complexity: constant 6.77/6.83 * Chain [63] with precondition: [0>=B+1,A>=1] 6.77/6.83 - Upper bound: 0 6.77/6.83 - Complexity: constant 6.77/6.83 * Chain [62] with precondition: [A>=0] 6.77/6.83 - Upper bound: 0 6.77/6.83 - Complexity: constant 6.77/6.83 * Chain [61] with precondition: [A>=0,Q>=J+2] 6.77/6.83 - Upper bound: inf 6.77/6.83 - Complexity: infinity 6.77/6.83 * Chain [60] with precondition: [A>=0,J+1>=Q] 6.77/6.83 - Upper bound: 0 6.77/6.83 - Complexity: constant 6.77/6.83 * Chain [59] with precondition: [A>=1,B>=1] 6.77/6.83 - Upper bound: 0 6.77/6.83 - Complexity: constant 6.77/6.83 * Chain [58] with precondition: [J>=0,Q>=J+2] 6.77/6.83 - Upper bound: inf 6.77/6.83 - Complexity: infinity 6.77/6.83 * Chain [57] with precondition: [J>=0,J+1>=Q] 6.77/6.83 - Upper bound: 0 6.77/6.83 - Complexity: constant 6.77/6.83 * Chain [56]... with precondition: [] 6.77/6.83 - Upper bound: inf 6.77/6.83 - Complexity: infinity 6.77/6.83 * Chain [55]... with precondition: [A>=0,Q>=J+2] 6.77/6.83 - Upper bound: inf 6.77/6.83 - Complexity: infinity 6.77/6.83 * Chain [54]... with precondition: [J>=0,Q>=J+2] 6.77/6.83 - Upper bound: inf 6.77/6.83 - Complexity: infinity 6.77/6.83 6.77/6.83 ### Maximum cost of f33(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,W1): inf 6.77/6.83 Asymptotic class: infinity 6.77/6.83 * Total analysis performed in 6495 ms. 6.77/6.83 6.83/6.93 EOF