warning: Ignored call to f25/5 in equation f22/5 
warning: Ignored call to loop_cont_f20/5 in equation loop_cont_f10/5 
Warning: the following predicates are never called:[f22/5]
Inferred cost of f10(A,B,C,D,E,F,G,H,I,J,K): 
f10(A,B,C,D,E,F,G,H,I,J,K):[18]: 0
  with precondition: [A=8,C=0,E=8,F=1,G=8,I=0,K=8,J=D,B=H,B>=1] 

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

f10(A,B,C,D,E,F,G,H,I,J,K):[[15,16],18]: 0+it1*(1)+it2*(1)
  Such that:it1=<7,it1=<8,it1=<1*I,it1=<-1*C+8,it1=<-1*G+8,it1=<-1*G+1*A,it1=<1*B+7,it1=<1*B+ -1*H,it1=<1*I+ -1*C,it1=<1*H+1*I+7,it1=<-1*G+ -1*I+1*A+8,it1=<-1*G+1*A+1*H+7,it1=<1*B+ -1*H+ -1*I+8,it1=<1*H+1*I+ -1*C+7,it1+it2=<7,it1+it2=<8,it1+it2=<1*A,it1+it2=<-1*C+8,it1+it2=<-1*G+8,it1+it2=<1*A+ -1*G,it1+it2=<-1*C+ -1*G+8,it1+it2=<-1*H+ -1*I+1*B+8,it1+it2=<-1*G+ -1*H+ -1*I+1*B+8,it2=<7,it2=<-1*C+7,it2=<-1*I+7,it2=<1*H+6,it2=<-1*B+ -1*C+8,it2=<-1*G+ -1*I+8,it2=<-1*H+ -1*I+8,it2=<-1*B+ -1*C+1*H+7,it2=<1*A+1*C+ -1*H+ -1*I,it2=<1*A+1*H+ -1*B+ -1*G
  with precondition: [E=8,F=1,K=8,B+C=H+I,C>=0,G>=1,8>=A+C,A>=G+1,B>=H,B+C>=1,A+H>=B+G] 

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

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

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

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

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

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

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

Inferred cost of f0(A,B,C,D,E): 
f0(A,B,C,D,E):[28]: 2+it1*(1)+it2*(1)
  Such that:it1=<8,it1=<15,it1+it2=<8,it2=<7,it2=<8
  with precondition: [] 

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

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

f0(A,B,C,D,E):[31]: 1+it1*(1)+it2*(1)
  Such that:it1=<7,it1=<8,it1=<15,it1+it2=<7,it1+it2=<8,it2=<7
  with precondition: [] 

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

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

Solved cost expressions of f0(A,B,C,D,E): 
f0(A,B,C,D,E):[28]: 10  with precondition: [] 
f0(A,B,C,D,E):[29]: inf  with precondition: [] 
f0(A,B,C,D,E):[30]: 1  with precondition: [] 
f0(A,B,C,D,E):[31]: 8  with precondition: [] 
f0(A,B,C,D,E):[32]...: inf  with precondition: [] 
f0(A,B,C,D,E):[33]...: inf  with precondition: [] 
Maximum cost of f0(A,B,C,D,E): inf 
Asymptotic class: infinity 
Time statistics: 
Partial evaluation computed in 7 ms.
Invariants computed in 46 ms.
----Backward Invariants 24 ms.
----Transitive Invariants 6 ms.
Refinement performed in 36 ms.
Termination proved in 15 ms.
Upper bounds computed in 111 ms.
----Phase cost structures 42 ms.
--------Equation cost structures 42 ms.
--------Inductive compression(1) 0 ms.
--------Inductive compression(2) 0 ms.
--------Black Cost 0 ms.
----Chain cost structures 64 ms.
----Solving cost expressions 1 ms.

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