warning: Ignored call to loop_cont_f1/18 in equation f300/18 
Inferred cost of f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1): 
f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1):[12]: 1
  with precondition: [S=1,H1=0,I1=0,J1=0,T=A,U=B,V=C,W=D,X=E,A1=H,D1=K,E1=L,F1=M,G1=N,K1=R,F=Y,G=Z,F>=G] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1):[13]: 1
  with precondition: [S=1,T=A,U=B,V=C,W=D,X=E,F=Y,G=Z,H=A1,H=H1,H=I1,H=J1,H>=257,G>=F+1] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1):[14]: 1
  with precondition: [S=1,T=A,U=B,V=C,W=D,X=E,F=Y,G=Z,H=A1,H=H1,H=I1,H=J1,255>=H,H>=1,G>=F+1] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1):[[10],15]...: inf
  with precondition: [H=256,1>=S,S>=0,G>=F+1] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1):[[11],15]...: inf
  with precondition: [0>=H,1>=S,S>=0,G>=F+1] 

Inferred cost of f300(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R): 
f300(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R):[16]: 2
  with precondition: [F>=G] 

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

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

f300(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R):[19]...: inf
  with precondition: [H=256,G>=F+1] 

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

f300(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R):[21]...: inf
  with precondition: [H=256,G>=F+1] 

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

Solved cost expressions of f300(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R): 
f300(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R):[16]: 2  with precondition: [F>=G] 
f300(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R):[17]: 2  with precondition: [H>=257,G>=F+1] 
f300(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R):[18]: 2  with precondition: [255>=H,H>=1,G>=F+1] 
f300(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R):[19]...: inf  with precondition: [H=256,G>=F+1] 
f300(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R):[20]...: inf  with precondition: [0>=H,G>=F+1] 
f300(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R):[21]...: inf  with precondition: [H=256,G>=F+1] 
f300(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R):[22]...: inf  with precondition: [0>=H,G>=F+1] 
Maximum cost of f300(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R): inf 
Asymptotic class: infinity 
Time statistics: 
Partial evaluation computed in 20 ms.
Invariants computed in 81 ms.
----Backward Invariants 28 ms.
----Transitive Invariants 20 ms.
Refinement performed in 97 ms.
Termination proved in 39 ms.
Upper bounds computed in 33 ms.
----Phase cost structures 11 ms.
--------Equation cost structures 10 ms.
--------Inductive compression(1) 0 ms.
--------Inductive compression(2) 0 ms.
--------Black Cost 0 ms.
----Chain cost structures 18 ms.
----Solving cost expressions 0 ms.

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