warning: Ignored call to loop_cont_f0/6 in equation f3/6 
warning: Ignored call to loop_cont_f0/6 in equation f1/6 
Warning: the following predicates are never called:[f1/6]
Inferred cost of f0(A,B,C,D,E,F,G,H,I,J,K,L,M): 
f0(A,B,C,D,E,F,G,H,I,J,K,L,M):[10]: 0
  with precondition: [A=5000,G=1,H=5000,I=B,K=D,L=E,M=F,C=J,C>=1] 

f0(A,B,C,D,E,F,G,H,I,J,K,L,M):[[8,9],10]: 0+it1*(1)+it2*(1)
  Such that:it1=<1*C+4999,it1=<1*C+ -1*J,it1+it2=<5001/5000*C+ -1/5000*A+4999,it1+it2=<5001/5000*C+1/5000*H+ -1/5000*A+ -5001/5000*J,it2=<-1/5000*A+1/5000+ (1*C+4999)*max([1/5000])
  with precondition: [G=1,E=L,F=M,5000>=A,5000>=H,H>=0,J+4999>=H,H+5000*C>=5000*J+5000,H+5001*C>=5001*J+A+5000,C+24995000>=4999*H+A+J,C+H>=A+J] 

Inferred cost of f3(A,B,C,D,E,F): 
f3(A,B,C,D,E,F):[12]: 1
  with precondition: [] 

f3(A,B,C,D,E,F):[13]: inf
  with precondition: [] 

Solved cost expressions of f3(A,B,C,D,E,F): 
f3(A,B,C,D,E,F):[12]: 1  with precondition: [] 
f3(A,B,C,D,E,F):[13]: inf  with precondition: [] 
Maximum cost of f3(A,B,C,D,E,F): inf 
Asymptotic class: infinity 
Time statistics: 
Partial evaluation computed in 5 ms.
Invariants computed in 21 ms.
----Backward Invariants 9 ms.
----Transitive Invariants 4 ms.
Refinement performed in 18 ms.
Termination proved in 10 ms.
Upper bounds computed in 29 ms.
----Phase cost structures 9 ms.
--------Equation cost structures 5 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: 0 
Compressed Chains: 0 
Compressed invariants: 0 
Total analysis performed in 99 ms.