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

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

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

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

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

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

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

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

Inferred cost of loop_cont_f24(A,B,C,D,E): 
loop_cont_f24(A,B,C,D,E):[28]: 1
  with precondition: [] 

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

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

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

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

loop_cont_f9(A,B,C,D,E):[34]: inf
  with precondition: [] 

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

loop_cont_f9(A,B,C,D,E):[36]: inf
  with precondition: [] 

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

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

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

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

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

loop_cont_f9(A,B,C,D,E):[42]...: inf
  with precondition: [] 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Solved cost expressions of f0(A,B,C,D,E): 
f0(A,B,C,D,E):[44]: 4  with precondition: [] 
f0(A,B,C,D,E):[45]: inf  with precondition: [] 
f0(A,B,C,D,E):[46]: inf  with precondition: [] 
f0(A,B,C,D,E):[47]: inf  with precondition: [] 
f0(A,B,C,D,E):[48]: inf  with precondition: [] 
f0(A,B,C,D,E):[49]: inf  with precondition: [] 
f0(A,B,C,D,E):[50]: inf  with precondition: [] 
f0(A,B,C,D,E):[51]: inf  with precondition: [] 
f0(A,B,C,D,E):[52]...: inf  with precondition: [] 
f0(A,B,C,D,E):[53]...: inf  with precondition: [] 
f0(A,B,C,D,E):[54]...: inf  with precondition: [] 
f0(A,B,C,D,E):[55]...: inf  with precondition: [] 
f0(A,B,C,D,E):[56]...: inf  with precondition: [] 
f0(A,B,C,D,E):[57]...: inf  with precondition: [] 
f0(A,B,C,D,E):[58]...: inf  with precondition: [] 
f0(A,B,C,D,E):[59]...: inf  with precondition: [] 
f0(A,B,C,D,E):[60]...: inf  with precondition: [] 
f0(A,B,C,D,E):[61]...: inf  with precondition: [] 
f0(A,B,C,D,E):[62]...: inf  with precondition: [] 
f0(A,B,C,D,E):[63]...: inf  with precondition: [] 
Maximum cost of f0(A,B,C,D,E): inf 
Asymptotic class: infinity 
Time statistics: 
Partial evaluation computed in 9 ms.
Invariants computed in 43 ms.
----Backward Invariants 20 ms.
----Transitive Invariants 6 ms.
Refinement performed in 56 ms.
Termination proved in 12 ms.
Upper bounds computed in 90 ms.
----Phase cost structures 54 ms.
--------Equation cost structures 49 ms.
--------Inductive compression(1) 0 ms.
--------Inductive compression(2) 0 ms.
--------Black Cost 0 ms.
----Chain cost structures 33 ms.
----Solving cost expressions 0 ms.

Compressed phase information: 4 
Compressed Chains: 0 
Compressed invariants: 0 
Total analysis performed in 235 ms.