warning: Ignored call to evalspeedFails4stop/4 in equation evalspeedFails4returnin/4 
Inferred cost of evalspeedFails4bb6in(A,B,C,D,E,F,G,H,I): 
evalspeedFails4bb6in(A,B,C,D,E,F,G,H,I):[18]: 1
  with precondition: [E=0,H=C,A=F,B=G,D=I,1>=A,A+1>=0,D>=B+1] 

evalspeedFails4bb6in(A,B,C,D,E,F,G,H,I):[[16],18]: inf
  with precondition: [A=1,E=0,F=1,B=G,C=H,B+1=I,C>=1,B>=D] 

evalspeedFails4bb6in(A,B,C,D,E,F,G,H,I):[[16],19]...: inf
  with precondition: [1>=A,1>=E,A+1>=0,C>=1,E>=0,B>=D] 

evalspeedFails4bb6in(A,B,C,D,E,F,G,H,I):[[17],18]: inf
  with precondition: [A+1=0,E=0,F+1=0,B=G,C=H,B+1=I,0>=C,B>=D] 

evalspeedFails4bb6in(A,B,C,D,E,F,G,H,I):[[17],19]...: inf
  with precondition: [1>=A,0>=C,1>=E,A+1>=0,E>=0,B>=D] 

Inferred cost of evalspeedFails4returnin(A,B,C,D): 
evalspeedFails4returnin(A,B,C,D):[20]: 1
  with precondition: [] 

Inferred cost of loop_cont_evalspeedFails4bb6in(A,B,C,D): 
loop_cont_evalspeedFails4bb6in(A,B,C,D):[22]: 1
  with precondition: [] 

Inferred cost of evalspeedFails4entryin(A,B,C,D): 
evalspeedFails4entryin(A,B,C,D):[24]: 3
  with precondition: [A>=1,B>=C+1] 

evalspeedFails4entryin(A,B,C,D):[25]: inf
  with precondition: [A>=1,C>=B] 

evalspeedFails4entryin(A,B,C,D):[26]: 3
  with precondition: [0>=A,B>=C+1] 

evalspeedFails4entryin(A,B,C,D):[27]: inf
  with precondition: [0>=A,C>=B] 

evalspeedFails4entryin(A,B,C,D):[28]...: inf
  with precondition: [A>=1,C>=B] 

evalspeedFails4entryin(A,B,C,D):[29]...: inf
  with precondition: [A>=1,C>=B] 

evalspeedFails4entryin(A,B,C,D):[30]...: inf
  with precondition: [0>=A,C>=B] 

evalspeedFails4entryin(A,B,C,D):[31]...: inf
  with precondition: [0>=A,C>=B] 

Inferred cost of evalspeedFails4start(A,B,C,D): 
evalspeedFails4start(A,B,C,D):[33]: 4
  with precondition: [A>=1,B>=C+1] 

evalspeedFails4start(A,B,C,D):[34]: inf
  with precondition: [A>=1,C>=B] 

evalspeedFails4start(A,B,C,D):[35]: 4
  with precondition: [0>=A,B>=C+1] 

evalspeedFails4start(A,B,C,D):[36]: inf
  with precondition: [0>=A,C>=B] 

evalspeedFails4start(A,B,C,D):[37]...: inf
  with precondition: [A>=1,C>=B] 

evalspeedFails4start(A,B,C,D):[38]...: inf
  with precondition: [A>=1,C>=B] 

evalspeedFails4start(A,B,C,D):[39]...: inf
  with precondition: [0>=A,C>=B] 

evalspeedFails4start(A,B,C,D):[40]...: inf
  with precondition: [0>=A,C>=B] 

Solved cost expressions of evalspeedFails4start(A,B,C,D): 
evalspeedFails4start(A,B,C,D):[33]: 4  with precondition: [A>=1,B>=C+1] 
evalspeedFails4start(A,B,C,D):[34]: inf  with precondition: [A>=1,C>=B] 
evalspeedFails4start(A,B,C,D):[35]: 4  with precondition: [0>=A,B>=C+1] 
evalspeedFails4start(A,B,C,D):[36]: inf  with precondition: [0>=A,C>=B] 
evalspeedFails4start(A,B,C,D):[37]...: inf  with precondition: [A>=1,C>=B] 
evalspeedFails4start(A,B,C,D):[38]...: inf  with precondition: [A>=1,C>=B] 
evalspeedFails4start(A,B,C,D):[39]...: inf  with precondition: [0>=A,C>=B] 
evalspeedFails4start(A,B,C,D):[40]...: inf  with precondition: [0>=A,C>=B] 
Maximum cost of evalspeedFails4start(A,B,C,D): inf 
Asymptotic class: infinity 
Time statistics: 
Partial evaluation computed in 11 ms.
Invariants computed in 33 ms.
----Backward Invariants 19 ms.
----Transitive Invariants 4 ms.
Refinement performed in 32 ms.
Termination proved in 6 ms.
Upper bounds computed in 29 ms.
----Phase cost structures 7 ms.
--------Equation cost structures 5 ms.
--------Inductive compression(1) 0 ms.
--------Inductive compression(2) 0 ms.
--------Black Cost 0 ms.
----Chain cost structures 15 ms.
----Solving cost expressions 0 ms.

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