warning: Ignored call to loop_cont_f15/8 in equation f0/8 
Inferred cost of f25(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q): 
f25(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q):[16]: 1
  with precondition: [H=1,I=0,Q=1,K=B,L=C,M=D,P=G,A=J,E=N,F=O,1>=E,A>=F+1] 

f25(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q):[17]: 0
  with precondition: [H=1,I=1,Q=1,K=B,L=C,M=D,N=E,P=G,A=J,F=O,A>=F+1] 

f25(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q):[18]: 1
  with precondition: [H=1,I=0,Q=1,K=B,L=C,M=D,P=G,A=J,E=N+1,F+1=O,1>=E,A>=F+1] 

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

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

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

Inferred cost of f15(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q): 
f15(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q):[32]: 1
  with precondition: [A=10,B=35,C=285,F=0,I=1,E=D] 

f15(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q):[33]: 1+it1*(1)
  Such that:it1=<1*D+ -1,it1=<1*E+ -1
  with precondition: [A=10,B=35,C=285,F=0,I=1,E=D,E>=2] 

f15(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q):[[20,21,22,23,24,25,26,27,28,29,30,31],32]: inf
  with precondition: [A=10,B=35,C=285,I=1,9>=F,E+F>=D,D+F>=E] 

f15(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q):[[20,21,22,23,24,25,26,27,28,29,30,31],33]: inf
  with precondition: [A=10,B=35,C=285,I=1,9>=F,E+7>=F,E+F>=D,D+F>=E] 

f15(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q):[[20,21,22,23,24,25,26,27,28,29,30,31],34]: inf
  with precondition: [A=10,B=35,C=285,I=1,J=10,K=35,L=285,D=M,9>=F,11>=O,O>=10,Q>=1,E+F>=D,N+10>=E+F,Q+9>=E+F,D+F>=E,Q+11>=N+O,E+20>=F+N+O,Q+35*N+699>=35*E+35*F+35*O] 

f15(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q):[[20,21,22,23,24,25,26,27,28,29,30,31],35]...: inf
  with precondition: [A=10,B=35,C=285,9>=F,1>=I,I>=0,E+F>=D,D+F>=E] 

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

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

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

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

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

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

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

Solved cost expressions of f0(A,B,C,D,E,F,G,H): 
f0(A,B,C,D,E,F,G,H):[36]: 2  with precondition: [] 
f0(A,B,C,D,E,F,G,H):[37]: inf  with precondition: [] 
f0(A,B,C,D,E,F,G,H):[38]: inf  with precondition: [] 
f0(A,B,C,D,E,F,G,H):[39]: inf  with precondition: [] 
f0(A,B,C,D,E,F,G,H):[40]: inf  with precondition: [] 
f0(A,B,C,D,E,F,G,H):[41]...: inf  with precondition: [] 
f0(A,B,C,D,E,F,G,H):[42]...: inf  with precondition: [] 
Maximum cost of f0(A,B,C,D,E,F,G,H): inf 
Asymptotic class: infinity 
Time statistics: 
Partial evaluation computed in 30 ms.
Invariants computed in 297 ms.
----Backward Invariants 204 ms.
----Transitive Invariants 29 ms.
Refinement performed in 173 ms.
Termination proved in 92 ms.
Upper bounds computed in 535 ms.
----Phase cost structures 196 ms.
--------Equation cost structures 137 ms.
--------Inductive compression(1) 7 ms.
--------Inductive compression(2) 0 ms.
--------Black Cost 0 ms.
----Chain cost structures 330 ms.
----Solving cost expressions 0 ms.

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