warning: Ignored call to loop_cont_f7/5 in equation f0/5 
Inferred cost of f16(A,B,C,D,E,F,G,H,I,J,K): 
f16(A,B,C,D,E,F,G,H,I,J,K):[23]: 1
  with precondition: [E=0,F=1,K=0,G=A,H=B,I=C,D=J,4>=D] 

f16(A,B,C,D,E,F,G,H,I,J,K):[[21,22],23]: 1+it1*(1)
  Such that:it1=<4,it1=<5,it1=<1*K,it1=<-1*E+5,it1=<1*K+ -1*E
  with precondition: [F=1,A=G,B=H,C=I,D=J,4>=D,4>=K,E>=0,K>=E+1] 

f16(A,B,C,D,E,F,G,H,I,J,K):[[21,22],24]: 1+it1*(1)
  Such that:it1=<5,it1=<-1*E+5
  with precondition: [F=0,K=5,A=G,B=H,C=I,D+1=J,4>=D,4>=E,E>=0] 

Inferred cost of f13(A,B,C,D,E,F,G,H,I,J,K): 
f13(A,B,C,D,E,F,G,H,I,J,K):[27]: 2
  with precondition: [D=0,F=1,4>=C] 

f13(A,B,C,D,E,F,G,H,I,J,K):[28]: 2+it1*(1)
  Such that:it1=<4,it1=<5
  with precondition: [D=0,F=1,4>=C] 

f13(A,B,C,D,E,F,G,H,I,J,K):[[26],27]: 2+it1*(2+it2*(1))
  Such that:it1=<4,it1=<5,it1=<-1*D+4,it1=<-1*D+5
            it2=<5
  with precondition: [F=1,4>=C,3>=D,D>=0] 

f13(A,B,C,D,E,F,G,H,I,J,K):[[26],28]: 2+it1*(1)+it2*(2+it3*(1))
  Such that:it1=<4,it1=<5,it2=<4,it2=<5,it2=<-1*D+4,it2=<-1*D+5
            it3=<5
  with precondition: [F=1,4>=C,3>=D,D>=0] 

f13(A,B,C,D,E,F,G,H,I,J,K):[[26],29]: 1+it1*(2+it2*(1))
  Such that:it1=<5,it1=<-1*D+5
            it2=<5
  with precondition: [F=0,J=5,K=5,A=G,B=H,C+1=I,4>=C,4>=D] 

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

f10(A,B,C,D,E,F,G,H,I,J,K):[33]: 3+it1*(1)
  Such that:it1=<4,it1=<5
  with precondition: [C=0,F=1,4>=B] 

f10(A,B,C,D,E,F,G,H,I,J,K):[34]: 3+it1*(2+it2*(1))
  Such that:it1=<4,it1=<5
            it2=<5
  with precondition: [C=0,F=1,4>=B] 

f10(A,B,C,D,E,F,G,H,I,J,K):[35]: 3+it1*(1)+it2*(2+it3*(1))
  Such that:it1=<4,it1=<5,it2=<4,it2=<5
            it3=<5
  with precondition: [C=0,F=1,4>=B] 

f10(A,B,C,D,E,F,G,H,I,J,K):[[31],32]: 3+it1*(2+it2*(2+it3*(1)))
  Such that:it1=<4,it1=<5,it1=<-1*C+4,it1=<-1*C+5
            it2=<5
            it3=<5
  with precondition: [F=1,4>=B,3>=C,C>=0] 

f10(A,B,C,D,E,F,G,H,I,J,K):[[31],33]: 3+it1*(1)+it2*(2+it3*(2+it4*(1)))
  Such that:it1=<4,it1=<5,it2=<4,it2=<5,it2=<-1*C+4,it2=<-1*C+5
            it3=<5
            it4=<5
  with precondition: [F=1,4>=B,3>=C,C>=0] 

f10(A,B,C,D,E,F,G,H,I,J,K):[[31],34]: 3+it1*(2+it2*(1))+it3*(2+it4*(2+it5*(1)))
  Such that:it1=<4,it1=<5,it3=<4,it3=<5,it3=<-1*C+4,it3=<-1*C+5
            it2=<5
            it4=<5
            it5=<5
  with precondition: [F=1,4>=B,3>=C,C>=0] 

f10(A,B,C,D,E,F,G,H,I,J,K):[[31],35]: 3+it1*(1)+it2*(2+it3*(1))+it4*(2+it5*(2+it6*(1)))
  Such that:it1=<4,it1=<5,it2=<4,it2=<5,it4=<4,it4=<5,it4=<-1*C+4,it4=<-1*C+5
            it3=<5
            it5=<5
            it6=<5
  with precondition: [F=1,4>=B,3>=C,C>=0] 

f10(A,B,C,D,E,F,G,H,I,J,K):[[31],36]: 1+it1*(2+it2*(2+it3*(1)))
  Such that:it1=<5,it1=<-1*C+5
            it2=<5
            it3=<5
  with precondition: [F=0,I=5,J=5,K=5,A=G,B+1=H,4>=B,4>=C] 

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

f7(A,B,C,D,E,F,G,H,I,J,K):[40]: 4+it1*(1)
  Such that:it1=<4,it1=<5
  with precondition: [A=400,B=0,F=1] 

f7(A,B,C,D,E,F,G,H,I,J,K):[41]: 4+it1*(2+it2*(1))
  Such that:it1=<4,it1=<5
            it2=<5
  with precondition: [A=400,B=0,F=1] 

f7(A,B,C,D,E,F,G,H,I,J,K):[42]: 4+it1*(1)+it2*(2+it3*(1))
  Such that:it1=<4,it1=<5,it2=<4,it2=<5
            it3=<5
  with precondition: [A=400,B=0,F=1] 

f7(A,B,C,D,E,F,G,H,I,J,K):[43]: 4+it1*(2+it2*(2+it3*(1)))
  Such that:it1=<4,it1=<5
            it2=<5
            it3=<5
  with precondition: [A=400,B=0,F=1] 

f7(A,B,C,D,E,F,G,H,I,J,K):[44]: 4+it1*(1)+it2*(2+it3*(2+it4*(1)))
  Such that:it1=<4,it1=<5,it2=<4,it2=<5
            it3=<5
            it4=<5
  with precondition: [A=400,B=0,F=1] 

f7(A,B,C,D,E,F,G,H,I,J,K):[45]: 4+it1*(2+it2*(1))+it3*(2+it4*(2+it5*(1)))
  Such that:it1=<4,it1=<5,it3=<4,it3=<5
            it2=<5
            it4=<5
            it5=<5
  with precondition: [A=400,B=0,F=1] 

f7(A,B,C,D,E,F,G,H,I,J,K):[46]: 4+it1*(1)+it2*(2+it3*(1))+it4*(2+it5*(2+it6*(1)))
  Such that:it1=<4,it1=<5,it2=<4,it2=<5,it4=<4,it4=<5
            it3=<5
            it5=<5
            it6=<5
  with precondition: [A=400,B=0,F=1] 

f7(A,B,C,D,E,F,G,H,I,J,K):[[38],39]: 4+it1*(2+it2*(2+it3*(2+it4*(1))))
  Such that:it1=<4,it1=<5,it1=<-1*B+4,it1=<-1*B+5
            it2=<5
            it3=<5
            it4=<5
  with precondition: [A=400,F=1,3>=B,B>=0] 

f7(A,B,C,D,E,F,G,H,I,J,K):[[38],40]: 4+it1*(1)+it2*(2+it3*(2+it4*(2+it5*(1))))
  Such that:it1=<4,it1=<5,it2=<4,it2=<5,it2=<-1*B+4,it2=<-1*B+5
            it3=<5
            it4=<5
            it5=<5
  with precondition: [A=400,F=1,3>=B,B>=0] 

f7(A,B,C,D,E,F,G,H,I,J,K):[[38],41]: 4+it1*(2+it2*(1))+it3*(2+it4*(2+it5*(2+it6*(1))))
  Such that:it1=<4,it1=<5,it3=<4,it3=<5,it3=<-1*B+4,it3=<-1*B+5
            it2=<5
            it4=<5
            it5=<5
            it6=<5
  with precondition: [A=400,F=1,3>=B,B>=0] 

f7(A,B,C,D,E,F,G,H,I,J,K):[[38],42]: 4+it1*(1)+it2*(2+it3*(1))+it4*(2+it5*(2+it6*(2+it7*(1))))
  Such that:it1=<4,it1=<5,it2=<4,it2=<5,it4=<4,it4=<5,it4=<-1*B+4,it4=<-1*B+5
            it3=<5
            it5=<5
            it6=<5
            it7=<5
  with precondition: [A=400,F=1,3>=B,B>=0] 

f7(A,B,C,D,E,F,G,H,I,J,K):[[38],43]: 4+it1*(2+it2*(2+it3*(1)))+it4*(2+it5*(2+it6*(2+it7*(1))))
  Such that:it1=<4,it1=<5,it4=<4,it4=<5,it4=<-1*B+4,it4=<-1*B+5
            it2=<5
            it3=<5
            it5=<5
            it6=<5
            it7=<5
  with precondition: [A=400,F=1,3>=B,B>=0] 

f7(A,B,C,D,E,F,G,H,I,J,K):[[38],44]: 4+it1*(1)+it2*(2+it3*(2+it4*(1)))+it5*(2+it6*(2+it7*(2+it8*(1))))
  Such that:it1=<4,it1=<5,it2=<4,it2=<5,it5=<4,it5=<5,it5=<-1*B+4,it5=<-1*B+5
            it3=<5
            it4=<5
            it6=<5
            it7=<5
            it8=<5
  with precondition: [A=400,F=1,3>=B,B>=0] 

f7(A,B,C,D,E,F,G,H,I,J,K):[[38],45]: 4+it1*(2+it2*(1))+it3*(2+it4*(2+it5*(1)))+it6*(2+it7*(2+it8*(2+it9*(1))))
  Such that:it1=<4,it1=<5,it3=<4,it3=<5,it6=<4,it6=<5,it6=<-1*B+4,it6=<-1*B+5
            it2=<5
            it4=<5
            it5=<5
            it7=<5
            it8=<5
            it9=<5
  with precondition: [A=400,F=1,3>=B,B>=0] 

f7(A,B,C,D,E,F,G,H,I,J,K):[[38],46]: 4+it1*(1)+it2*(2+it3*(1))+it4*(2+it5*(2+it6*(1)))+it7*(2+it8*(2+it9*(2+it10*(1))))
  Such that:it1=<4,it1=<5,it2=<4,it2=<5,it4=<4,it4=<5,it7=<4,it7=<5,it7=<-1*B+4,it7=<-1*B+5
            it3=<5
            it5=<5
            it6=<5
            it8=<5
            it9=<5
            it10=<5
  with precondition: [A=400,F=1,3>=B,B>=0] 

f7(A,B,C,D,E,F,G,H,I,J,K):[[38],47]: 1+it1*(2+it2*(2+it3*(2+it4*(1))))
  Such that:it1=<5,it1=<-1*B+5
            it2=<5
            it3=<5
            it4=<5
  with precondition: [A=400,F=1,G=400,H=5,I=5,J=5,K=5,4>=B] 

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

f0(A,B,C,D,E):[50]: 5+it1*(1)
  Such that:it1=<4,it1=<5
  with precondition: [] 

f0(A,B,C,D,E):[51]: 5+it1*(2+it2*(1))
  Such that:it1=<4,it1=<5
            it2=<5
  with precondition: [] 

f0(A,B,C,D,E):[52]: 5+it1*(1)+it2*(2+it3*(1))
  Such that:it1=<4,it1=<5,it2=<4,it2=<5
            it3=<5
  with precondition: [] 

f0(A,B,C,D,E):[53]: 5+it1*(2+it2*(2+it3*(1)))
  Such that:it1=<4,it1=<5
            it2=<5
            it3=<5
  with precondition: [] 

f0(A,B,C,D,E):[54]: 5+it1*(1)+it2*(2+it3*(2+it4*(1)))
  Such that:it1=<4,it1=<5,it2=<4,it2=<5
            it3=<5
            it4=<5
  with precondition: [] 

f0(A,B,C,D,E):[55]: 5+it1*(2+it2*(1))+it3*(2+it4*(2+it5*(1)))
  Such that:it1=<4,it1=<5,it3=<4,it3=<5
            it2=<5
            it4=<5
            it5=<5
  with precondition: [] 

f0(A,B,C,D,E):[56]: 5+it1*(1)+it2*(2+it3*(1))+it4*(2+it5*(2+it6*(1)))
  Such that:it1=<4,it1=<5,it2=<4,it2=<5,it4=<4,it4=<5
            it3=<5
            it5=<5
            it6=<5
  with precondition: [] 

f0(A,B,C,D,E):[57]: 5+it1*(2+it2*(2+it3*(2+it4*(1))))
  Such that:it1=<4,it1=<5
            it2=<5
            it3=<5
            it4=<5
  with precondition: [] 

f0(A,B,C,D,E):[58]: 5+it1*(1)+it2*(2+it3*(2+it4*(2+it5*(1))))
  Such that:it1=<4,it1=<5,it2=<4,it2=<5
            it3=<5
            it4=<5
            it5=<5
  with precondition: [] 

f0(A,B,C,D,E):[59]: 5+it1*(2+it2*(1))+it3*(2+it4*(2+it5*(2+it6*(1))))
  Such that:it1=<4,it1=<5,it3=<4,it3=<5
            it2=<5
            it4=<5
            it5=<5
            it6=<5
  with precondition: [] 

f0(A,B,C,D,E):[60]: 5+it1*(1)+it2*(2+it3*(1))+it4*(2+it5*(2+it6*(2+it7*(1))))
  Such that:it1=<4,it1=<5,it2=<4,it2=<5,it4=<4,it4=<5
            it3=<5
            it5=<5
            it6=<5
            it7=<5
  with precondition: [] 

f0(A,B,C,D,E):[61]: 5+it1*(2+it2*(2+it3*(1)))+it4*(2+it5*(2+it6*(2+it7*(1))))
  Such that:it1=<4,it1=<5,it4=<4,it4=<5
            it2=<5
            it3=<5
            it5=<5
            it6=<5
            it7=<5
  with precondition: [] 

f0(A,B,C,D,E):[62]: 5+it1*(1)+it2*(2+it3*(2+it4*(1)))+it5*(2+it6*(2+it7*(2+it8*(1))))
  Such that:it1=<4,it1=<5,it2=<4,it2=<5,it5=<4,it5=<5
            it3=<5
            it4=<5
            it6=<5
            it7=<5
            it8=<5
  with precondition: [] 

f0(A,B,C,D,E):[63]: 5+it1*(2+it2*(1))+it3*(2+it4*(2+it5*(1)))+it6*(2+it7*(2+it8*(2+it9*(1))))
  Such that:it1=<4,it1=<5,it3=<4,it3=<5,it6=<4,it6=<5
            it2=<5
            it4=<5
            it5=<5
            it7=<5
            it8=<5
            it9=<5
  with precondition: [] 

f0(A,B,C,D,E):[64]: 5+it1*(1)+it2*(2+it3*(1))+it4*(2+it5*(2+it6*(1)))+it7*(2+it8*(2+it9*(2+it10*(1))))
  Such that:it1=<4,it1=<5,it2=<4,it2=<5,it4=<4,it4=<5,it7=<4,it7=<5
            it3=<5
            it5=<5
            it6=<5
            it8=<5
            it9=<5
            it10=<5
  with precondition: [] 

f0(A,B,C,D,E):[65]: 2+it1*(2+it2*(2+it3*(2+it4*(1))))
  Such that:it1=<5
            it2=<5
            it3=<5
            it4=<5
  with precondition: [] 

Solved cost expressions of f0(A,B,C,D,E): 
f0(A,B,C,D,E):[49]: 5  with precondition: [] 
f0(A,B,C,D,E):[50]: 9  with precondition: [] 
f0(A,B,C,D,E):[51]: 33  with precondition: [] 
f0(A,B,C,D,E):[52]: 37  with precondition: [] 
f0(A,B,C,D,E):[53]: 153  with precondition: [] 
f0(A,B,C,D,E):[54]: 157  with precondition: [] 
f0(A,B,C,D,E):[55]: 181  with precondition: [] 
f0(A,B,C,D,E):[56]: 185  with precondition: [] 
f0(A,B,C,D,E):[57]: 753  with precondition: [] 
f0(A,B,C,D,E):[58]: 757  with precondition: [] 
f0(A,B,C,D,E):[59]: 781  with precondition: [] 
f0(A,B,C,D,E):[60]: 785  with precondition: [] 
f0(A,B,C,D,E):[61]: 901  with precondition: [] 
f0(A,B,C,D,E):[62]: 905  with precondition: [] 
f0(A,B,C,D,E):[63]: 929  with precondition: [] 
f0(A,B,C,D,E):[64]: 933  with precondition: [] 
f0(A,B,C,D,E):[65]: 937  with precondition: [] 
Maximum cost of f0(A,B,C,D,E): 937 
Asymptotic class: constant 
Time statistics: 
Partial evaluation computed in 19 ms.
Invariants computed in 117 ms.
----Backward Invariants 69 ms.
----Transitive Invariants 9 ms.
Refinement performed in 76 ms.
Termination proved in 17 ms.
Upper bounds computed in 142 ms.
----Phase cost structures 38 ms.
--------Equation cost structures 33 ms.
--------Inductive compression(1) 0 ms.
--------Inductive compression(2) 0 ms.
--------Black Cost 0 ms.
----Chain cost structures 91 ms.
----Solving cost expressions 4 ms.

Compressed phase information: 15 
Compressed Chains: 0 
Compressed invariants: 0 
Total analysis performed in 408 ms.