warning: Ignored call to loop_cont_f33/17 in equation loop_cont_f11/17 
Inferred 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): 
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):[[22],23]: 1+it1*(1)
  Such that:it1=<10,it1=<-1*B+10
  with precondition: [R=0,T=10,A+1=S,C=U,D=V,E=W,F=X,G=Y,H=Z,I=A1,J=B1,K=C1,L=D1,M=E1,N=F1,G1=H1,Q=I1,9>=A,9>=B,B>=0] 

Inferred cost of f11(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): 
f11(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):[[25],26]: 1+it1*(2+it2*(1))
  Such that:it1=<10,it1=<-1*A+10
            it2=<10
  with precondition: [R=0,S=10,T=10,U=0,W=0,X=0,Y=0,Z=0,I1=1000,D=V,I=A1,J=B1,K=C1,L=D1,M=E1,N=F1,G1=H1,9>=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,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1): 
f36(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):[[28,29],30]: 1+it1*(1)
  Such that:it1=<10,it1=<-1*D+10
  with precondition: [R=0,V=10,A=S,B=T,C+1=U,I=A1,J=B1,K=C1,L=D1,M=E1,N=F1,O=G1,P=H1,Q=I1,9>=C,9>=D,D>=0,X>=F,Z>=H] 

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,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1): 
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,G1,H1,I1):[33]: 1
  with precondition: [R=1,E1=1500,S=A,T=B,V=D,G1=O,H1=P,I1=Q,C=U,E=W,F=X,G=Y,H=Z,E=A1,F=B1,G=C1,H=D1,C>=10] 

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,G1,H1,I1):[[32],33]: 1+it1*(2+it2*(1))
  Such that:it1=<-1*C+10
            it2=<10
  with precondition: [R=1,U=10,V=10,E1=1500,A=S,B=T,W=A1,X=B1,Y=C1,Z=D1,O=G1,P=H1,Q=I1,9>=C,X>=F,Z>=H] 

Inferred cost of loop_cont_f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q): 
loop_cont_f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q):[35]: 1
  with precondition: [C>=10] 

loop_cont_f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q):[36]: 1+it1*(2+it2*(1))
  Such that:it1=<-1*C+10
            it2=<10
  with precondition: [9>=C] 

Inferred cost of f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q): 
f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q):[38]: 3+it1*(2+it2*(1))+it3*(2+it4*(1))
  Such that:it1=<10,it3=<10
            it2=<10
            it4=<10
  with precondition: [] 

Solved cost expressions of f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q): 
f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q):[38]: 243  with precondition: [] 
Maximum cost of f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q): 243 
Asymptotic class: constant 
Time statistics: 
Partial evaluation computed in 79 ms.
Invariants computed in 193 ms.
----Backward Invariants 66 ms.
----Transitive Invariants 48 ms.
Refinement performed in 203 ms.
Termination proved in 122 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 55 ms.
----Solving cost expressions 0 ms.

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