warning: Ignored call to f30/5 in equation f27/5 
warning: Ignored call to loop_cont_f25/5 in equation loop_cont_f10/5 
Warning: the following predicates are never called:[f27/5]
Inferred cost of f16(A,B,C,D,E,F,G,H,I,J,K): 
f16(A,B,C,D,E,F,G,H,I,J,K):[[18],20]...: inf
  with precondition: [B=0,0>=A,1>=F,C>=1,F>=0] 

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):[21]: 1
  with precondition: [B=0,D=0,F=0,H=0,J=0,I=C,A=E,A=G,A=K,A>=1] 

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

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

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

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

f25(A,B,C,D,E,F,G,H,I,J,K):[[26],27]: inf
  with precondition: [F=1,A=G,B=H,C=I,D=J,E=K] 

f25(A,B,C,D,E,F,G,H,I,J,K):[[26],28]...: 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):[29]: 0
  with precondition: [] 

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

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

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

Inferred cost of f0(A,B,C,D,E): 
f0(A,B,C,D,E):[34]: 2
  with precondition: [] 

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

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

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

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

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

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

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

Solved cost expressions of f0(A,B,C,D,E): 
f0(A,B,C,D,E):[34]: 2  with precondition: [] 
f0(A,B,C,D,E):[35]: inf  with precondition: [] 
f0(A,B,C,D,E):[36]: 1  with precondition: [] 
f0(A,B,C,D,E):[37]...: inf  with precondition: [] 
f0(A,B,C,D,E):[38]...: inf  with precondition: [] 
f0(A,B,C,D,E):[39]...: inf  with precondition: [] 
f0(A,B,C,D,E):[40]...: inf  with precondition: [] 
f0(A,B,C,D,E):[41]...: inf  with precondition: [] 
Maximum cost of f0(A,B,C,D,E): inf 
Asymptotic class: infinity 
Time statistics: 
Partial evaluation computed in 11 ms.
Invariants computed in 28 ms.
----Backward Invariants 13 ms.
----Transitive Invariants 3 ms.
Refinement performed in 34 ms.
Termination proved in 7 ms.
Upper bounds computed in 22 ms.
----Phase cost structures 8 ms.
--------Equation cost structures 7 ms.
--------Inductive compression(1) 0 ms.
--------Inductive compression(2) 0 ms.
--------Black Cost 0 ms.
----Chain cost structures 9 ms.
----Solving cost expressions 0 ms.

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