warning: Ignored call to loop_cont_f52/10 in equation loop_cont_f33/10 
Inferred cost of f19(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U): 
f19(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[[35],36]: 1+it1*(1)
  Such that:it1=<20,it1=<-1*B+20
  with precondition: [K=0,M=20,A+1=L,C=N,D=O,E=P,F=Q,G=R,I=T,S=U,19>=A,19>=B,B>=0] 

Inferred cost of f16(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U): 
f16(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[[38],39]: 1+it1*(2+it2*(1))
  Such that:it1=<20,it1=<-1*A+20
            it2=<20
  with precondition: [K=0,L=20,M=20,N=0,D=O,E=P,F=Q,G=R,I=T,S=U,19>=A] 

Inferred cost of f36(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U): 
f36(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[[41],42]: 1+it1*(1)
  Such that:it1=<20,it1=<-1*D+20
  with precondition: [K=0,O=20,A=L,B=M,C+1=N,E=P,F=Q,G=R,S=T,J=U,19>=C,19>=D,D>=0] 

Inferred cost of f33(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U): 
f33(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[45]: 1
  with precondition: [K=0,P=0,L=A,M=B,O=D,Q=F,R=G,S=H,T=I,U=J,C=N,C>=20] 

f33(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[[44],45]: 1+it1*(2+it2*(1))
  Such that:it1=<-1*C+20
            it2=<20
  with precondition: [K=0,N=20,O=20,P=0,A=L,B=M,F=Q,G=R,S=T,J=U,19>=C] 

Inferred cost of f59(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U): 
f59(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[[47],48]: 1+it1*(1)
  Such that:it1=<20,it1=<-1*G+20
  with precondition: [K=0,R=20,A=L,B=M,C=N,D=O,E=P,F+1=Q,H=S,I=T,J=U,19>=F,19>=G,G>=0] 

Inferred cost of f55(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U): 
f55(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[[50],51]: 1+it1*(2+it2*(1))
  Such that:it1=<20,it1=<-1*F+20
            it2=<20
  with precondition: [K=0,Q=20,R=20,A=L,B=M,C=N,D=O,E+1=P,H=S,I=T,J=U,19>=E,19>=F] 

Inferred cost of f52(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U): 
f52(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[54]: 1
  with precondition: [K=1,L=A,M=B,N=C,O=D,Q=F,R=G,S=H,T=I,U=J,E=P,E>=20] 

f52(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[[53],54]: 1+it1*(2+it2*(2+it3*(1)))
  Such that:it1=<-1*E+20
            it2=<20
            it3=<20
  with precondition: [K=1,P=20,Q=20,R=20,A=L,B=M,C=N,D=O,H=S,I=T,J=U,19>=E] 

Inferred cost of loop_cont_f33(A,B,C,D,E,F,G,H,I,J): 
loop_cont_f33(A,B,C,D,E,F,G,H,I,J):[56]: 1
  with precondition: [E>=20] 

loop_cont_f33(A,B,C,D,E,F,G,H,I,J):[57]: 1+it1*(2+it2*(2+it3*(1)))
  Such that:it1=<-1*E+20
            it2=<20
            it3=<20
  with precondition: [19>=E] 

Inferred cost of loop_cont_f16(A,B,C,D,E,F,G,H,I,J): 
loop_cont_f16(A,B,C,D,E,F,G,H,I,J):[59]: 2+it1*(2+it2*(2+it3*(1)))
  Such that:it1=<20
            it2=<20
            it3=<20
  with precondition: [C>=20] 

loop_cont_f16(A,B,C,D,E,F,G,H,I,J):[60]: 2+it1*(2+it2*(1))+it3*(2+it4*(2+it5*(1)))
  Such that:it1=<-1*C+20,it3=<20
            it2=<20
            it4=<20
            it5=<20
  with precondition: [19>=C] 

Inferred cost of f0(A,B,C,D,E,F,G,H,I,J): 
f0(A,B,C,D,E,F,G,H,I,J):[62]: 4+it1*(2+it2*(1))+it3*(2+it4*(1))+it5*(2+it6*(2+it7*(1)))
  Such that:it1=<20,it3=<20,it5=<20
            it2=<20
            it4=<20
            it6=<20
            it7=<20
  with precondition: [] 

Solved cost expressions of f0(A,B,C,D,E,F,G,H,I,J): 
f0(A,B,C,D,E,F,G,H,I,J):[62]: 9724  with precondition: [] 
Maximum cost of f0(A,B,C,D,E,F,G,H,I,J): 9724 
Asymptotic class: constant 
Time statistics: 
Partial evaluation computed in 60 ms.
Invariants computed in 149 ms.
----Backward Invariants 57 ms.
----Transitive Invariants 31 ms.
Refinement performed in 139 ms.
Termination proved in 69 ms.
Upper bounds computed in 90 ms.
----Phase cost structures 29 ms.
--------Equation cost structures 26 ms.
--------Inductive compression(1) 0 ms.
--------Inductive compression(2) 0 ms.
--------Black Cost 0 ms.
----Chain cost structures 54 ms.
----Solving cost expressions 1 ms.

Compressed phase information: 0 
Compressed Chains: 0 
Compressed invariants: 0 
Total analysis performed in 618 ms.