warning: Ignored call to evalSimpleSinglestop/2 in equation evalSimpleSinglereturnin/2 
Inferred cost of evalSimpleSinglebb3in(A,B,C,D,E): 
evalSimpleSinglebb3in(A,B,C,D,E):[14]: 1
  with precondition: [A=0,C=0,D=0,B=E,0>=B] 

evalSimpleSinglebb3in(A,B,C,D,E):[[13],14]: 1+it1*(2)
  Such that:it1=<1*B,it1=<1*D,it1=<1*E,it1=<1*E+ -1*A
  with precondition: [C=0,E=B,E=D,A>=0,E>=A+1] 

Inferred cost of evalSimpleSinglereturnin(A,B): 
evalSimpleSinglereturnin(A,B):[16]: 1
  with precondition: [] 

Inferred cost of loop_cont_evalSimpleSinglebb3in(A,B): 
loop_cont_evalSimpleSinglebb3in(A,B):[18]: 1
  with precondition: [] 

Inferred cost of evalSimpleSingleentryin(A,B): 
evalSimpleSingleentryin(A,B):[20]: 3
  with precondition: [0>=B] 

evalSimpleSingleentryin(A,B):[21]: 3+it1*(2)
  Such that:it1=<1*B
  with precondition: [B>=1] 

Inferred cost of evalSimpleSinglestart(A,B): 
evalSimpleSinglestart(A,B):[23]: 4
  with precondition: [0>=B] 

evalSimpleSinglestart(A,B):[24]: 4+it1*(2)
  Such that:it1=<1*B
  with precondition: [B>=1] 

Solved cost expressions of evalSimpleSinglestart(A,B): 
evalSimpleSinglestart(A,B):[23]: 4  with precondition: [0>=B] 
evalSimpleSinglestart(A,B):[24]: 2*B+4  with precondition: [B>=1] 
Maximum cost of evalSimpleSinglestart(A,B): max([2*B+4,4]) 
Asymptotic class: n 
Time statistics: 
Partial evaluation computed in 3 ms.
Invariants computed in 7 ms.
----Backward Invariants 3 ms.
----Transitive Invariants 1 ms.
Refinement performed in 7 ms.
Termination proved in 2 ms.
Upper bounds computed in 13 ms.
----Phase cost structures 5 ms.
--------Equation cost structures 4 ms.
--------Inductive compression(1) 0 ms.
--------Inductive compression(2) 0 ms.
--------Black Cost 0 ms.
----Chain cost structures 5 ms.
----Solving cost expressions 0 ms.

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