warning: Ignored call to evalrandom1dstop/2 in equation evalrandom1dreturnin/2 
Inferred cost of evalrandom1dbb5in(A,B,C,D,E): 
evalrandom1dbb5in(A,B,C,D,E):[[14],15]: 1+it1*(2)
  Such that:it1=<1*D,it1=<1*E+ -1,it1=<1*A+ -1*B+1,it1=<1*D+ -1*B+1
  with precondition: [C=0,A=D,A+1=E,B>=1,A>=B] 

Inferred cost of evalrandom1dreturnin(A,B): 
evalrandom1dreturnin(A,B):[17]: 1
  with precondition: [] 

Inferred cost of loop_cont_evalrandom1dbb5in(A,B): 
loop_cont_evalrandom1dbb5in(A,B):[19]: 1
  with precondition: [] 

Inferred cost of evalrandom1dentryin(A,B): 
evalrandom1dentryin(A,B):[21]: 2
  with precondition: [0>=A] 

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

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

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

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

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