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

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

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

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

evalnestedLoopbb7in(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q):[28,[27],29]: 4+it1*(3)+it2*(2)
  Such that:it1=<1*B+ -1,it1=<1*K+ -1,it1=<1*N+ -1,it1=<1*P+ -1,it2=<1*Q+ -1*D,it2=<1*Q+ -1*F,it2=<1*Q+ -1*M
  with precondition: [E=0,I=0,D=F,A=J,B=K,C=L,D=M,B=N,C=O,B=P,C=Q,B>=2,A>=D+1,C>=D+1] 

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

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

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

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

evalnestedLoopbb9in(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q):[33,[32],35]: 7+it1*(3+it2*(3))+it3*(3)+it4*(2)
  Such that:it1=<1*A+ -2,it1=<1*J+ -2,it1=<1*M+ -2,it1=<1*O+ -1,it1=<1*Q+ -1,it1=<1*Q+ -1*L,it1=<1*A+ -1*L+ -1,it1=<1*J+ -1*C+ -1,it1=<1*J+ -1*L+ -1,it3=<1*B+ -1,it3=<1*K+ -1,it3=<1*N+ -1,it3=<1*P+ -1,it4=<1*C,it4=<1*L,it4=<1*A+ -2,it4=<1*J+ -2,it4=<1*M+ -2,it4=<1*O+ -1,it4=<1*Q+ -1
            it2=<1*B
  with precondition: [D=0,I=0,A=J,B=K,C=L,A=M,B=N,A=O+1,B=P,A=Q+1,B>=2,C>=1,A>=C+2] 

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

evalnestedLoopbb9in(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q):[34,[32],35]: 7+it1*(3+it2*(3))+it3*(2)
  Such that:it1=<1*A+ -2,it1=<1*J+ -2,it1=<1*M+ -2,it1=<1*O+ -1,it1=<1*Q+ -1,it1=<1*Q+ -1*L,it1=<1*A+ -1*L+ -1,it1=<1*J+ -1*C+ -1,it1=<1*J+ -1*L+ -1,it3=<1*C,it3=<1*L,it3=<1*A+ -2,it3=<1*J+ -2,it3=<1*M+ -2,it3=<1*O+ -1,it3=<1*Q+ -1
            it2=<1
  with precondition: [B=1,D=0,I=0,K=1,N=1,P=1,A=J,C=L,A=M,A=O+1,A=Q+1,C>=1,A>=C+2] 

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

Inferred cost of evalnestedLoopreturnin(A,B,C,D,E,F,G,H): 
evalnestedLoopreturnin(A,B,C,D,E,F,G,H):[37]: 1
  with precondition: [] 

Inferred cost of loop_cont_evalnestedLoopbb9in(A,B,C,D,E,F,G,H): 
loop_cont_evalnestedLoopbb9in(A,B,C,D,E,F,G,H):[39]: 1
  with precondition: [] 

Inferred cost of evalnestedLoopentryin(A,B,C,D,E,F,G,H): 
evalnestedLoopentryin(A,B,C,D,E,F,G,H):[41]: 2
  with precondition: [0>=A+1] 

evalnestedLoopentryin(A,B,C,D,E,F,G,H):[42]: 2
  with precondition: [0>=B+1] 

evalnestedLoopentryin(A,B,C,D,E,F,G,H):[43]: 2
  with precondition: [0>=C+1] 

evalnestedLoopentryin(A,B,C,D,E,F,G,H):[44]: 3
  with precondition: [A=0,B>=0,C>=0] 

evalnestedLoopentryin(A,B,C,D,E,F,G,H):[45]: 3+it1*(3)
  Such that:it1=<1*A
  with precondition: [B=0,A>=1,C>=0] 

evalnestedLoopentryin(A,B,C,D,E,F,G,H):[46]: 3+it1*(3+it2*(3))
  Such that:it1=<1*A
            it2=<1*B
  with precondition: [C=0,A>=1,B>=1] 

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

evalnestedLoopentryin(A,B,C,D,E,F,G,H):[48]: 9+it1*(3)+it2*(2)
  Such that:it1=<1*B+ -1,it2=<1*C
  with precondition: [A>=1,B>=2,C>=1,C+1>=A] 

evalnestedLoopentryin(A,B,C,D,E,F,G,H):[49]: 9+it1*(3+it2*(3))+it3*(2)
  Such that:it1=<1*A+ -2,it1=<1*A+ -1*C+ -1,it3=<1*C,it3=<1*A+ -2
            it2=<1
  with precondition: [B=1,C>=1,A>=C+2] 

evalnestedLoopentryin(A,B,C,D,E,F,G,H):[50]: 9+it1*(2)
  Such that:it1=<1*C
  with precondition: [B=1,A>=1,C>=1,C+1>=A] 

Inferred cost of evalnestedLoopstart(A,B,C,D,E,F,G,H): 
evalnestedLoopstart(A,B,C,D,E,F,G,H):[52]: 3
  with precondition: [0>=A+1] 

evalnestedLoopstart(A,B,C,D,E,F,G,H):[53]: 3
  with precondition: [0>=B+1] 

evalnestedLoopstart(A,B,C,D,E,F,G,H):[54]: 3
  with precondition: [0>=C+1] 

evalnestedLoopstart(A,B,C,D,E,F,G,H):[55]: 4
  with precondition: [A=0,B>=0,C>=0] 

evalnestedLoopstart(A,B,C,D,E,F,G,H):[56]: 4+it1*(3)
  Such that:it1=<1*A
  with precondition: [B=0,A>=1,C>=0] 

evalnestedLoopstart(A,B,C,D,E,F,G,H):[57]: 4+it1*(3+it2*(3))
  Such that:it1=<1*A
            it2=<1*B
  with precondition: [C=0,A>=1,B>=1] 

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

evalnestedLoopstart(A,B,C,D,E,F,G,H):[59]: 10+it1*(3)+it2*(2)
  Such that:it1=<1*B+ -1,it2=<1*C
  with precondition: [A>=1,B>=2,C>=1,C+1>=A] 

evalnestedLoopstart(A,B,C,D,E,F,G,H):[60]: 10+it1*(3+it2*(3))+it3*(2)
  Such that:it1=<1*A+ -2,it1=<1*A+ -1*C+ -1,it3=<1*C,it3=<1*A+ -2
            it2=<1
  with precondition: [B=1,C>=1,A>=C+2] 

evalnestedLoopstart(A,B,C,D,E,F,G,H):[61]: 10+it1*(2)
  Such that:it1=<1*C
  with precondition: [B=1,A>=1,C>=1,C+1>=A] 

Solved cost expressions of evalnestedLoopstart(A,B,C,D,E,F,G,H): 
evalnestedLoopstart(A,B,C,D,E,F,G,H):[52]: 3  with precondition: [0>=A+1] 
evalnestedLoopstart(A,B,C,D,E,F,G,H):[53]: 3  with precondition: [0>=B+1] 
evalnestedLoopstart(A,B,C,D,E,F,G,H):[54]: 3  with precondition: [0>=C+1] 
evalnestedLoopstart(A,B,C,D,E,F,G,H):[55]: 4  with precondition: [A=0,B>=0,C>=0] 
evalnestedLoopstart(A,B,C,D,E,F,G,H):[56]: 3*A+4  with precondition: [B=0,A>=1,C>=0] 
evalnestedLoopstart(A,B,C,D,E,F,G,H):[57]: (3*B+3)* (1*A)+4  with precondition: [C=0,A>=1,B>=1] 
evalnestedLoopstart(A,B,C,D,E,F,G,H):[58]: 3*B+ -3+ (1*A+ -1*C+ -1)* (3*B+3)+2*C+10  with precondition: [B>=2,C>=1,A>=C+2] 
evalnestedLoopstart(A,B,C,D,E,F,G,H):[59]: 3*B+2*C+7  with precondition: [A>=1,B>=2,C>=1,C+1>=A] 
evalnestedLoopstart(A,B,C,D,E,F,G,H):[60]: 6*A+ -4*C+4  with precondition: [B=1,C>=1,A>=C+2] 
evalnestedLoopstart(A,B,C,D,E,F,G,H):[61]: 2*C+10  with precondition: [B=1,A>=1,C>=1,C+1>=A] 
Maximum cost of evalnestedLoopstart(A,B,C,D,E,F,G,H): max([6*A+ -4*C+4,3*A+4,4,2*C+10,3*B+2*C+7, (3*B+3)* (1*A)+4,3*B+ -3+ (1*A+ -1*C+ -1)* (3*B+3)+2*C+10]) 
Asymptotic class: n^2 
Time statistics: 
Partial evaluation computed in 37 ms.
Invariants computed in 184 ms.
----Backward Invariants 88 ms.
----Transitive Invariants 15 ms.
Refinement performed in 112 ms.
Termination proved in 36 ms.
Upper bounds computed in 524 ms.
----Phase cost structures 142 ms.
--------Equation cost structures 131 ms.
--------Inductive compression(1) 0 ms.
--------Inductive compression(2) 0 ms.
--------Black Cost 0 ms.
----Chain cost structures 367 ms.
----Solving cost expressions 3 ms.

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