warning: Ignored call to f27/6 in equation f24/6 
warning: Ignored call to loop_cont_f22/6 in equation loop_cont_f12/6 
Warning: the following predicates are never called:[f24/6]
Inferred cost of f12(A,B,C,D,E,F,G,H,I,J,K,L,M): 
f12(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] 

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

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

Inferred cost of f22(A,B,C,D,E,F,G,H,I,J,K,L,M): 
f22(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] 

f22(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] 

f22(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_f12(A,B,C,D,E,F): 
loop_cont_f12(A,B,C,D,E,F):[23]: 0
  with precondition: [] 

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

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

loop_cont_f12(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)+it2*(1)
  Such that:it1=<4,it1=<7,it1+it2=<4,it2=<3,it2=<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)+it2*(1)
  Such that:it1=<3,it1=<4,it1=<7,it1+it2=<3,it1+it2=<4,it2=<3
  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]: 6  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]: 4  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 8 ms.
Refinement performed in 45 ms.
Termination proved in 21 ms.
Upper bounds computed in 157 ms.
----Phase cost structures 62 ms.
--------Equation cost structures 60 ms.
--------Inductive compression(1) 0 ms.
--------Inductive compression(2) 0 ms.
--------Black Cost 0 ms.
----Chain cost structures 89 ms.
----Solving cost expressions 0 ms.

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