warning: Ignored call to f30/6 in equation f27/6 
warning: Ignored call to loop_cont_f25/6 in equation loop_cont_f10/6 
Warning: the following predicates are never called:[f27/6]
Inferred cost of f16(A,B,C,D,E,F,G,H,I,J,K,L,M): 
f16(A,B,C,D,E,F,G,H,I,J,K,L,M):[18]: 1
  with precondition: [B=0,G=0,I=0,L=0,D=C,M=H,D=J,D=K,0>=A,0>=D] 

f16(A,B,C,D,E,F,G,H,I,J,K,L,M):[[17],19]...: inf
  with precondition: [B=0,C=D,0>=A,1>=G,C>=1,G>=0] 

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

f10(A,B,C,D,E,F,G,H,I,J,K,L,M):[22]...: inf
  with precondition: [B=0,E=0,A=F,0>=A,1>=G,G>=0] 

f10(A,B,C,D,E,F,G,H,I,J,K,L,M):[23]...: inf
  with precondition: [B=0,E=0,G=1,A=F,0>=A] 

f10(A,B,C,D,E,F,G,H,I,J,K,L,M):[[20],21]: inf
  with precondition: [B=0,E=0,G=0,I=0,L=0,A=F,M=H,K=J,0>=A,0>=K,M>=1] 

f10(A,B,C,D,E,F,G,H,I,J,K,L,M):[[20],22]...: inf
  with precondition: [B=0,E=0,A=F,0>=A,1>=G,G>=0] 

f10(A,B,C,D,E,F,G,H,I,J,K,L,M):[[20],23]...: inf
  with precondition: [B=0,E=0,G=1,A=F,0>=A] 

f10(A,B,C,D,E,F,G,H,I,J,K,L,M):[[20],24]...: inf
  with precondition: [B=0,E=0,A=F,0>=A,1>=G,G>=0] 

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

f25(A,B,C,D,E,F,G,H,I,J,K,L,M):[[25],26]: inf
  with precondition: [G=1,A=H,B=I,C=J,D=K,E=L,F=M] 

f25(A,B,C,D,E,F,G,H,I,J,K,L,M):[[25],27]...: inf
  with precondition: [1>=G,G>=0] 

Inferred cost of loop_cont_f10(A,B,C,D,E,F): 
loop_cont_f10(A,B,C,D,E,F):[28]: 0
  with precondition: [] 

loop_cont_f10(A,B,C,D,E,F):[29]: inf
  with precondition: [] 

loop_cont_f10(A,B,C,D,E,F):[30]...: inf
  with precondition: [] 

loop_cont_f10(A,B,C,D,E,F):[31]...: inf
  with precondition: [] 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Solved cost expressions of f0(A,B,C,D,E,F): 
f0(A,B,C,D,E,F):[33]: 2  with precondition: [] 
f0(A,B,C,D,E,F):[34]: inf  with precondition: [] 
f0(A,B,C,D,E,F):[35]: inf  with precondition: [] 
f0(A,B,C,D,E,F):[36]: inf  with precondition: [] 
f0(A,B,C,D,E,F):[37]...: inf  with precondition: [] 
f0(A,B,C,D,E,F):[38]...: inf  with precondition: [] 
f0(A,B,C,D,E,F):[39]...: inf  with precondition: [] 
f0(A,B,C,D,E,F):[40]...: inf  with precondition: [] 
f0(A,B,C,D,E,F):[41]...: inf  with precondition: [] 
f0(A,B,C,D,E,F):[42]...: inf  with precondition: [] 
f0(A,B,C,D,E,F):[43]...: inf  with precondition: [] 
f0(A,B,C,D,E,F):[44]...: inf  with precondition: [] 
f0(A,B,C,D,E,F):[45]...: inf  with precondition: [] 
f0(A,B,C,D,E,F):[46]...: inf  with precondition: [] 
f0(A,B,C,D,E,F):[47]...: inf  with precondition: [] 
f0(A,B,C,D,E,F):[48]...: inf  with precondition: [] 
Maximum cost of f0(A,B,C,D,E,F): inf 
Asymptotic class: infinity 
Time statistics: 
Partial evaluation computed in 14 ms.
Invariants computed in 60 ms.
----Backward Invariants 33 ms.
----Transitive Invariants 8 ms.
Refinement performed in 55 ms.
Termination proved in 12 ms.
Upper bounds computed in 51 ms.
----Phase cost structures 16 ms.
--------Equation cost structures 15 ms.
--------Inductive compression(1) 0 ms.
--------Inductive compression(2) 0 ms.
--------Black Cost 0 ms.
----Chain cost structures 28 ms.
----Solving cost expressions 0 ms.

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