warning: Ignored call to loop_cont_f34/8 in equation loop_cont_f18/8 
Inferred cost of f10(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q): 
f10(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q):[25]: 1
  with precondition: [B=0,I=0,K=0,N=0,J=A,O=F,P=G,Q=H,C=L,C=M,0>=C] 

f10(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q):[[24],25]: 1+it1*(1)
  Such that:it1=<1*C,it1=<1*K,it1=<1*L,it1=<1*M,it1=<1*C+ -1*B
  with precondition: [I=0,N=0,M=C,A=J,M=K,M=L,F=O,G=P,H=Q,B>=0,M>=B+1] 

Inferred cost of f22(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q): 
f22(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q):[[27,28],29]: 1+it1*(1)
  Such that:it1=<-1*N+1*M,it1=<-1*N+1*P,it1=<1*D+ -1*G,it1=<1*P+ -1*G,it1=<-1*E+1*P+ -1,it1=<-1*F+1*P+ -1
  with precondition: [I=0,A=J,B=K,C=L,D=M,E+1=N,D=P,F>=E,G>=F+1,O>=F,D>=G+1,D>=O+1] 

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

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

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

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

Inferred cost of loop_cont_f18(A,B,C,D,E,F,G,H): 
loop_cont_f18(A,B,C,D,E,F,G,H):[37]: 1
  with precondition: [E+1>=D] 

loop_cont_f18(A,B,C,D,E,F,G,H):[38]: 1+it1*(1)
  Such that:it1=<1*D+ -1*E+ -1
  with precondition: [D>=E+2] 

Inferred cost of loop_cont_f10(A,B,C,D,E,F,G,H): 
loop_cont_f10(A,B,C,D,E,F,G,H):[40]: 2
  with precondition: [1>=D,E+1>=D] 

loop_cont_f10(A,B,C,D,E,F,G,H):[41]: 2+it1*(1)
  Such that:it1=<1*E,it1=<1*D+ -1
  with precondition: [D>=2,E+1>=D] 

loop_cont_f10(A,B,C,D,E,F,G,H):[42]: 2+it1*(2+it2*(1))
  Such that:it1=<-1*E,it1=<1*D+ -1*E+ -1
            it2=<1*D+ -1*E+ -1,it2=<-1*E
  with precondition: [1>=D,D>=E+2] 

loop_cont_f10(A,B,C,D,E,F,G,H):[43]: 2+it1*(2+it2*(1))+it3*(1)
  Such that:it1=<1*D+ -1*E+ -1,it3=<1*D+ -1
            it2=<1*D+ -1*E+ -1
  with precondition: [D>=2,D>=E+2] 

Inferred cost of f0(A,B,C,D,E,F,G,H): 
f0(A,B,C,D,E,F,G,H):[45]: 4
  with precondition: [0>=C] 

f0(A,B,C,D,E,F,G,H):[46]: 4+it1*(1)
  Such that:it1=<1
  with precondition: [C=1] 

f0(A,B,C,D,E,F,G,H):[47]: 4+it1*(1)+it2*(2+it3*(1))+it4*(1)
  Such that:it1=<1*C,it2=<1*C+ -1,it4=<1*C+ -1
            it3=<1*C+ -1
  with precondition: [C>=2] 

Solved cost expressions of f0(A,B,C,D,E,F,G,H): 
f0(A,B,C,D,E,F,G,H):[45]: 4  with precondition: [0>=C] 
f0(A,B,C,D,E,F,G,H):[46]: 5  with precondition: [C=1] 
f0(A,B,C,D,E,F,G,H):[47]: (1*C+1)* (1*C+ -1)+1*C+ (1*C+ -1)+4  with precondition: [C>=2] 
Maximum cost of f0(A,B,C,D,E,F,G,H): max([5, (1*C+1)* (1*C+ -1)+1*C+ (1*C+ -1)+4]) 
Asymptotic class: n^2 
Time statistics: 
Partial evaluation computed in 26 ms.
Invariants computed in 90 ms.
----Backward Invariants 34 ms.
----Transitive Invariants 17 ms.
Refinement performed in 90 ms.
Termination proved in 42 ms.
Upper bounds computed in 127 ms.
----Phase cost structures 67 ms.
--------Equation cost structures 57 ms.
--------Inductive compression(1) 3 ms.
--------Inductive compression(2) 0 ms.
--------Black Cost 0 ms.
----Chain cost structures 53 ms.
----Solving cost expressions 1 ms.

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