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

f36(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[[36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51],52]: 1+it1*(2)
  Such that:it1=<1*U,it1=<-1*G+1*U,it1=<1*E+1,it1=<1*P+1,it1=<1*U+ -1*J
  with precondition: [H=0,I=0,K=0,S=0,T=0,P=E,F=Q,P+1=U,1>=F,1>=R,F>=0,G>=0,R>=0,L>=A,J>=G,P>=J,P+1>=L,3*A+7*P+4>=6*J+4*L,A+2*P+2>=2*J+F+L,A+R+2*P+1>=2*J+L] 

f36(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[[36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51],54]: 1+it1*(2)
  Such that:it1=<1*U,it1=<-1*G+1*U,it1=<1*E+1,it1=<1*P+1,it1=<1*U+ -1*J,it1=<-1*G+1*P+1,it1=<1*P+ -1*J+1
  with precondition: [F=0,H=0,I=0,K=0,Q=0,R=1,S=1,T=0,E=P,G>=0,L>=A,J>=G,U>=J+1,E+1>=L,E+1>=U,A+2*U>=2*J+L,E+3*A+6*U>=6*J+4*L+2] 

Inferred cost of f15(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U): 
f15(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[[57,60,63,66],59,70]: inf
  with precondition: [F=0,I=0,K=1,Q=0,S=0,T=1,U=E+1,H=G,U=P+1,1>=H,1>=R,A>=1,H>=0,R>=0,L>=A,J>=H,U>=L,H+U>=J+1] 

f15(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[[57,60,63,66],62,70]: inf
  with precondition: [F=0,I=0,K=1,S=0,T=1,U=E+1,H=G,U=P+1,1>=H,1>=Q,1>=R,A>=1,H>=0,Q>=0,R>=0,L>=A,J>=H,U>=L,H+U>=J+1] 

f15(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[[57,60,63,66],65,70]: inf
  with precondition: [F=0,I=0,K=1,S=0,T=1,U=E+1,H=G,U=P+1,1>=H,1>=Q,1>=R,A>=1,H>=0,Q>=0,R>=0,L>=A+1,J>=H,U>=L,H+U>=J+1] 

f15(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[[57,60,63,66],68,70]: inf
  with precondition: [F=0,I=0,K=1,S=0,T=1,U=E+1,H=G,U=P+1,1>=H,1>=Q,1>=R,A>=1,H>=0,Q>=0,R>=0,L>=A,J>=H,U>=L,H+U>=J+1] 

f15(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[[57,60,63,66],71]...: inf
  with precondition: [F=0,I=0,H=G,1>=H,1>=K,A>=1,H>=0,K>=0,E+1>=A,J>=H,E+H>=J] 

f15(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[59,70]: 4+it1*(2)
  Such that:it1=<1*U,it1=<1*E+1,it1=<1*P+1
  with precondition: [A=1,B=4,C=0,D=0,F=0,G=0,H=0,I=0,J=0,K=1,Q=0,S=0,T=1,E=P,E+1=U,1>=R,L>=1,R>=0,E+1>=L] 

f15(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[68,70]: 4+it1*(2)
  Such that:it1=<1*U,it1=<1*E+1,it1=<1*P+1
  with precondition: [A=1,B=4,D=0,F=0,G=0,H=0,I=0,J=0,K=1,S=0,T=1,E=P,E+1=U,1>=Q,1>=R,C>=1,L>=1,Q>=0,R>=0,E+1>=L] 

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

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

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

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

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

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

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

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

Solved cost expressions of f0(A,B,C,D,E,F,G,H,I,J): 
f0(A,B,C,D,E,F,G,H,I,J):[72]: inf  with precondition: [] 
f0(A,B,C,D,E,F,G,H,I,J):[73]: inf  with precondition: [] 
f0(A,B,C,D,E,F,G,H,I,J):[74]: inf  with precondition: [] 
f0(A,B,C,D,E,F,G,H,I,J):[75]: inf  with precondition: [] 
f0(A,B,C,D,E,F,G,H,I,J):[76]: inf  with precondition: [] 
f0(A,B,C,D,E,F,G,H,I,J):[77]: inf  with precondition: [] 
f0(A,B,C,D,E,F,G,H,I,J):[78]...: inf  with precondition: [] 
f0(A,B,C,D,E,F,G,H,I,J):[79]...: inf  with precondition: [] 
Maximum cost of f0(A,B,C,D,E,F,G,H,I,J): inf 
Asymptotic class: infinity 
Time statistics: 
Partial evaluation computed in 222 ms.
Invariants computed in 790 ms.
----Backward Invariants 389 ms.
----Transitive Invariants 218 ms.
Refinement performed in 801 ms.
Termination proved in 324 ms.
Upper bounds computed in 2733 ms.
----Phase cost structures 510 ms.
--------Equation cost structures 271 ms.
--------Inductive compression(1) 0 ms.
--------Inductive compression(2) 0 ms.
--------Black Cost 0 ms.
----Chain cost structures 2214 ms.
----Solving cost expressions 0 ms.

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