1.09/1.10	MAYBE
1.09/1.10	
1.09/1.10	Preprocessing Cost Relations
1.09/1.10	=====================================
1.09/1.10	
1.09/1.10	#### Computed strongly connected components 
1.09/1.10	0. recursive  : [f1/19,f300/19]
1.09/1.10	1. recursive  : [f1_loop_cont/20,f8/19]
1.09/1.10	2. non_recursive  : [exit_location/1]
1.09/1.10	3. non_recursive  : [f32/14]
1.09/1.10	4. non_recursive  : [f8_loop_cont/15]
1.09/1.10	5. non_recursive  : [f15/14]
1.09/1.10	
1.09/1.10	#### Obtained direct recursion through partial evaluation 
1.09/1.10	0. SCC is partially evaluated into f1/19
1.09/1.10	1. SCC is partially evaluated into f8/19
1.09/1.10	2. SCC is completely evaluated into other SCCs
1.09/1.10	3. SCC is completely evaluated into other SCCs
1.09/1.10	4. SCC is partially evaluated into f8_loop_cont/15
1.09/1.10	5. SCC is partially evaluated into f15/14
1.09/1.10	
1.09/1.10	Control-Flow Refinement of Cost Relations
1.09/1.10	=====================================
1.09/1.10	
1.09/1.10	### Specialization of cost equations f1/19 
1.09/1.10	* CE 10 is refined into CE [13] 
1.09/1.10	* CE 12 is refined into CE [14] 
1.09/1.10	* CE 11 is refined into CE [15] 
1.09/1.10	* CE 9 is refined into CE [16] 
1.09/1.10	
1.09/1.10	
1.09/1.10	### Cost equations --> "Loop" of f1/19 
1.09/1.10	* CEs [15] --> Loop 13 
1.09/1.10	* CEs [16] --> Loop 14 
1.09/1.10	* CEs [13] --> Loop 15 
1.09/1.10	* CEs [14] --> Loop 16 
1.09/1.10	
1.09/1.10	### Ranking functions of CR f1(A,B,C,E,F,G,H,J,K,M,Q,R,S,T,U,V,W,X,Y) 
1.09/1.10	* RF of phase [14]: [-B+E-1]
1.09/1.10	
1.09/1.10	#### Partial ranking functions of CR f1(A,B,C,E,F,G,H,J,K,M,Q,R,S,T,U,V,W,X,Y) 
1.09/1.10	* Partial RF of phase [14]:
1.09/1.10	  - RF of loop [14:1]:
1.09/1.10	    -B+E-1
1.09/1.10	
1.09/1.10	
1.09/1.10	### Specialization of cost equations f8/19 
1.09/1.10	* CE 4 is refined into CE [17] 
1.09/1.10	* CE 3 is refined into CE [18,19,20,21] 
1.09/1.10	* CE 6 is refined into CE [22] 
1.09/1.10	* CE 2 is refined into CE [23,24,25] 
1.09/1.10	* CE 5 is refined into CE [26] 
1.09/1.10	
1.09/1.10	
1.09/1.10	### Cost equations --> "Loop" of f8/19 
1.09/1.10	* CEs [26] --> Loop 17 
1.09/1.10	* CEs [24] --> Loop 18 
1.09/1.10	* CEs [23] --> Loop 19 
1.09/1.10	* CEs [25] --> Loop 20 
1.09/1.10	* CEs [17] --> Loop 21 
1.09/1.10	* CEs [20] --> Loop 22 
1.09/1.10	* CEs [19] --> Loop 23 
1.09/1.10	* CEs [18] --> Loop 24 
1.09/1.10	* CEs [22] --> Loop 25 
1.09/1.10	* CEs [21] --> Loop 26 
1.09/1.10	
1.09/1.10	### Ranking functions of CR f8(A,B,C,E,F,G,H,J,K,M,Q,R,S,T,U,V,W,X,Y) 
1.09/1.10	* RF of phase [17]: [-A+B]
1.09/1.10	
1.09/1.10	#### Partial ranking functions of CR f8(A,B,C,E,F,G,H,J,K,M,Q,R,S,T,U,V,W,X,Y) 
1.09/1.10	* Partial RF of phase [17]:
1.09/1.10	  - RF of loop [17:1]:
1.09/1.10	    -A+B
1.09/1.10	
1.09/1.10	
1.09/1.10	### Specialization of cost equations f8_loop_cont/15 
1.09/1.10	* CE 7 is refined into CE [27] 
1.09/1.10	* CE 8 is refined into CE [28] 
1.09/1.10	
1.09/1.10	
1.09/1.10	### Cost equations --> "Loop" of f8_loop_cont/15 
1.09/1.10	* CEs [27] --> Loop 27 
1.09/1.10	* CEs [28] --> Loop 28 
1.09/1.10	
1.09/1.10	### Ranking functions of CR f8_loop_cont(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) 
1.09/1.10	
1.09/1.10	#### Partial ranking functions of CR f8_loop_cont(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) 
1.09/1.10	
1.09/1.10	
1.09/1.10	### Specialization of cost equations f15/14 
1.09/1.10	* CE 1 is refined into CE [29,30,31,32,33,34,35,36,37,38,39,40,41,42,43] 
1.09/1.10	
1.09/1.10	
1.09/1.10	### Cost equations --> "Loop" of f15/14 
1.09/1.10	* CEs [41,42,43] --> Loop 29 
1.09/1.10	* CEs [37] --> Loop 30 
1.09/1.10	* CEs [34,38] --> Loop 31 
1.09/1.10	* CEs [33] --> Loop 32 
1.09/1.10	* CEs [32,36] --> Loop 33 
1.09/1.10	* CEs [31,39,40] --> Loop 34 
1.09/1.10	* CEs [30,35] --> Loop 35 
1.09/1.10	* CEs [29] --> Loop 36 
1.09/1.10	
1.09/1.10	### Ranking functions of CR f15(A,B,C,D,E,F,G,H,I,J,K,L,M,Q) 
1.09/1.10	
1.09/1.10	#### Partial ranking functions of CR f15(A,B,C,D,E,F,G,H,I,J,K,L,M,Q) 
1.09/1.10	
1.09/1.10	
1.09/1.10	Computing Bounds
1.09/1.10	=====================================
1.09/1.10	
1.09/1.10	#### Cost of chains of f1(A,B,C,E,F,G,H,J,K,M,Q,R,S,T,U,V,W,X,Y):
1.09/1.10	* Chain [[14],16]: 1*it(14)+0
1.09/1.10	  Such that:it(14) =< -B+E
1.09/1.10	
1.09/1.10	  with precondition: [H=0,J=0,K=0,Q=2,M>=5,B>=A+1,E>=B+2] 
1.09/1.10	
1.09/1.10	* Chain [[14],15]: 1*it(14)+0
1.09/1.10	  Such that:it(14) =< -B+S
1.09/1.10	
1.09/1.10	  with precondition: [H=0,J=0,K=0,Q=3,W=1,X=1,Y=1,A+1=R,E=S,M>=5,B>=A+1,E>=B+2] 
1.09/1.10	
1.09/1.10	* Chain [[13]]...: 1*it(13)+0
1.09/1.10	  with precondition: [E>=B+1,B>=A+1,H=0,J=0,K=0,4>=M,Q>=2,3>=Q] 
1.09/1.10	
1.09/1.10	* Chain [[13],16]: 1*it(13)+0
1.09/1.10	  with precondition: [H=0,J=0,K=0,Q=2,4>=M,B>=A+1,E>=B+1] 
1.09/1.10	
1.09/1.10	* Chain [16]: 0
1.09/1.10	  with precondition: [H=0,J=0,K=0,Q=2,B>=A+1,E>=B+1] 
1.09/1.10	
1.09/1.10	* Chain [15]: 0
1.09/1.10	  with precondition: [H=0,J=0,K=0,Q=3,W=1,X=1,Y=1,B+1=E,V=G,A+1=R,B+1=S,M>=5,B>=A+1] 
1.09/1.10	
1.09/1.10	
1.09/1.10	#### Cost of chains of f8(A,B,C,E,F,G,H,J,K,M,Q,R,S,T,U,V,W,X,Y):
1.09/1.10	* Chain [[20]]...: 2*it(20)+0
1.09/1.10	  with precondition: [E>=B+1,B>=A+1,4>=M] 
1.09/1.10	
1.09/1.10	* Chain [[20],[17],25]: 2*it(20)+1*s(4)+0
1.09/1.10	  with precondition: [Q=2,4>=M,B>=A+1,E>=B+1] 
1.09/1.10	
1.09/1.10	* Chain [[20],[17],21]: 2*it(20)+1*s(5)+0
1.09/1.10	  with precondition: [Q=4,R=S,4>=M,B>=A+1,E>=B+1,R>=E] 
1.09/1.10	
1.09/1.10	* Chain [[20],26]...: 3*it(20)+0
1.09/1.10	  with precondition: [Q=2,4>=M,B>=A+1,E>=B+1] 
1.09/1.10	
1.09/1.10	* Chain [[20],25]: 2*it(20)+0
1.09/1.10	  with precondition: [Q=2,4>=M,B>=A+1,E>=B+1] 
1.09/1.10	
1.09/1.10	* Chain [[20],24]: 3*it(20)+0
1.09/1.11	  with precondition: [Q=2,4>=M,B>=A+1,E>=B+1] 
1.09/1.11	
1.09/1.11	* Chain [[20],22]: 2*it(20)+0
1.09/1.11	  with precondition: [Q=2,4>=M,B>=A+1,E>=B+1] 
1.09/1.11	
1.09/1.11	* Chain [[20],21]: 2*it(20)+0
1.09/1.11	  with precondition: [Q=4,4>=M,B>=A+1,E>=B+1,R>=S] 
1.09/1.11	
1.09/1.11	* Chain [[17],25]: 1*it(17)+0
1.09/1.11	  Such that:it(17) =< -A+B
1.09/1.11	
1.09/1.11	  with precondition: [Q=2,B>=A+1,B>=E] 
1.09/1.11	
1.09/1.11	* Chain [[17],21]: 1*it(17)+0
1.09/1.11	  Such that:it(17) =< -A+B
1.09/1.11	
1.09/1.11	  with precondition: [Q=4,B=R,B=S,F=U,G=V,H=W,J=X,K=Y,B>=A+1,B>=E] 
1.09/1.11	
1.09/1.11	* Chain [26]...: 1*s(6)+0
1.09/1.11	  with precondition: [Q=2,4>=M,B>=A+1,E>=B+1] 
1.09/1.11	
1.09/1.11	* Chain [25]: 0
1.09/1.11	  with precondition: [Q=2] 
1.09/1.11	
1.09/1.11	* Chain [24]: 1*s(7)+0
1.09/1.11	  with precondition: [Q=2,4>=M,B>=A+1,E>=B+1] 
1.09/1.11	
1.09/1.11	* Chain [23]: 1*s(8)+0
1.09/1.11	  Such that:s(8) =< -B+E
1.09/1.11	
1.09/1.11	  with precondition: [Q=2,M>=5,B>=A+1,E>=B+2] 
1.09/1.11	
1.09/1.11	* Chain [22]: 0
1.09/1.11	  with precondition: [Q=2,B>=A+1,E>=B+1] 
1.09/1.11	
1.09/1.11	* Chain [21]: 0
1.09/1.11	  with precondition: [Q=4,U=F,V=G,W=H,X=J,Y=K,A=R,B=S,A>=B] 
1.09/1.11	
1.09/1.11	* Chain [19,[17],25]: 1*it(17)+1
1.09/1.11	  Such that:it(17) =< -A+B
1.09/1.11	
1.09/1.11	  with precondition: [Q=2,E=B+1,M>=5,E>=A+2] 
1.09/1.11	
1.09/1.11	* Chain [19,[17],21]: 1*it(17)+1
1.09/1.11	  Such that:it(17) =< -A+B
1.09/1.11	
1.09/1.11	  with precondition: [Q=4,W=1,X=1,Y=1,E=B+1,E=R,E=S,M>=5,E>=A+2] 
1.09/1.11	
1.09/1.11	* Chain [19,25]: 1
1.09/1.11	  with precondition: [Q=2,E=B+1,M>=5,E>=A+2] 
1.09/1.11	
1.09/1.11	* Chain [18,[17],25]: 1*it(17)+1*s(9)+1
1.09/1.11	  Such that:it(17) =< -A+E
1.09/1.11	s(9) =< -B+E
1.09/1.11	
1.09/1.11	  with precondition: [Q=2,M>=5,B>=A+1,E>=B+2] 
1.09/1.11	
1.09/1.11	* Chain [18,[17],21]: 1*it(17)+1*s(9)+1
1.09/1.11	  Such that:it(17) =< -A+S
1.09/1.11	s(9) =< -B+S
1.09/1.11	
1.09/1.11	  with precondition: [Q=4,W=1,X=1,Y=1,E=R,E=S,M>=5,B>=A+1,E>=B+2] 
1.09/1.11	
1.09/1.11	* Chain [18,25]: 1*s(9)+1
1.09/1.11	  Such that:s(9) =< -B+E
1.09/1.11	
1.09/1.11	  with precondition: [Q=2,M>=5,B>=A+1,E>=B+2] 
1.09/1.11	
1.09/1.11	
1.09/1.11	#### Cost of chains of f8_loop_cont(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):
1.09/1.11	* Chain [28]: 0
1.09/1.11	  with precondition: [A=2] 
1.09/1.11	
1.09/1.11	* Chain [27]: 0
1.09/1.11	  with precondition: [A=4] 
1.09/1.11	
1.09/1.11	
1.09/1.11	#### Cost of chains of f15(A,B,C,D,E,F,G,H,I,J,K,L,M,Q):
1.09/1.11	* Chain [36]: 0
1.09/1.11	  with precondition: [] 
1.09/1.11	
1.09/1.11	* Chain [35]: 1*s(23)+1*s(24)+1
1.09/1.11	  Such that:s(23) =< -A+B
1.09/1.11	s(24) =< -A+E
1.09/1.11	
1.09/1.11	  with precondition: [E=B+1,M>=5,E>=A+2] 
1.09/1.11	
1.09/1.11	* Chain [34]: 1*aux(12)+0
1.09/1.11	  with precondition: [4>=M,B>=A+1,E>=B+1] 
1.09/1.11	
1.09/1.11	* Chain [33]: 2*s(29)+4*s(31)+1
1.09/1.11	  Such that:aux(13) =< -A+E
1.09/1.11	aux(14) =< -B+E
1.09/1.11	s(29) =< aux(13)
1.09/1.11	s(31) =< aux(14)
1.09/1.11	
1.09/1.11	  with precondition: [M>=5,B>=A+1,E>=B+2] 
1.09/1.11	
1.09/1.11	* Chain [32]: 0
1.09/1.11	  with precondition: [B>=A+1,E>=B+1] 
1.09/1.11	
1.09/1.11	* Chain [31]: 2*s(34)+0
1.09/1.11	  Such that:aux(15) =< -A+B
1.09/1.11	s(34) =< aux(15)
1.09/1.11	
1.09/1.11	  with precondition: [B>=A+1,B>=E] 
1.09/1.11	
1.09/1.11	* Chain [30]: 0
1.09/1.11	  with precondition: [A>=B] 
1.09/1.11	
1.09/1.11	* Chain [29]...: 1*aux(16)+0
1.09/1.11	  with precondition: [4>=M,B>=A+1,E>=B+1] 
1.09/1.11	
1.09/1.11	
1.09/1.11	Closed-form bounds of f15(A,B,C,D,E,F,G,H,I,J,K,L,M,Q): 
1.09/1.11	-------------------------------------
1.09/1.11	* Chain [36] with precondition: [] 
1.09/1.11	    - Upper bound: 0 
1.09/1.11	    - Complexity: constant 
1.09/1.11	* Chain [35] with precondition: [E=B+1,M>=5,E>=A+2] 
1.09/1.11	    - Upper bound: -2*A+B+E+1 
1.09/1.11	    - Complexity: n 
1.09/1.11	* Chain [34] with precondition: [4>=M,B>=A+1,E>=B+1] 
1.09/1.11	    - Upper bound: inf 
1.09/1.11	    - Complexity: infinity 
1.09/1.11	* Chain [33] with precondition: [M>=5,B>=A+1,E>=B+2] 
1.09/1.11	    - Upper bound: -2*A-4*B+6*E+1 
1.09/1.11	    - Complexity: n 
1.09/1.11	* Chain [32] with precondition: [B>=A+1,E>=B+1] 
1.09/1.11	    - Upper bound: 0 
1.09/1.11	    - Complexity: constant 
1.09/1.11	* Chain [31] with precondition: [B>=A+1,B>=E] 
1.09/1.11	    - Upper bound: -2*A+2*B 
1.09/1.11	    - Complexity: n 
1.09/1.11	* Chain [30] with precondition: [A>=B] 
1.09/1.11	    - Upper bound: 0 
1.09/1.11	    - Complexity: constant 
1.09/1.11	* Chain [29]... with precondition: [4>=M,B>=A+1,E>=B+1] 
1.09/1.11	    - Upper bound: inf 
1.09/1.11	    - Complexity: infinity 
1.09/1.11	
1.09/1.11	### Maximum cost of f15(A,B,C,D,E,F,G,H,I,J,K,L,M,Q): inf 
1.09/1.11	Asymptotic class: infinity 
1.09/1.11	* Total analysis performed in 973 ms.
1.09/1.11	
1.11/1.21	EOF