warning: Ignored call to f32/14 in equation f23/14 
warning: Ignored call to f32/14 in equation f23/14 
warning: Ignored call to f32/14 in equation f23/14 
warning: Ignored call to f32/14 in equation f36/14 
warning: Ignored call to f32/14 in equation f26/14 
Inferred cost of f26(A,B,C,D,E,F,G,H,I,J,K,L,M,N): 
f26(A,B,C,D,E,F,G,H,I,J,K,L,M,N):[19]: 1
  with precondition: [A=100,C=1,D=1,E=0,F=100,H=0,I=100] 

Inferred cost of f23(A,B,C,D,E,F,G,H,I,J,K,L,M,N): 
f23(A,B,C,D,E,F,G,H,I,J,K,L,M,N):[21]: 2
  with precondition: [A=100,C=1,D=1,E=1,F=100,H=0] 

f23(A,B,C,D,E,F,G,H,I,J,K,L,M,N):[22]: 1
  with precondition: [A=100,C=1,D=1,E=1,F=100,H=1] 

f23(A,B,C,D,E,F,G,H,I,J,K,L,M,N):[23]: 1
  with precondition: [A=100,C=1,D=1,E=1,F=100,H=1] 

f23(A,B,C,D,E,F,G,H,I,J,K,L,M,N):[24]: 1
  with precondition: [A=100,C=1,D=1,E=1,F=100,H=1] 

Inferred cost of f36(A,B,C,D,E,F,G,H,I,J,K,L,M,N): 
f36(A,B,C,D,E,F,G,H,I,J,K,L,M,N):[26]: 1
  with precondition: [A=100,C=0,D=0,E=0,J=100] 

Inferred cost of f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N): 
f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N):[28]: 2
  with precondition: [A=100,C=1] 

f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N):[29]: 2
  with precondition: [A=100,C=1] 

f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N):[30]: 2
  with precondition: [A=100,C=1] 

f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N):[31]: 3
  with precondition: [A=100,C=1] 

f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N):[32]: 2
  with precondition: [A=100,C=0] 

Inferred cost of f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N): 
f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N):[34]: 3
  with precondition: [] 

f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N):[35]: 3
  with precondition: [] 

f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N):[36]: 3
  with precondition: [] 

f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N):[37]: 4
  with precondition: [] 

f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N):[38]: 3
  with precondition: [] 

Solved cost expressions of f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N): 
f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N):[34]: 3  with precondition: [] 
f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N):[35]: 3  with precondition: [] 
f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N):[36]: 3  with precondition: [] 
f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N):[37]: 4  with precondition: [] 
f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N):[38]: 3  with precondition: [] 
Maximum cost of f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N): 4 
Asymptotic class: constant 
Time statistics: 
Partial evaluation computed in 16 ms.
Invariants computed in 7 ms.
----Backward Invariants 5 ms.
----Transitive Invariants 0 ms.
Refinement performed in 21 ms.
Termination proved in 0 ms.
Upper bounds computed in 11 ms.
----Phase cost structures 7 ms.
--------Equation cost structures 7 ms.
--------Inductive compression(1) 0 ms.
--------Inductive compression(2) 0 ms.
--------Black Cost 0 ms.
----Chain cost structures 0 ms.
----Solving cost expressions 0 ms.

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