warning: Ignored call to loop_cont_f32/7 in equation loop_cont_f17/7 
Inferred cost of f5(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O): 
f5(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[25]: 0
  with precondition: [A=0,H=1,I=0,J=B,K=C,L=D,M=E,N=F,O=G] 

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

f5(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[24],26]: 1+it1*(1)
  Such that:it1=<100,it1=<-1*A+100
  with precondition: [H=1,I=100,L=98,B=J,C=K,E=M,F=N,G=O,99>=A,A>=0] 

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

f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[31]: 0
  with precondition: [H=1,I=A,J=B,K=C,L=D,M=E,N=F,O=G] 

f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[32]: 1
  with precondition: [H=1,I=A,K=C,M=E,B=J,B=L,B=N] 

f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[28,29],30]: inf
  with precondition: [H=0,A=I,L=J,L=K,E=M,L=N,L>=B] 

f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[28,29],31]: inf
  with precondition: [H=1,A=I,C=K,D=L,E=M,F=N,G=O,J>=B] 

f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[28,29],32]: inf
  with precondition: [H=1,A=I,L=J,C=K,E=M,L=N,L>=B] 

f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[28,29],33]...: inf
  with precondition: [1>=H,H>=0] 

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

f32(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[34,35],36]: inf
  with precondition: [H=1,A=I,B=J,L=K,L=M,F=N,G=O,L>=C] 

f32(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[34,35],37]...: inf
  with precondition: [1>=H,H>=0] 

Inferred cost of loop_cont_f17(A,B,C,D,E,F,G): 
loop_cont_f17(A,B,C,D,E,F,G):[38]: 1
  with precondition: [] 

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

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

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

Inferred cost of loop_cont_f5(A,B,C,D,E,F,G): 
loop_cont_f5(A,B,C,D,E,F,G):[43]: 2
  with precondition: [] 

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

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

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

loop_cont_f5(A,B,C,D,E,F,G):[47]: 0
  with precondition: [] 

loop_cont_f5(A,B,C,D,E,F,G):[48]: 1
  with precondition: [] 

loop_cont_f5(A,B,C,D,E,F,G):[49]: inf
  with precondition: [] 

loop_cont_f5(A,B,C,D,E,F,G):[50]: inf
  with precondition: [] 

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

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

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

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

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

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

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

f0(A,B,C,D,E,F,G):[59]: 1+it1*(1)
  Such that:it1=<100
  with precondition: [] 

f0(A,B,C,D,E,F,G):[60]: 2+it1*(1)
  Such that:it1=<100
  with precondition: [] 

Solved cost expressions of f0(A,B,C,D,E,F,G): 
f0(A,B,C,D,E,F,G):[58]: 1  with precondition: [] 
f0(A,B,C,D,E,F,G):[59]: 101  with precondition: [] 
f0(A,B,C,D,E,F,G):[60]: 102  with precondition: [] 
Maximum cost of f0(A,B,C,D,E,F,G): 102 
Asymptotic class: constant 
Time statistics: 
Partial evaluation computed in 17 ms.
Invariants computed in 87 ms.
----Backward Invariants 49 ms.
----Transitive Invariants 12 ms.
Refinement performed in 86 ms.
Termination proved in 21 ms.
Upper bounds computed in 64 ms.
----Phase cost structures 17 ms.
--------Equation cost structures 15 ms.
--------Inductive compression(1) 0 ms.
--------Inductive compression(2) 0 ms.
--------Black Cost 0 ms.
----Chain cost structures 40 ms.
----Solving cost expressions 1 ms.

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