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

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

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

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

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

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

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

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

loop_cont_f18(A,B,C,D,E,F,G):[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): 
loop_cont_f10(A,B,C,D,E,F,G):[40]: 2
  with precondition: [1>=D,E+1>=D] 

loop_cont_f10(A,B,C,D,E,F,G):[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):[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):[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): 
f0(A,B,C,D,E,F,G):[45]: 4
  with precondition: [0>=C] 

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

f0(A,B,C,D,E,F,G):[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): 
f0(A,B,C,D,E,F,G):[45]: 4  with precondition: [0>=C] 
f0(A,B,C,D,E,F,G):[46]: 5  with precondition: [C=1] 
f0(A,B,C,D,E,F,G):[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): max([5, (1*C+1)* (1*C+ -1)+1*C+ (1*C+ -1)+4]) 
Asymptotic class: n^2 
Time statistics: 
Partial evaluation computed in 22 ms.
Invariants computed in 69 ms.
----Backward Invariants 28 ms.
----Transitive Invariants 13 ms.
Refinement performed in 77 ms.
Termination proved in 31 ms.
Upper bounds computed in 96 ms.
----Phase cost structures 55 ms.
--------Equation cost structures 46 ms.
--------Inductive compression(1) 2 ms.
--------Inductive compression(2) 0 ms.
--------Black Cost 0 ms.
----Chain cost structures 35 ms.
----Solving cost expressions 0 ms.

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