warning: Ignored call to evalNestedMultipleDepstop/5 in equation evalNestedMultipleDepreturnin/5 
Inferred cost of evalNestedMultipleDepbb2in(A,B,C,D,E,F,G,H,I,J,K): 
evalNestedMultipleDepbb2in(A,B,C,D,E,F,G,H,I,J,K):[18]: 1
  with precondition: [D=0,F=0,J=0,A+1=C,A+1=G,B=H,A+1=I,E=K,0>=E,B>=A+1] 

evalNestedMultipleDepbb2in(A,B,C,D,E,F,G,H,I,J,K):[[17],18]: 1+it1*(2)
  Such that:it1=<1*E,it1=<1*J,it1=<1*K,it1=<1*K+ -1*D
  with precondition: [F=0,A+1=C,K=E,A+1=G,B=H,A+1=I,K=J,D>=0,B>=A+1,K>=D+1] 

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

evalNestedMultipleDepbb3in(A,B,C,D,E,F,G,H,I,J,K):[[20],22]: 1+it1*(3)
  Such that:it1=<1*B,it1=<1*G,it1=<1*H,it1=<1*I,it1=<1*B+ -1*A
  with precondition: [F=0,J=0,H=B,H=G,H=I,E=K,0>=E,A>=0,H>=A+1] 

evalNestedMultipleDepbb3in(A,B,C,D,E,F,G,H,I,J,K):[[21],22]: 1+it1*(3+it2*(2))
  Such that:it1=<1*B,it1=<1*G,it1=<1*H,it1=<1*I,it1=<1*B+ -1*A
            it2=<1*E
  with precondition: [F=0,H=B,J=E,H=G,H=I,J=K,A>=0,J>=1,H>=A+1] 

Inferred cost of evalNestedMultipleDepreturnin(A,B,C,D,E): 
evalNestedMultipleDepreturnin(A,B,C,D,E):[24]: 1
  with precondition: [] 

Inferred cost of loop_cont_evalNestedMultipleDepbb3in(A,B,C,D,E): 
loop_cont_evalNestedMultipleDepbb3in(A,B,C,D,E):[26]: 1
  with precondition: [] 

Inferred cost of evalNestedMultipleDepentryin(A,B,C,D,E): 
evalNestedMultipleDepentryin(A,B,C,D,E):[28]: 3
  with precondition: [0>=B] 

evalNestedMultipleDepentryin(A,B,C,D,E):[29]: 3+it1*(3)
  Such that:it1=<1*B
  with precondition: [0>=E,B>=1] 

evalNestedMultipleDepentryin(A,B,C,D,E):[30]: 3+it1*(3+it2*(2))
  Such that:it1=<1*B
            it2=<1*E
  with precondition: [B>=1,E>=1] 

Inferred cost of evalNestedMultipleDepstart(A,B,C,D,E): 
evalNestedMultipleDepstart(A,B,C,D,E):[32]: 4
  with precondition: [0>=B] 

evalNestedMultipleDepstart(A,B,C,D,E):[33]: 4+it1*(3)
  Such that:it1=<1*B
  with precondition: [0>=E,B>=1] 

evalNestedMultipleDepstart(A,B,C,D,E):[34]: 4+it1*(3+it2*(2))
  Such that:it1=<1*B
            it2=<1*E
  with precondition: [B>=1,E>=1] 

Solved cost expressions of evalNestedMultipleDepstart(A,B,C,D,E): 
evalNestedMultipleDepstart(A,B,C,D,E):[32]: 4  with precondition: [0>=B] 
evalNestedMultipleDepstart(A,B,C,D,E):[33]: 3*B+4  with precondition: [0>=E,B>=1] 
evalNestedMultipleDepstart(A,B,C,D,E):[34]: (2*E+3)* (1*B)+4  with precondition: [B>=1,E>=1] 
Maximum cost of evalNestedMultipleDepstart(A,B,C,D,E): max([3*B+4,4, (2*E+3)* (1*B)+4]) 
Asymptotic class: n^2 
Time statistics: 
Partial evaluation computed in 14 ms.
Invariants computed in 40 ms.
----Backward Invariants 17 ms.
----Transitive Invariants 7 ms.
Refinement performed in 32 ms.
Termination proved in 15 ms.
Upper bounds computed in 51 ms.
----Phase cost structures 21 ms.
--------Equation cost structures 18 ms.
--------Inductive compression(1) 0 ms.
--------Inductive compression(2) 0 ms.
--------Black Cost 0 ms.
----Chain cost structures 24 ms.
----Solving cost expressions 1 ms.

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