warning: Ignored call to loop_cont_f60/7 in equation loop_cont_f52/7 
Inferred cost of f15(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O): 
f15(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[37],38]: 1+it1*(1)
  Such that:it1=<50,it1=<-1*D+50
  with precondition: [A=0,H=0,I=0,L=50,M=0,B=J,C=K,F=N,G=O,49>=D,D>=0] 

Inferred cost of f25(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O): 
f25(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[41]: 1
  with precondition: [H=0,I=0,J=B,K=C,L=D,N=F,O=G,E=M,E>=50] 

f25(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[40],41]: 1+it1*(1)
  Such that:it1=<-1*E+50
  with precondition: [H=0,I=0,M=50,B=J,C=K,D=L,F=N,G=O,49>=E] 

Inferred cost of f33(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O): 
f33(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[44]: 1
  with precondition: [H=0,N=0,J=B,K=C,L=D,M=E,O=G,A=I,A>=50] 

f33(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[43],44]: 1+it1*(1)
  Such that:it1=<-1*A+50
  with precondition: [H=0,I=50,N=0,B=J,C=K,D=L,E=M,G=O,49>=A] 

Inferred cost of f42(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O): 
f42(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[47]: 1
  with precondition: [H=0,O=0,I=A,J=B,K=C,L=D,M=E,F=N,F>=50] 

f42(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[46],47]: 1+it1*(1)
  Such that:it1=<-1*F+50
  with precondition: [H=0,N=50,O=0,A=I,B=J,C=K,D=L,E=M,49>=F] 

Inferred cost of f52(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O): 
f52(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[50]: 1
  with precondition: [H=0,I=0,J=B,K=C,L=D,M=E,N=F,G=O,G>=50] 

f52(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[49],50]: 1+it1*(1)
  Such that:it1=<-1*G+50
  with precondition: [H=0,I=0,O=50,B=J,C=K,D=L,E=M,F=N,49>=G] 

Inferred cost of f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O): 
f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[53]: 1
  with precondition: [H=1,J=B,K=C,L=D,M=E,N=F,O=G,A=I,A>=50] 

f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[52],53]: 1+it1*(1)
  Such that:it1=<-1*A+50
  with precondition: [H=1,I=50,B=J,C=K,D=L,E=M,F=N,G=O,49>=A] 

Inferred cost of loop_cont_f52(A,B,C,D,E,F,G): 
loop_cont_f52(A,B,C,D,E,F,G):[55]: 1
  with precondition: [A>=50] 

loop_cont_f52(A,B,C,D,E,F,G):[56]: 1+it1*(1)
  Such that:it1=<-1*A+50
  with precondition: [49>=A] 

Inferred cost of loop_cont_f42(A,B,C,D,E,F,G): 
loop_cont_f42(A,B,C,D,E,F,G):[58]: 2+it1*(1)
  Such that:it1=<50
  with precondition: [G>=50] 

loop_cont_f42(A,B,C,D,E,F,G):[59]: 2+it1*(1)+it2*(1)
  Such that:it1=<-1*G+50,it2=<50
  with precondition: [49>=G] 

Inferred cost of loop_cont_f33(A,B,C,D,E,F,G): 
loop_cont_f33(A,B,C,D,E,F,G):[61]: 3+it1*(1)+it2*(1)
  Such that:it1=<50,it2=<50
  with precondition: [F>=50] 

loop_cont_f33(A,B,C,D,E,F,G):[62]: 3+it1*(1)+it2*(1)+it3*(1)
  Such that:it1=<-1*F+50,it2=<50,it3=<50
  with precondition: [49>=F] 

Inferred cost of loop_cont_f25(A,B,C,D,E,F,G): 
loop_cont_f25(A,B,C,D,E,F,G):[64]: 4+it1*(1)+it2*(1)+it3*(1)
  Such that:it1=<50,it2=<50,it3=<50
  with precondition: [A>=50] 

loop_cont_f25(A,B,C,D,E,F,G):[65]: 4+it1*(1)+it2*(1)+it3*(1)+it4*(1)
  Such that:it1=<-1*A+50,it2=<50,it3=<50,it4=<50
  with precondition: [49>=A] 

Inferred cost of loop_cont_f15(A,B,C,D,E,F,G): 
loop_cont_f15(A,B,C,D,E,F,G):[67]: 5+it1*(1)+it2*(1)+it3*(1)+it4*(1)
  Such that:it1=<50,it2=<50,it3=<50,it4=<50
  with precondition: [E>=50] 

loop_cont_f15(A,B,C,D,E,F,G):[68]: 5+it1*(1)+it2*(1)+it3*(1)+it4*(1)+it5*(1)
  Such that:it1=<-1*E+50,it2=<50,it3=<50,it4=<50,it5=<50
  with precondition: [49>=E] 

Inferred cost of f0(A,B,C,D,E,F,G): 
f0(A,B,C,D,E,F,G):[70]: 7+it1*(1)+it2*(1)+it3*(1)+it4*(1)+it5*(1)+it6*(1)
  Such that:it1=<50,it2=<50,it3=<50,it4=<50,it5=<50,it6=<50
  with precondition: [] 

Solved cost expressions of f0(A,B,C,D,E,F,G): 
f0(A,B,C,D,E,F,G):[70]: 307  with precondition: [] 
Maximum cost of f0(A,B,C,D,E,F,G): 307 
Asymptotic class: constant 
Time statistics: 
Partial evaluation computed in 25 ms.
Invariants computed in 89 ms.
----Backward Invariants 35 ms.
----Transitive Invariants 18 ms.
Refinement performed in 97 ms.
Termination proved in 37 ms.
Upper bounds computed in 67 ms.
----Phase cost structures 26 ms.
--------Equation cost structures 25 ms.
--------Inductive compression(1) 0 ms.
--------Inductive compression(2) 0 ms.
--------Black Cost 0 ms.
----Chain cost structures 35 ms.
----Solving cost expressions 0 ms.

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