warning: Ignored call to f10001/4 in equation f0/4 
warning: Ignored call to f10001/4 in equation f0/4 
warning: Ignored call to f10001/4 in equation f0/4 
warning: Ignored call to f10001/4 in equation f0/4 
warning: Ignored call to loop_cont_f12/4 in equation f0/4 
warning: Ignored call to f10000/4 in equation f2200/4 
warning: Ignored call to f10001/4 in equation f100/4 
warning: Ignored call to f10001/4 in equation f110/4 
warning: Ignored call to f10001/4 in equation f1000/4 
warning: Ignored call to f10001/4 in equation f1000/4 
warning: Ignored call to loop_cont_f1200/4 in equation f1000/4 
warning: Ignored call to loop_cont_f1200/4 in equation loop_cont_f2/4 
warning: Ignored call to loop_cont_f120/4 in equation f110/4 
Warning: the following predicates are never called:[f100/4,f1000/4,f2200/4]
Inferred cost of f120(A,B,C,D,E,F,G,H,I): 
f120(A,B,C,D,E,F,G,H,I):[32]: 1
  with precondition: [A=1,B=2,E=1,F=1,G=2,I=1,H=C] 

f120(A,B,C,D,E,F,G,H,I):[[31],32]: inf
  with precondition: [A=1,B=2,E=1,F=1,G=2,I=1,C=H] 

f120(A,B,C,D,E,F,G,H,I):[[31],33]...: inf
  with precondition: [A=1,B=2,1>=E,E>=0] 

Inferred cost of f110(A,B,C,D): 
f110(A,B,C,D):[34]: 1
  with precondition: [A=1,B=1] 

f110(A,B,C,D):[35]: 2
  with precondition: [A=1,B=1] 

f110(A,B,C,D):[36]: inf
  with precondition: [A=1,B=1] 

f110(A,B,C,D):[37]...: inf
  with precondition: [A=1,B=1] 

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

Inferred cost of f12(A,B,C,D,E,F,G,H,I): 
f12(A,B,C,D,E,F,G,H,I):[41]: 1
  with precondition: [B=2,E=1,G=2,I=1,F=A,H=C] 

f12(A,B,C,D,E,F,G,H,I):[[40],41]: inf
  with precondition: [B=2,E=1,G=2,I=1,A=F,C=H] 

f12(A,B,C,D,E,F,G,H,I):[[40],42]...: inf
  with precondition: [B=2,1>=E,E>=0] 

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

f2(A,B,C,D,E,F,G,H,I):[45]: 1
  with precondition: [B=2,E=1,G=2,F=A,H=C,I=D] 

f2(A,B,C,D,E,F,G,H,I):[[43],44]: inf
  with precondition: [B=2,E=0,F=2,G=2,C=H,D=I] 

f2(A,B,C,D,E,F,G,H,I):[[43],45]: inf
  with precondition: [B=2,E=1,G=2,A=F,C=H,D=I] 

f2(A,B,C,D,E,F,G,H,I):[[43],46]...: inf
  with precondition: [B=2,1>=E,E>=0] 

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

f1200(A,B,C,D,E,F,G,H,I):[[47],48]: inf
  with precondition: [E=1,I=1,A=F,B=G,C=H] 

f1200(A,B,C,D,E,F,G,H,I):[[47],49]...: inf
  with precondition: [1>=E,E>=0] 

Inferred cost of loop_cont_f2(A,B,C,D): 
loop_cont_f2(A,B,C,D):[50]: 1
  with precondition: [] 

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

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

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

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

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

f0(A,B,C,D):[57]: 2
  with precondition: [] 

f0(A,B,C,D):[58]: 3
  with precondition: [] 

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

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

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

f0(A,B,C,D):[62]: 3
  with precondition: [] 

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

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

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

f0(A,B,C,D):[66]: 2
  with precondition: [] 

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

f0(A,B,C,D):[68]: 2
  with precondition: [] 

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

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

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

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

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

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

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

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

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

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

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

Solved cost expressions of f0(A,B,C,D): 
f0(A,B,C,D):[55]: 1  with precondition: [] 
f0(A,B,C,D):[56]: 1  with precondition: [] 
f0(A,B,C,D):[57]: 2  with precondition: [] 
f0(A,B,C,D):[58]: 3  with precondition: [] 
f0(A,B,C,D):[59]: inf  with precondition: [] 
f0(A,B,C,D):[60]: 1  with precondition: [] 
f0(A,B,C,D):[61]: 1  with precondition: [] 
f0(A,B,C,D):[62]: 3  with precondition: [] 
f0(A,B,C,D):[63]: inf  with precondition: [] 
f0(A,B,C,D):[64]: inf  with precondition: [] 
f0(A,B,C,D):[65]: inf  with precondition: [] 
f0(A,B,C,D):[66]: 2  with precondition: [] 
f0(A,B,C,D):[67]: inf  with precondition: [] 
f0(A,B,C,D):[68]: 2  with precondition: [] 
f0(A,B,C,D):[69]: inf  with precondition: [] 
f0(A,B,C,D):[70]...: inf  with precondition: [] 
f0(A,B,C,D):[71]...: inf  with precondition: [] 
f0(A,B,C,D):[72]...: inf  with precondition: [] 
f0(A,B,C,D):[73]...: inf  with precondition: [] 
f0(A,B,C,D):[74]...: inf  with precondition: [] 
f0(A,B,C,D):[75]...: inf  with precondition: [] 
f0(A,B,C,D):[76]...: inf  with precondition: [] 
f0(A,B,C,D):[77]...: inf  with precondition: [] 
f0(A,B,C,D):[78]...: inf  with precondition: [] 
f0(A,B,C,D):[79]...: inf  with precondition: [] 
Maximum cost of f0(A,B,C,D): inf 
Asymptotic class: infinity 
Time statistics: 
Partial evaluation computed in 11 ms.
Invariants computed in 54 ms.
----Backward Invariants 29 ms.
----Transitive Invariants 7 ms.
Refinement performed in 47 ms.
Termination proved in 12 ms.
Upper bounds computed in 46 ms.
----Phase cost structures 13 ms.
--------Equation cost structures 13 ms.
--------Inductive compression(1) 0 ms.
--------Inductive compression(2) 0 ms.
--------Black Cost 0 ms.
----Chain cost structures 27 ms.
----Solving cost expressions 0 ms.

Compressed phase information: 10 
Compressed Chains: 0 
Compressed invariants: 0 
Total analysis performed in 202 ms.