warning: Ignored call to f9/28 in equation f8/28 warning: Ignored call to loop_cont_f12/28 in equation loop_cont_f1/28 Inferred cost of f1(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): f1(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):[22]: 1 with precondition: [C=2,I=2,J=2,S=2,C1=0,V1=2,D1=A,H1=E,I1=F,J1=G,K1=H,K=M,Q1=N,R1=O,S1=P,K=Q,U1=R,W1=T,X1=U,Y1=V,Z1=W,A2=X,D2=A1,K=E1,0>=K+1,0>=G1+1,F1>=2,M1>=2,E2>=F1] f1(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):[23]: 0 with precondition: [J=2,S=2,C1=1,M1=2,V1=2,D1=A,E1=B,G1=D,H1=E,I1=F,J1=G,K1=H,C=I,O1=L,K=M,Q1=N,R1=O,S1=P,K=Q,U1=R,W1=T,X1=U,Y1=V,Z1=W,A2=X,B2=Y,C2=Z,D2=A1,E2=B1,C=F1,C=L1,K=N1,K=P1,K=T1,C>=2] f1(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):[24]: 1 with precondition: [C=2,I=2,J=2,S=2,C1=0,V1=2,D1=A,H1=E,I1=F,J1=G,K1=H,K=M,Q1=N,R1=O,S1=P,K=Q,U1=R,W1=T,X1=U,Y1=V,Z1=W,A2=X,D2=A1,K=E1,0>=K+1,F1>=2,G1>=1,M1>=2,E2>=F1] f1(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):[25]: 1 with precondition: [C=2,I=2,J=2,S=2,C1=0,V1=2,D1=A,H1=E,I1=F,J1=G,K1=H,K=M,Q1=N,R1=O,S1=P,K=Q,U1=R,W1=T,X1=U,Y1=V,Z1=W,A2=X,D2=A1,K=E1,0>=G1+1,K>=1,F1>=2,M1>=2,E2>=F1] f1(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):[26]: 1 with precondition: [C=2,I=2,J=2,S=2,C1=0,V1=2,D1=A,H1=E,I1=F,J1=G,K1=H,K=M,Q1=N,R1=O,S1=P,K=Q,U1=R,W1=T,X1=U,Y1=V,Z1=W,A2=X,D2=A1,K=E1,K>=1,F1>=2,G1>=1,M1>=2,E2>=F1] f1(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):[[21],22]: 1+it1*(1) Such that:it1=<1*C+ -1*J,it1=<1*I+ -1*J,it1=<1*R1+ -1,it1=<1*R1+ -1*J+1 with precondition: [S=2,C1=0,V1=2,C=I,K=M,A=D1,E=H1,F=I1,G=J1,H=K1,C=R1+1,P=S1,R=U1,T=W1,U=X1,V=Y1,W=Z1,X=A2,A1=D2,0>=E1+1,0>=G1+1,J>=2,F1>=2,M1>=2,C>=J+1,E2>=F1] f1(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):[[21],23]: 0+it1*(1) Such that:it1=<1*C+ -2,it1=<1*C+ -1*J,it1=<1*I+ -2,it1=<1*I+ -1*J,it1=<1*F1+ -2,it1=<1*L1+ -2,it1=<1*L1+ -1*J,it1=<1*M1+ -2,it1=<1*R1+ -1,it1=<1*R1+ -1*J+1 with precondition: [S=2,C1=1,V1=2,C=I,K=M,A=D1,B=E1,C=F1,D=G1,E=H1,F=I1,G=J1,H=K1,C=L1,R1+1=M1,N1=P1,P=S1,Q=T1,R=U1,T=W1,U=X1,V=Y1,W=Z1,X=A2,Y=B2,Z=C2,A1=D2,B1=E2,J>=2,R1>=J,C>=R1+1] f1(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):[[21],24]: 1+it1*(1) Such that:it1=<1*C+ -1*J,it1=<1*I+ -1*J,it1=<1*R1+ -1,it1=<1*R1+ -1*J+1 with precondition: [S=2,C1=0,V1=2,C=I,K=M,A=D1,E=H1,F=I1,G=J1,H=K1,C=R1+1,P=S1,R=U1,T=W1,U=X1,V=Y1,W=Z1,X=A2,A1=D2,0>=E1+1,J>=2,F1>=2,G1>=1,M1>=2,C>=J+1,E2>=F1] f1(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):[[21],25]: 1+it1*(1) Such that:it1=<1*C+ -1*J,it1=<1*I+ -1*J,it1=<1*R1+ -1,it1=<1*R1+ -1*J+1 with precondition: [S=2,C1=0,V1=2,C=I,K=M,A=D1,E=H1,F=I1,G=J1,H=K1,C=R1+1,P=S1,R=U1,T=W1,U=X1,V=Y1,W=Z1,X=A2,A1=D2,0>=G1+1,J>=2,E1>=1,F1>=2,M1>=2,C>=J+1,E2>=F1] f1(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):[[21],26]: 1+it1*(1) Such that:it1=<1*C+ -1*J,it1=<1*I+ -1*J,it1=<1*R1+ -1,it1=<1*R1+ -1*J+1 with precondition: [S=2,C1=0,V1=2,C=I,K=M,A=D1,E=H1,F=I1,G=J1,H=K1,C=R1+1,P=S1,R=U1,T=W1,U=X1,V=Y1,W=Z1,X=A2,A1=D2,J>=2,E1>=1,F1>=2,G1>=1,M1>=2,C>=J+1,E2>=F1] Inferred cost of f12(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): f12(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):[32]: 0 with precondition: [C1=1,D1=A,E1=B,F1=C,G1=D,H1=E,I1=F,J1=G,K1=H,L1=I,M1=J,N1=K,O1=L,P1=M,Q1=N,R1=O,S1=P,T1=Q,U1=R,V1=S,W1=T,X1=U,Y1=V,Z1=W,A2=X,B2=Y,C2=Z,D2=A1,E2=B1] f12(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):[[28,30],32]: inf with precondition: [C1=1,D1=A,B=E1,B=H1,G=I1,G=J1,D1=K1,I=L1,J=M1,K=N1,L=O1,M=P1,N=Q1,O=R1,P=S1,Q=T1,R=U1,S=V1,T=W1,U=X1,V=Y1,W=Z1,X=A2,Y=B2,Z=C2,A1=D2,B1=E2,0>=B+1,D1>=0,F1>=2] f12(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):[[28,30],33]...: inf with precondition: [0>=B+1,1>=C1,A>=0,C1>=0] f12(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):[[29,31],32]: inf with precondition: [C1=1,A=D1,B=E1,B=H1,G=I1,G=J1,A=K1,I=L1,J=M1,K=N1,L=O1,M=P1,N=Q1,O=R1,P=S1,Q=T1,R=U1,S=V1,T=W1,U=X1,V=Y1,W=Z1,X=A2,Y=B2,Z=C2,A1=D2,B1=E2,A>=0,B>=1,F1>=2] f12(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):[[29,31],33]...: inf with precondition: [1>=C1,A>=0,B>=1,C1>=0] Inferred cost of loop_cont_f1(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): loop_cont_f1(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):[34]: 0 with precondition: [] loop_cont_f1(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):[35]: inf with precondition: [0>=B+1,A>=0] loop_cont_f1(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):[36]: inf with precondition: [A>=0,B>=1] loop_cont_f1(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):[37]...: inf with precondition: [0>=B+1,A>=0] loop_cont_f1(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):[38]...: inf with precondition: [A>=0,B>=1] loop_cont_f1(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):[39]...: inf with precondition: [0>=B+1,A>=0] loop_cont_f1(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):[40]...: inf with precondition: [A>=0,B>=1] Inferred cost of f8(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): f8(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):[42]: 1 with precondition: [] f8(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):[43]: 2 with precondition: [] f8(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):[44]: inf with precondition: [A>=0] f8(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):[45]: 2 with precondition: [] f8(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):[46]: inf with precondition: [A>=0] f8(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):[47]: 2 with precondition: [] f8(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):[48]: inf with precondition: [A>=0] f8(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):[49]: 2 with precondition: [] f8(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):[50]: inf with precondition: [A>=0] f8(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):[51]: inf with precondition: [] f8(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):[52]: inf with precondition: [A>=0] f8(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):[53]: inf with precondition: [] f8(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):[54]: inf with precondition: [A>=0] f8(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):[55]: inf with precondition: [] f8(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):[56]: inf with precondition: [A>=0] f8(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):[57]: inf with precondition: [] f8(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):[58]: inf with precondition: [A>=0] f8(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):[59]: 1 with precondition: [] f8(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):[60]: inf with precondition: [] f8(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):[61]...: inf with precondition: [A>=0] f8(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):[62]...: inf with precondition: [A>=0] f8(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):[63]...: inf with precondition: [A>=0] f8(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):[64]...: inf with precondition: [A>=0] f8(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):[65]...: inf with precondition: [A>=0] f8(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):[66]...: inf with precondition: [A>=0] f8(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):[67]...: inf with precondition: [A>=0] f8(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):[68]...: inf with precondition: [A>=0] f8(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):[69]...: inf with precondition: [A>=0] f8(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):[70]...: inf with precondition: [A>=0] f8(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):[71]...: inf with precondition: [A>=0] f8(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):[72]...: inf with precondition: [A>=0] f8(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):[73]...: inf with precondition: [A>=0] f8(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):[74]...: inf with precondition: [A>=0] f8(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):[75]...: inf with precondition: [A>=0] f8(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):[76]...: inf with precondition: [A>=0] Solved cost expressions of f8(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): f8(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):[42]: 1 with precondition: [] f8(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):[43]: 2 with precondition: [] f8(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):[44]: inf with precondition: [A>=0] f8(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):[45]: 2 with precondition: [] f8(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):[46]: inf with precondition: [A>=0] f8(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):[47]: 2 with precondition: [] f8(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):[48]: inf with precondition: [A>=0] f8(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):[49]: 2 with precondition: [] f8(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):[50]: inf with precondition: [A>=0] f8(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):[51]: inf with precondition: [] f8(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):[52]: inf with precondition: [A>=0] f8(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):[53]: inf with precondition: [] f8(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):[54]: inf with precondition: [A>=0] f8(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):[55]: inf with precondition: [] f8(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):[56]: inf with precondition: [A>=0] f8(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):[57]: inf with precondition: [] f8(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):[58]: inf with precondition: [A>=0] f8(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):[59]: 1 with precondition: [] f8(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):[60]: inf with precondition: [] f8(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):[61]...: inf with precondition: [A>=0] f8(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):[62]...: inf with precondition: [A>=0] f8(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):[63]...: inf with precondition: [A>=0] f8(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):[64]...: inf with precondition: [A>=0] f8(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):[65]...: inf with precondition: [A>=0] f8(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):[66]...: inf with precondition: [A>=0] f8(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):[67]...: inf with precondition: [A>=0] f8(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):[68]...: inf with precondition: [A>=0] f8(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):[69]...: inf with precondition: [A>=0] f8(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):[70]...: inf with precondition: [A>=0] f8(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):[71]...: inf with precondition: [A>=0] f8(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):[72]...: inf with precondition: [A>=0] f8(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):[73]...: inf with precondition: [A>=0] f8(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):[74]...: inf with precondition: [A>=0] f8(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):[75]...: inf with precondition: [A>=0] f8(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):[76]...: inf with precondition: [A>=0] Maximum cost of f8(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): inf Asymptotic class: infinity Time statistics: Partial evaluation computed in 95 ms. Invariants computed in 574 ms. ----Backward Invariants 311 ms. ----Transitive Invariants 92 ms. Refinement performed in 711 ms. Termination proved in 242 ms. Upper bounds computed in 424 ms. ----Phase cost structures 167 ms. --------Equation cost structures 160 ms. --------Inductive compression(1) 0 ms. --------Inductive compression(2) 0 ms. --------Black Cost 0 ms. ----Chain cost structures 240 ms. ----Solving cost expressions 1 ms. Compressed phase information: 7 Compressed Chains: 0 Compressed invariants: 0 Total analysis performed in 2318 ms.