warning: Ignored call to f27/4 in equation f24/4 
warning: Ignored call to loop_cont_f22/4 in equation loop_cont_f9/4 
Warning: the following predicates are never called:[f24/4]
Inferred cost of f14(A,B,C,D,E,F,G,H,I): 
f14(A,B,C,D,E,F,G,H,I):[18]: 1
  with precondition: [B=0,E=0,G=0,I=0,C=H,0>=A,0>=C] 

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

Inferred cost of f9(A,B,C,D,E,F,G,H,I): 
f9(A,B,C,D,E,F,G,H,I):[22]: 1
  with precondition: [B=0,D=0,E=0,G=0,I=0,H=C,A=F,A>=1] 

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

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

Inferred cost of f22(A,B,C,D,E,F,G,H,I): 
f22(A,B,C,D,E,F,G,H,I):[25]: 0
  with precondition: [E=1,F=A,G=B,H=C,I=D] 

f22(A,B,C,D,E,F,G,H,I):[[24],25]: inf
  with precondition: [E=1,A=F,B=G,C=H,D=I] 

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

Inferred cost of loop_cont_f9(A,B,C,D): 
loop_cont_f9(A,B,C,D):[27]: 0
  with precondition: [] 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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