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

lbl43(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[19]: 0
  with precondition: [K=1,M=B,N=C,O=D,P=E,A=F,S=H,G+2=I,U=J,A=L,A=Q,G=R,G+2=T,G+1>=0,A>=G+3] 

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

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

Inferred cost of lbl31(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U): 
lbl31(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[24]: 2
  with precondition: [A=2,F=2,I=1,K=1,L=2,O=1,Q=2,R=0,T=2,M=B,N=C,E=D,H=G,U=J,E=P,H=S] 

lbl31(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[27]: 1
  with precondition: [I=1,K=1,E=D,A=F,H=G,A>=2] 

lbl31(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[[21,22,23],24]: 2+it1*(2)+it2*(3)+it3*(3+it4*(1))
  Such that:it1+it2+it3=<1*R,it1+it2+it3=<1*L+ -2,it1+it2+it3=<1*O+ -1,it1+it2+it3=<1*O+ -1*I,it1+it2+it3=<1*Q+ -2,it1+it2+it3=<1*T+ -2,it1+it2+it3=<1*A+ -1*I+ -1,it1+it2+it3=<1*F+ -1*I+ -1
            it4=<1*F+ -2,it4=<1*F+ -3,it4=<1*A+ -2,it4=<1*A+ -3
  with precondition: [K=1,A=F,A=L,C=N,A=O+1,E=P,A=Q,A=R+2,H=S,A=T,J=U,I>=1,A>=I+2] 

lbl31(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[[21,22,23],25]: 3+it1*(2)+it2*(3)+it3*(3+it4*(1))
  Such that:it1+it2+it3=<1*L+ -2,it1+it2+it3=<1*O+ -1,it1+it2+it3=<1*O+ -1*I,it1+it2+it3=<1*Q+ -2,it1+it2+it3=<1*R+1,it1+it2+it3=<1*T+ -2,it1+it2+it3=<1*A+ -1*I+ -1,it1+it2+it3=<1*F+ -1*I+ -1
            it4=<1*F+ -2,it4=<1*F+ -3,it4=<1*A+ -2,it4=<1*A+ -3
  with precondition: [K=1,A=F,A=L,C=N,A=O+1,E=P,A=Q,A=R+3,H=S,A=T,J=U,I>=1,A>=I+2] 

lbl31(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[[21,22,23],26]: 3+it1*(1)+it2*(2)+it3*(3)+it4*(3+it5*(1))
  Such that:it1=<1*A+ -2,it1=<1*F+ -2,it1=<1*L+ -2,it1=<1*O+ -1,it1=<1*Q+ -2,it1=<1*T+ -2,it1=<1*A+ -1*R+ -3,it1=<1*F+ -1*R+ -3,it1=<1*L+ -1*R+ -3,it1=<1*O+ -1*R+ -2,it1=<1*Q+ -1*R+ -3,it1=<1*T+ -1*R+ -3,it2+it3+it4=<1*L+ -2,it2+it3+it4=<1*O+ -1,it2+it3+it4=<1*Q+ -2,it2+it3+it4=<1*T+ -2,it2+it3+it4=<1*A+ -1*I+ -1,it2+it3+it4=<1*F+ -1*I+ -1,it2+it3+it4=<1*L+ -1*I+ -1
            it5=<1*F+ -2,it5=<1*F+ -3,it5=<1*A+ -2,it5=<1*A+ -3
  with precondition: [K=1,A=F,A=L,C=N,A=O+1,E=P,A=Q,H=S,A=T,J=U,I>=1,R+1>=0,A>=I+2,A>=R+4] 

lbl31(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[[21,22,23],27]: 1+it1*(2)+it2*(3)+it3*(3+it4*(1))
  Such that:it1+it2+it3=<-1*I+1*A+ -1,it1+it2+it3=<-1*I+1*F+ -1,it1+it2+it3=<1*A+ -1*I+ -1,it1+it2+it3=<1*F+ -1*I+ -1
            it4=<1*F+ -2,it4=<1*F+ -3,it4=<1*A+ -2,it4=<1*A+ -3
  with precondition: [K=1,A=F,I>=1,A>=I+2] 

lbl31(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[[21,22,23],28]: 1+it1*(1)+it2*(2)+it3*(3)+it4*(3+it5*(1))
  Such that:it1=<1*A+ -2,it1=<1*F+ -2,it2+it3+it4=<-1*I+1*A+ -1,it2+it3+it4=<-1*I+1*F+ -1,it2+it3+it4=<1*A+ -1*I+ -1,it2+it3+it4=<1*F+ -1*I+ -1
            it5=<1*F+ -2,it5=<1*F+ -3,it5=<1*A+ -2,it5=<1*A+ -3
  with precondition: [K=1,A=F,I>=1,A>=I+2] 

Inferred cost of start(A,B,C,D,E,F,G,H,I,J): 
start(A,B,C,D,E,F,G,H,I,J):[30]: 1
  with precondition: [F=A,C=B,E=D,H=G,J=I,1>=F] 

start(A,B,C,D,E,F,G,H,I,J):[31]: 3
  with precondition: [A=2,F=2,C=B,E=D,H=G,J=I] 

start(A,B,C,D,E,F,G,H,I,J):[32]: 2
  with precondition: [F=A,C=B,E=D,H=G,J=I,F>=2] 

start(A,B,C,D,E,F,G,H,I,J):[33]: 3+it1*(2)+it2*(3)+it3*(3+it4*(1))
  Such that:it1+it2+it3=<1*A+ -2,it1+it2+it3=<1*F+ -2
            it4=<1*F+ -2,it4=<1*F+ -3,it4=<1*A+ -2,it4=<1*A+ -3
  with precondition: [F=A,C=B,E=D,H=G,J=I,F>=3] 

start(A,B,C,D,E,F,G,H,I,J):[34]: 4+it1*(2)+it2*(3)+it3*(3+it4*(1))
  Such that:it1+it2+it3=<1*A+ -2,it1+it2+it3=<1*F+ -2
            it4=<1*F+ -2,it4=<1*F+ -3,it4=<1*A+ -2,it4=<1*A+ -3
  with precondition: [F=A,C=B,E=D,H=G,J=I,F>=3] 

start(A,B,C,D,E,F,G,H,I,J):[35]: 4+it1*(1)+it2*(2)+it3*(3)+it4*(3+it5*(1))
  Such that:it1=<1*A+ -2,it1=<1*F+ -2,it2+it3+it4=<1*A+ -2,it2+it3+it4=<1*F+ -2
            it5=<1*F+ -2,it5=<1*F+ -3,it5=<1*A+ -2,it5=<1*A+ -3
  with precondition: [F=A,C=B,E=D,H=G,J=I,F>=3] 

start(A,B,C,D,E,F,G,H,I,J):[36]: 2+it1*(2)+it2*(3)+it3*(3+it4*(1))
  Such that:it1+it2+it3=<1*A+ -2,it1+it2+it3=<1*F+ -2
            it4=<1*F+ -2,it4=<1*F+ -3,it4=<1*A+ -2,it4=<1*A+ -3
  with precondition: [F=A,C=B,E=D,H=G,J=I,F>=3] 

start(A,B,C,D,E,F,G,H,I,J):[37]: 2+it1*(1)+it2*(2)+it3*(3)+it4*(3+it5*(1))
  Such that:it1=<1*A+ -2,it1=<1*F+ -2,it2+it3+it4=<1*A+ -2,it2+it3+it4=<1*F+ -2
            it5=<1*F+ -2,it5=<1*F+ -3,it5=<1*A+ -2,it5=<1*A+ -3
  with precondition: [F=A,C=B,E=D,H=G,J=I,F>=3] 

Inferred cost of start0(A,B,C,D,E,F,G,H,I,J): 
start0(A,B,C,D,E,F,G,H,I,J):[39]: 2
  with precondition: [1>=A] 

start0(A,B,C,D,E,F,G,H,I,J):[40]: 4
  with precondition: [A=2] 

start0(A,B,C,D,E,F,G,H,I,J):[41]: 3
  with precondition: [A>=2] 

start0(A,B,C,D,E,F,G,H,I,J):[42]: 4+it1*(2)+it2*(3)+it3*(3+it4*(1))
  Such that:it1+it2+it3=<1*A+ -2
            it4=<1*A+ -2,it4=<1*A+ -3
  with precondition: [A>=3] 

start0(A,B,C,D,E,F,G,H,I,J):[43]: 5+it1*(2)+it2*(3)+it3*(3+it4*(1))
  Such that:it1+it2+it3=<1*A+ -2
            it4=<1*A+ -2,it4=<1*A+ -3
  with precondition: [A>=3] 

start0(A,B,C,D,E,F,G,H,I,J):[44]: 5+it1*(1)+it2*(2)+it3*(3)+it4*(3+it5*(1))
  Such that:it1=<1*A+ -2,it2+it3+it4=<1*A+ -2
            it5=<1*A+ -2,it5=<1*A+ -3
  with precondition: [A>=3] 

start0(A,B,C,D,E,F,G,H,I,J):[45]: 3+it1*(2)+it2*(3)+it3*(3+it4*(1))
  Such that:it1+it2+it3=<1*A+ -2
            it4=<1*A+ -2,it4=<1*A+ -3
  with precondition: [A>=3] 

start0(A,B,C,D,E,F,G,H,I,J):[46]: 3+it1*(1)+it2*(2)+it3*(3)+it4*(3+it5*(1))
  Such that:it1=<1*A+ -2,it2+it3+it4=<1*A+ -2
            it5=<1*A+ -2,it5=<1*A+ -3
  with precondition: [A>=3] 

Solved cost expressions of start0(A,B,C,D,E,F,G,H,I,J): 
start0(A,B,C,D,E,F,G,H,I,J):[39]: 2  with precondition: [1>=A] 
start0(A,B,C,D,E,F,G,H,I,J):[40]: 4  with precondition: [A=2] 
start0(A,B,C,D,E,F,G,H,I,J):[41]: 3  with precondition: [A>=2] 
start0(A,B,C,D,E,F,G,H,I,J):[42]: max([3*A+ -6, (1*A+ -2)* (1*A)])+4  with precondition: [A>=3] 
start0(A,B,C,D,E,F,G,H,I,J):[43]: max([3*A+ -6, (1*A+ -2)* (1*A)])+5  with precondition: [A>=3] 
start0(A,B,C,D,E,F,G,H,I,J):[44]: 1*A+ -2+max([3*A+ -6, (1*A+ -2)* (1*A)])+5  with precondition: [A>=3] 
start0(A,B,C,D,E,F,G,H,I,J):[45]: max([3*A+ -6, (1*A+ -2)* (1*A)])+3  with precondition: [A>=3] 
start0(A,B,C,D,E,F,G,H,I,J):[46]: 1*A+ -2+max([3*A+ -6, (1*A+ -2)* (1*A)])+3  with precondition: [A>=3] 
Maximum cost of start0(A,B,C,D,E,F,G,H,I,J): max([4,max([3*A+ -6, (1*A+ -2)* (1*A)])+3,max([3*A+ -6, (1*A+ -2)* (1*A)])+4,max([3*A+ -6, (1*A+ -2)* (1*A)])+5,1*A+ -2+max([3*A+ -6, (1*A+ -2)* (1*A)])+3,1*A+ -2+max([3*A+ -6, (1*A+ -2)* (1*A)])+5]) 
Asymptotic class: n^2 
Time statistics: 
Partial evaluation computed in 39 ms.
Invariants computed in 155 ms.
----Backward Invariants 98 ms.
----Transitive Invariants 14 ms.
Refinement performed in 127 ms.
Termination proved in 38 ms.
Upper bounds computed in 815 ms.
----Phase cost structures 183 ms.
--------Equation cost structures 152 ms.
--------Inductive compression(1) 0 ms.
--------Inductive compression(2) 0 ms.
--------Black Cost 0 ms.
----Chain cost structures 618 ms.
----Solving cost expressions 5 ms.

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