warning: Ignored call to loop_cont_f6/4 in equation f0/4 
Inferred cost of f14(A,B,C,D,E,F,G,H,I): 
f14(A,B,C,D,E,F,G,H,I):[20]: 1
  with precondition: [E=0,A=C+1,I=D,A=F,B=G,A=H+1,1>=A,B>=0] 

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

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

f10(A,B,C,D,E,F,G,H,I):[[22],24]: 1+it1*(2)
  Such that:it1=<1*B
  with precondition: [E=0,G=0,A=F,A=H+1,D=I,1>=A,A>=0,B>=1] 

f10(A,B,C,D,E,F,G,H,I):[[23],[22],24]: 1+it1*(2)+it2*(2+it3*(1))
  Such that:it1+it2=<1*A+1*B+ -1,it2=<1*A+1*B+ -2
            it3=<1*A+1*B+ -2,it3=<1*A+ -1
  with precondition: [E=0,F=1,G=0,H=0,A>=2,B>=1] 

f10(A,B,C,D,E,F,G,H,I):[[23],24]: 1+it1*(2+it2*(1))
  Such that:it1=<1*A+1*B+ -2,it1=<1*A+1*B+ -1*F
            it2=<1*A+1*B+ -2,it2=<1*A+ -1
  with precondition: [E=0,G=0,H=0,B>=1,F>=2,A>=F] 

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

f6(A,B,C,D,E,F,G,H,I):[[27],30]: 1+it1*(2+it2*(2))
  Such that:it1=<2,it1=<1*A
            it2=<1
  with precondition: [B=0,E=1,F=0,G=0,H+1=0,D=I,2>=A,A>=1] 

f6(A,B,C,D,E,F,G,H,I):[[29],[27],30]: 1+it1*(2+it2*(2))+it3*(2)+it4*(2+it5*(1))
  Such that:it1=<2,it3=<1*A+ -2,it4=<1*A+ -2
            it2=<1
            it5=<1*A+ -2
  with precondition: [B=0,E=1,F=0,G=0,H+1=0,A>=3] 

f6(A,B,C,D,E,F,G,H,I):[[29],28,[27],30]: 3+it1*(2+it2*(2))+it3*(2)+it4*(2+it5*(1))+it6*(2)+it7*(2+it8*(1))
  Such that:it1=<1,it3+it4+it6=<1*A+ -1,it3+it4+it7=<1*A+ -1,it4+it6=<1*A+ -2,it4+it7=<1*A+ -2,it6=<1*A+ -2,it7=<1*A+ -2
            it2=<1
            it5=<1*A+ -3
            it8=<1*A+ -2
  with precondition: [B=0,E=1,F=0,G=0,H+1=0,A>=4] 

f6(A,B,C,D,E,F,G,H,I):[28,[27],30]: 3+it1*(2+it2*(2))+it3*(2)+it4*(2+it5*(1))
  Such that:it1=<1,it3+it4=<1*A+ -1,it4=<1*A+ -2
            it2=<1
            it5=<1*A+ -3
  with precondition: [B=0,E=1,F=0,G=0,H+1=0,A>=3] 

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

f0(A,B,C,D):[33]: 2+it1*(2+it2*(2))
  Such that:it1=<2
            it2=<1
  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: [] 

Solved cost expressions of f0(A,B,C,D): 
f0(A,B,C,D):[32]: 2  with precondition: [] 
f0(A,B,C,D):[33]: 10  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: [] 
Maximum cost of f0(A,B,C,D): inf 
Asymptotic class: infinity 
Time statistics: 
Partial evaluation computed in 12 ms.
Invariants computed in 106 ms.
----Backward Invariants 40 ms.
----Transitive Invariants 12 ms.
Refinement performed in 59 ms.
Termination proved in 26 ms.
Upper bounds computed in 128 ms.
----Phase cost structures 34 ms.
--------Equation cost structures 26 ms.
--------Inductive compression(1) 4 ms.
--------Inductive compression(2) 0 ms.
--------Black Cost 0 ms.
----Chain cost structures 90 ms.
----Solving cost expressions 0 ms.

Compressed phase information: 7 
Compressed Chains: 0 
Compressed invariants: 1 
Total analysis performed in 360 ms.