warning: Ignored call to stop/4 in equation start/4 
warning: Ignored call to loop_cont_lbl32/4 in equation start/4 
Inferred cost of lbl32(A,B,C,D,E,F,G,H,I): 
lbl32(A,B,C,D,E,F,G,H,I):[11]: 1
  with precondition: [A=2,D=1,E=1,F=2,I=1,C=B,C=G,C=H] 

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

Inferred cost of start(A,B,C,D): 
start(A,B,C,D):[13]: 1
  with precondition: [D=A,C=B,1>=D] 

start(A,B,C,D):[14]: 2
  with precondition: [A=2,D=2,C=B] 

start(A,B,C,D):[15]: 2+it1*(1)
  Such that:it1=<1*A+ -2,it1=<1*D+ -2
  with precondition: [D=A,C=B,D>=3] 

Inferred cost of start0(A,B,C,D): 
start0(A,B,C,D):[17]: 2
  with precondition: [1>=A] 

start0(A,B,C,D):[18]: 3
  with precondition: [A=2] 

start0(A,B,C,D):[19]: 3+it1*(1)
  Such that:it1=<1*A+ -2
  with precondition: [A>=3] 

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

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