warning: Ignored call to f26/6 in equation f23/6 
warning: Ignored call to loop_cont_f21/6 in equation loop_cont_f11/6 
Warning: the following predicates are never called:[f23/6]
Inferred cost of f11(A,B,C,D,E,F,G,H,I,J,K,L,M): 
f11(A,B,C,D,E,F,G,H,I,J,K,L,M):[18]: 0
  with precondition: [A=4,C=0,F=4,G=1,H=4,J=0,M=4,K=D,B=E,B=I,B=L,B>=1] 

f11(A,B,C,D,E,F,G,H,I,J,K,L,M):[[15,16],17]: 1+it1*(1)
  Such that:it1=<2,it1=<4,it1=<1/2*A,it1=<-1*C+2,it1=<-1*C+4,it1=<-1*J+5,it1=<-1/2*H+2,it1=<1/2*A+ -1/2*H,it1=<1/2*J+2,it1=<-1*C+ -1/2*H+2,it1=<-1*H+ -1*J+4,it1=<-1/2*I+1/2*E+2,it1=<-3*C+2*H+3*J+4,it1=<-3*C+3*H+4*J+4,it1=<-3*I+2*H+3*B+4,it1=<-2*C+1*H+2*J+2,it1=<-2*C+3/2*H+2*J+2,it1=<-2*I+1*H+2*B+2,it1=<-2*I+3/2*H+2*B+2,it1=<-1*C+ -1*H+ -1*J+4,it1=<-1*I+ -1*J+1*B+2,it1=<-1*I+ -1*J+1*B+4,it1=<1*A+1*I+ -1*B+ -1*H,it1=<1*A+1*I+1*J+ -1*B,it1=<-3*I+1*J+3*B+3*H+4,it1=<-2*J+ -1*H+ -1*I+1*B+4,it1=<-1*I+ -1*J+ -1/2*H+1*B+2,it1=<5/2
  with precondition: [F=4,G=0,M=4,L=E,L=B+C,L=I+J,0>=H,C>=0,H+1>=0,L>=1,4>=2*C+A,J>=C,A>=H+2,H+J>=0,3*H+4*J+4>=4*C+A,A+2*C>=2*J+H] 

f11(A,B,C,D,E,F,G,H,I,J,K,L,M):[[15,16],18]: 0+it1*(1)
  Such that:it1=<2,it1=<3,it1=<4,it1=<1/2*A,it1=<-1*C+2,it1=<-1*C+4,it1=<-1*J+3,it1=<-1/2*H+2,it1=<1/2*A+ -1/2*H,it1=<-1*C+ -1/2*H+2,it1=<-1*E+1*I+3,it1=<-1*H+ -1*J+4,it1=<-1*L+1*I+3,it1=<-1*C+ -1*H+ -1*J+4,it1=<-1*I+ -1*J+1*B+2,it1=<-1*I+ -1*J+1*B+4,it1=<1*A+1*I+1*J+ -1*B,it1=<-2*J+ -1*H+ -1*I+1*B+4,it1=<-1*I+ -1*J+ -1/2*H+1*B+2,it1=<1*A+1*L+ -1*B+ -1*H+ -1*J,it1=<3/2
  with precondition: [F=4,G=1,M=4,L=E,A=H+2,L=B+C,L=I+J,A>=3,C>=0,L>=1,4>=2*C+A,L>=C+I,C+I+1>=L] 

Inferred cost of f21(A,B,C,D,E,F,G,H,I,J,K,L,M): 
f21(A,B,C,D,E,F,G,H,I,J,K,L,M):[21]: 0
  with precondition: [G=1,H=A,I=B,J=C,K=D,L=E,M=F] 

f21(A,B,C,D,E,F,G,H,I,J,K,L,M):[[20],21]: inf
  with precondition: [G=1,A=H,B=I,C=J,D=K,E=L,F=M] 

f21(A,B,C,D,E,F,G,H,I,J,K,L,M):[[20],22]...: inf
  with precondition: [1>=G,G>=0] 

Inferred cost of loop_cont_f11(A,B,C,D,E,F): 
loop_cont_f11(A,B,C,D,E,F):[23]: 0
  with precondition: [] 

loop_cont_f11(A,B,C,D,E,F):[24]: inf
  with precondition: [] 

loop_cont_f11(A,B,C,D,E,F):[25]...: inf
  with precondition: [] 

loop_cont_f11(A,B,C,D,E,F):[26]...: inf
  with precondition: [] 

Inferred cost of f0(A,B,C,D,E,F): 
f0(A,B,C,D,E,F):[28]: 2+it1*(1)
  Such that:it1=<2,it1=<4,it1=<5,it1=<6,it1=<10,it1=<12,it1=<5/2,it1=<13/4
  with precondition: [] 

f0(A,B,C,D,E,F):[29]: inf
  with precondition: [] 

f0(A,B,C,D,E,F):[30]: 1
  with precondition: [] 

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

f0(A,B,C,D,E,F):[32]...: inf
  with precondition: [] 

f0(A,B,C,D,E,F):[33]...: inf
  with precondition: [] 

Solved cost expressions of f0(A,B,C,D,E,F): 
f0(A,B,C,D,E,F):[28]: 4  with precondition: [] 
f0(A,B,C,D,E,F):[29]: inf  with precondition: [] 
f0(A,B,C,D,E,F):[30]: 1  with precondition: [] 
f0(A,B,C,D,E,F):[31]: 2  with precondition: [] 
f0(A,B,C,D,E,F):[32]...: inf  with precondition: [] 
f0(A,B,C,D,E,F):[33]...: inf  with precondition: [] 
Maximum cost of f0(A,B,C,D,E,F): inf 
Asymptotic class: infinity 
Time statistics: 
Partial evaluation computed in 10 ms.
Invariants computed in 59 ms.
----Backward Invariants 31 ms.
----Transitive Invariants 7 ms.
Refinement performed in 47 ms.
Termination proved in 28 ms.
Upper bounds computed in 142 ms.
----Phase cost structures 74 ms.
--------Equation cost structures 71 ms.
--------Inductive compression(1) 0 ms.
--------Inductive compression(2) 0 ms.
--------Black Cost 0 ms.
----Chain cost structures 65 ms.
----Solving cost expressions 0 ms.

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