warning: Ignored call to loop_cont_f6/5 in equation loop_cont_f3/5 
Inferred cost of f3(A,B,C,D,E,F,G,H,I,J,K): 
f3(A,B,C,D,E,F,G,H,I,J,K):[18]: 1
  with precondition: [A=0,B=0,F=0,G=0,H=0,J=D,C=I,0>=C] 

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

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

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

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

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

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

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

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

loop_cont_f3(A,B,C,D,E):[27]...: inf
  with precondition: [] 

loop_cont_f3(A,B,C,D,E):[28]...: inf
  with precondition: [] 

Inferred cost of f0(A,B,C,D,E): 
f0(A,B,C,D,E):[30]: 2
  with precondition: [0>=C] 

f0(A,B,C,D,E):[31]: inf
  with precondition: [0>=C] 

f0(A,B,C,D,E):[32]: 2+it1*(1)
  Such that:it1=<1*C,it1=<1*C+1
  with precondition: [C>=1] 

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

f0(A,B,C,D,E):[34]: 1
  with precondition: [C>=1] 

f0(A,B,C,D,E):[35]: 1+it1*(1)
  Such that:it1=<1*C,it1=<1*C+ -1
  with precondition: [C>=2] 

f0(A,B,C,D,E):[36]...: inf
  with precondition: [0>=C] 

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

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

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

Solved cost expressions of f0(A,B,C,D,E): 
f0(A,B,C,D,E):[30]: 2  with precondition: [0>=C] 
f0(A,B,C,D,E):[31]: inf  with precondition: [0>=C] 
f0(A,B,C,D,E):[32]: 1*C+2  with precondition: [C>=1] 
f0(A,B,C,D,E):[33]: inf  with precondition: [C>=1] 
f0(A,B,C,D,E):[34]: 1  with precondition: [C>=1] 
f0(A,B,C,D,E):[35]: 1*C  with precondition: [C>=2] 
f0(A,B,C,D,E):[36]...: inf  with precondition: [0>=C] 
f0(A,B,C,D,E):[37]...: inf  with precondition: [0>=C] 
f0(A,B,C,D,E):[38]...: inf  with precondition: [C>=1] 
f0(A,B,C,D,E):[39]...: inf  with precondition: [C>=1] 
Maximum cost of f0(A,B,C,D,E): inf 
Asymptotic class: infinity 
Time statistics: 
Partial evaluation computed in 10 ms.
Invariants computed in 43 ms.
----Backward Invariants 23 ms.
----Transitive Invariants 6 ms.
Refinement performed in 40 ms.
Termination proved in 11 ms.
Upper bounds computed in 40 ms.
----Phase cost structures 15 ms.
--------Equation cost structures 15 ms.
--------Inductive compression(1) 0 ms.
--------Inductive compression(2) 0 ms.
--------Black Cost 0 ms.
----Chain cost structures 19 ms.
----Solving cost expressions 1 ms.

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