warning: Ignored call to loop_cont_f2/3 in equation f1/3 
Inferred cost of f2(A,B,C,D,E,F,G): 
f2(A,B,C,D,E,F,G):[24]: 1
  with precondition: [D=1,A=E,B=F,A>=3,B>=2] 

f2(A,B,C,D,E,F,G):[[18],15,[21],25]...: inf
  with precondition: [A=1,0>=B,1>=D,D>=0] 

f2(A,B,C,D,E,F,G):[[19],16,24]: 2+it1*(1)
  Such that:it1=<-1*B+1
  with precondition: [D=1,F=2,A+2=B+E,0>=B,A>=2] 

f2(A,B,C,D,E,F,G):[[20],[18],15,[21],25]...: inf
  with precondition: [0>=A,1>=D,D>=0,A>=B+1] 

f2(A,B,C,D,E,F,G):[[20],15,[21],25]...: inf
  with precondition: [A=B,0>=A,1>=D,D>=0] 

f2(A,B,C,D,E,F,G):[[20],17,[21],25]...: inf
  with precondition: [A+1=B,0>=A+1,1>=D,D>=0] 

f2(A,B,C,D,E,F,G):[[20],17,[23],[21],25]...: inf
  with precondition: [0>=B,1>=D,D>=0,B>=A+2] 

f2(A,B,C,D,E,F,G):[[21],25]...: inf
  with precondition: [A=1,1>=D,B>=2,D>=0] 

f2(A,B,C,D,E,F,G):[[23],[21],25]...: inf
  with precondition: [0>=A,1>=D,B>=2,D>=0] 

f2(A,B,C,D,E,F,G):[15,[21],25]...: inf
  with precondition: [A=1,B=1,1>=D,D>=0] 

f2(A,B,C,D,E,F,G):[16,24]: 2
  with precondition: [B=1,D=1,F=2,E=A+1,E>=3] 

f2(A,B,C,D,E,F,G):[17,[21],25]...: inf
  with precondition: [A=0,B=1,1>=D,D>=0] 

f2(A,B,C,D,E,F,G):[17,[23],[21],25]...: inf
  with precondition: [B=1,0>=A+1,1>=D,D>=0] 

f2(A,B,C,D,E,F,G):[22,24]: 2
  with precondition: [A=2,D=1,E=3,F=B+1,F>=3] 

Inferred cost of f1(A,B,C): 
f1(A,B,C):[26]: 2
  with precondition: [A>=3,B>=2] 

f1(A,B,C):[27]: 3+it1*(1)
  Such that:it1=<-1*B+1
  with precondition: [0>=B,A>=2] 

f1(A,B,C):[28]: 3
  with precondition: [B=1,A>=2] 

f1(A,B,C):[29]: 3
  with precondition: [A=2,B>=2] 

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

f1(A,B,C):[31]...: inf
  with precondition: [0>=A,A>=B+1] 

f1(A,B,C):[32]...: inf
  with precondition: [A=B,0>=A] 

f1(A,B,C):[33]...: inf
  with precondition: [A+1=B,0>=A+1] 

f1(A,B,C):[34]...: inf
  with precondition: [0>=B,B>=A+2] 

f1(A,B,C):[35]...: inf
  with precondition: [A=1,B>=2] 

f1(A,B,C):[36]...: inf
  with precondition: [0>=A,B>=2] 

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

f1(A,B,C):[38]...: inf
  with precondition: [A=0,B=1] 

f1(A,B,C):[39]...: inf
  with precondition: [B=1,0>=A+1] 

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

f1(A,B,C):[41]...: inf
  with precondition: [0>=A,A>=B+1] 

f1(A,B,C):[42]...: inf
  with precondition: [A=B,0>=A] 

f1(A,B,C):[43]...: inf
  with precondition: [A+1=B,0>=A+1] 

f1(A,B,C):[44]...: inf
  with precondition: [0>=B,B>=A+2] 

f1(A,B,C):[45]...: inf
  with precondition: [A=1,B>=2] 

f1(A,B,C):[46]...: inf
  with precondition: [0>=A,B>=2] 

f1(A,B,C):[47]...: inf
  with precondition: [A=1,B=1] 

f1(A,B,C):[48]...: inf
  with precondition: [A=0,B=1] 

f1(A,B,C):[49]...: inf
  with precondition: [B=1,0>=A+1] 

Solved cost expressions of f1(A,B,C): 
f1(A,B,C):[26]: 2  with precondition: [A>=3,B>=2] 
f1(A,B,C):[27]: -1*B+4  with precondition: [0>=B,A>=2] 
f1(A,B,C):[28]: 3  with precondition: [B=1,A>=2] 
f1(A,B,C):[29]: 3  with precondition: [A=2,B>=2] 
f1(A,B,C):[30]...: inf  with precondition: [A=1,0>=B] 
f1(A,B,C):[31]...: inf  with precondition: [0>=A,A>=B+1] 
f1(A,B,C):[32]...: inf  with precondition: [A=B,0>=A] 
f1(A,B,C):[33]...: inf  with precondition: [A+1=B,0>=A+1] 
f1(A,B,C):[34]...: inf  with precondition: [0>=B,B>=A+2] 
f1(A,B,C):[35]...: inf  with precondition: [A=1,B>=2] 
f1(A,B,C):[36]...: inf  with precondition: [0>=A,B>=2] 
f1(A,B,C):[37]...: inf  with precondition: [A=1,B=1] 
f1(A,B,C):[38]...: inf  with precondition: [A=0,B=1] 
f1(A,B,C):[39]...: inf  with precondition: [B=1,0>=A+1] 
f1(A,B,C):[40]...: inf  with precondition: [A=1,0>=B] 
f1(A,B,C):[41]...: inf  with precondition: [0>=A,A>=B+1] 
f1(A,B,C):[42]...: inf  with precondition: [A=B,0>=A] 
f1(A,B,C):[43]...: inf  with precondition: [A+1=B,0>=A+1] 
f1(A,B,C):[44]...: inf  with precondition: [0>=B,B>=A+2] 
f1(A,B,C):[45]...: inf  with precondition: [A=1,B>=2] 
f1(A,B,C):[46]...: inf  with precondition: [0>=A,B>=2] 
f1(A,B,C):[47]...: inf  with precondition: [A=1,B=1] 
f1(A,B,C):[48]...: inf  with precondition: [A=0,B=1] 
f1(A,B,C):[49]...: inf  with precondition: [B=1,0>=A+1] 
Maximum cost of f1(A,B,C): inf 
Asymptotic class: infinity 
Time statistics: 
Partial evaluation computed in 7 ms.
Invariants computed in 128 ms.
----Backward Invariants 40 ms.
----Transitive Invariants 7 ms.
Refinement performed in 71 ms.
Termination proved in 13 ms.
Upper bounds computed in 124 ms.
----Phase cost structures 18 ms.
--------Equation cost structures 10 ms.
--------Inductive compression(1) 1 ms.
--------Inductive compression(2) 0 ms.
--------Black Cost 0 ms.
----Chain cost structures 99 ms.
----Solving cost expressions 0 ms.

Compressed phase information: 23 
Compressed Chains: 0 
Compressed invariants: 6 
Total analysis performed in 398 ms.