warning: Ignored call to loop_cont_f11/7 in equation f0/7 
Inferred cost of f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O): 
f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49],50]: inf
  with precondition: [H=1,O=0,F=N,I+J=1,1>=J,C>=0,D>=0,E>=1,G>=1,J>=0,K>=0,L>=0,M>=E,C+L+2*M>=2*E+2,B+F>=A+G,A+F>=B+G,C+D+G+J>=2,C+D+L+2*G>=4,J+L+2*C+3*M>=3*E+3] 

f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49],51]...: inf
  with precondition: [1>=H,C>=0,D>=0,E>=1,G>=1,H>=0,B+F>=A+G,A+F>=B+G] 

Inferred cost of f0(A,B,C,D,E,F,G): 
f0(A,B,C,D,E,F,G):[52]: inf
  with precondition: [] 

f0(A,B,C,D,E,F,G):[53]...: inf
  with precondition: [] 

f0(A,B,C,D,E,F,G):[54]...: inf
  with precondition: [] 

Solved cost expressions of f0(A,B,C,D,E,F,G): 
f0(A,B,C,D,E,F,G):[52]: inf  with precondition: [] 
f0(A,B,C,D,E,F,G):[53]...: inf  with precondition: [] 
f0(A,B,C,D,E,F,G):[54]...: inf  with precondition: [] 
Maximum cost of f0(A,B,C,D,E,F,G): inf 
Asymptotic class: infinity 
Time statistics: 
Partial evaluation computed in 139 ms.
Invariants computed in 624 ms.
----Backward Invariants 185 ms.
----Transitive Invariants 340 ms.
Refinement performed in 453 ms.
Termination proved in 226 ms.
Upper bounds computed in 242 ms.
----Phase cost structures 106 ms.
--------Equation cost structures 33 ms.
--------Inductive compression(1) 0 ms.
--------Inductive compression(2) 0 ms.
--------Black Cost 0 ms.
----Chain cost structures 133 ms.
----Solving cost expressions 0 ms.

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