1.89/1.88	WORST_CASE(?,O(n^3))  
1.89/1.88	
1.89/1.88	Preprocessing Cost Relations
1.89/1.88	=====================================
1.89/1.88	
1.89/1.88	#### Computed strongly connected components 
1.89/1.88	0. recursive  : [eval_analyse_other_0/4,eval_analyse_other_1/5,eval_analyse_other_bb1_in/4,eval_analyse_other_bb2_in/4,eval_analyse_other_bb3_in/5]
1.89/1.88	1. non_recursive  : [eval_analyse_other_stop/1]
1.89/1.88	2. non_recursive  : [eval_analyse_other_bb28_in/1]
1.89/1.88	3. recursive  : [eval_analyse_other_6/4,eval_analyse_other_7/5,eval_analyse_other_bb7_in/4,eval_analyse_other_bb8_in/4,eval_analyse_other_bb9_in/5]
1.89/1.88	4. recursive  : [eval_analyse_other_4/6,eval_analyse_other_5/7,eval_analyse_other_bb10_in/8,eval_analyse_other_bb11_in/8,eval_analyse_other_bb5_in/6,eval_analyse_other_bb6_in/6,eval_analyse_other_bb7_in_loop_cont/9]
1.89/1.88	5. recursive  : [eval_analyse_other_15/6,eval_analyse_other_16/7,eval_analyse_other_bb13_in/6,eval_analyse_other_bb14_in/6]
1.89/1.88	6. recursive  : [eval_analyse_other_22/4,eval_analyse_other_23/5,eval_analyse_other_bb18_in/4,eval_analyse_other_bb19_in/4,eval_analyse_other_bb20_in/5]
1.89/1.88	7. recursive  : [eval_analyse_other_bb17_in/6,eval_analyse_other_bb18_in_loop_cont/8,eval_analyse_other_bb21_in/7]
1.89/1.88	8. recursive  : [eval_analyse_other_30/4,eval_analyse_other_31/5,eval_analyse_other_bb24_in/4,eval_analyse_other_bb25_in/4]
1.89/1.88	9. recursive  : [eval_analyse_other_bb23_in/6,eval_analyse_other_bb24_in_loop_cont/8,eval_analyse_other_bb26_in/7]
1.89/1.88	10. recursive  : [eval_analyse_other_20/7,eval_analyse_other_21/8,eval_analyse_other_bb12_in/5,eval_analyse_other_bb13_in_loop_cont/8,eval_analyse_other_bb15_in/7,eval_analyse_other_bb16_in/7,eval_analyse_other_bb17_in_loop_cont/11,eval_analyse_other_bb22_in/10,eval_analyse_other_bb23_in_loop_cont/8,eval_analyse_other_bb27_in/7]
1.89/1.88	11. non_recursive  : [eval_analyse_other_bb12_in_loop_cont/2]
1.89/1.88	12. non_recursive  : [eval_analyse_other_bb5_in_loop_cont/6]
1.89/1.88	13. non_recursive  : [eval_analyse_other_bb4_in/5]
1.89/1.88	14. non_recursive  : [eval_analyse_other_bb1_in_loop_cont/6]
1.89/1.88	15. non_recursive  : [eval_analyse_other_bb0_in/4]
1.89/1.88	16. non_recursive  : [eval_analyse_other_start/4]
1.89/1.88	
1.89/1.88	#### Obtained direct recursion through partial evaluation 
1.89/1.88	0. SCC is partially evaluated into eval_analyse_other_bb1_in/4
1.89/1.88	1. SCC is completely evaluated into other SCCs
1.89/1.88	2. SCC is completely evaluated into other SCCs
1.89/1.88	3. SCC is partially evaluated into eval_analyse_other_bb7_in/4
1.89/1.88	4. SCC is partially evaluated into eval_analyse_other_bb5_in/6
1.89/1.88	5. SCC is partially evaluated into eval_analyse_other_bb13_in/6
1.89/1.88	6. SCC is partially evaluated into eval_analyse_other_bb18_in/4
1.89/1.88	7. SCC is partially evaluated into eval_analyse_other_bb17_in/6
1.89/1.88	8. SCC is partially evaluated into eval_analyse_other_bb24_in/4
1.89/1.88	9. SCC is partially evaluated into eval_analyse_other_bb23_in/6
1.89/1.88	10. SCC is partially evaluated into eval_analyse_other_bb12_in/5
1.89/1.88	11. SCC is completely evaluated into other SCCs
1.89/1.88	12. SCC is partially evaluated into eval_analyse_other_bb5_in_loop_cont/6
1.89/1.88	13. SCC is partially evaluated into eval_analyse_other_bb4_in/5
1.89/1.88	14. SCC is completely evaluated into other SCCs
1.89/1.88	15. SCC is partially evaluated into eval_analyse_other_bb0_in/4
1.89/1.88	16. SCC is partially evaluated into eval_analyse_other_start/4
1.89/1.88	
1.89/1.88	Control-Flow Refinement of Cost Relations
1.89/1.88	=====================================
1.89/1.88	
1.89/1.88	### Specialization of cost equations eval_analyse_other_bb1_in/4 
1.89/1.88	* CE 3 is refined into CE [41] 
1.89/1.88	* CE 5 is refined into CE [42] 
1.89/1.88	* CE 4 is refined into CE [43] 
1.89/1.88	
1.89/1.88	
1.89/1.88	### Cost equations --> "Loop" of eval_analyse_other_bb1_in/4 
1.89/1.88	* CEs [43] --> Loop 32 
1.89/1.88	* CEs [41] --> Loop 33 
1.89/1.88	* CEs [42] --> Loop 34 
1.89/1.88	
1.89/1.88	### Ranking functions of CR eval_analyse_other_bb1_in(V_atoms_nres,V_i_0,B,C) 
1.89/1.88	* RF of phase [32]: [V_atoms_nres-V_i_0]
1.89/1.88	
1.89/1.88	#### Partial ranking functions of CR eval_analyse_other_bb1_in(V_atoms_nres,V_i_0,B,C) 
1.89/1.88	* Partial RF of phase [32]:
1.89/1.88	  - RF of loop [32:1]:
1.89/1.88	    V_atoms_nres-V_i_0
1.89/1.88	
1.89/1.88	
1.89/1.88	### Specialization of cost equations eval_analyse_other_bb7_in/4 
1.89/1.88	* CE 14 is refined into CE [44] 
1.89/1.88	* CE 16 is refined into CE [45] 
1.89/1.88	* CE 15 is refined into CE [46] 
1.89/1.88	
1.89/1.88	
1.89/1.88	### Cost equations --> "Loop" of eval_analyse_other_bb7_in/4 
1.89/1.88	* CEs [46] --> Loop 35 
1.89/1.88	* CEs [44] --> Loop 36 
1.89/1.88	* CEs [45] --> Loop 37 
1.89/1.88	
1.89/1.88	### Ranking functions of CR eval_analyse_other_bb7_in(V_nrestp_0,V_l_0,B,C) 
1.89/1.88	* RF of phase [35]: [V_nrestp_0-V_l_0]
1.89/1.88	
1.89/1.88	#### Partial ranking functions of CR eval_analyse_other_bb7_in(V_nrestp_0,V_l_0,B,C) 
1.89/1.88	* Partial RF of phase [35]:
1.89/1.88	  - RF of loop [35:1]:
1.89/1.88	    V_nrestp_0-V_l_0
1.89/1.88	
1.89/1.88	
1.89/1.88	### Specialization of cost equations eval_analyse_other_bb5_in/6 
1.89/1.88	* CE 12 is refined into CE [47] 
1.89/1.88	* CE 9 is refined into CE [48,49] 
1.89/1.88	* CE 10 is discarded (unfeasible) 
1.89/1.88	* CE 11 is refined into CE [50] 
1.89/1.88	* CE 8 is refined into CE [51,52] 
1.89/1.88	
1.89/1.88	
1.89/1.88	### Cost equations --> "Loop" of eval_analyse_other_bb5_in/6 
1.89/1.88	* CEs [48] --> Loop 38 
1.89/1.88	* CEs [50] --> Loop 39 
1.89/1.88	* CEs [52] --> Loop 40 
1.89/1.88	* CEs [49] --> Loop 41 
1.89/1.88	* CEs [51] --> Loop 42 
1.89/1.88	* CEs [47] --> Loop 43 
1.89/1.88	
1.89/1.88	### Ranking functions of CR eval_analyse_other_bb5_in(V_atoms_nr,V_k_0,V_nrestp_0,B,C,D) 
1.89/1.88	* RF of phase [38,39,40,41,42]: [V_atoms_nr-V_k_0]
1.89/1.88	
1.89/1.88	#### Partial ranking functions of CR eval_analyse_other_bb5_in(V_atoms_nr,V_k_0,V_nrestp_0,B,C,D) 
1.89/1.88	* Partial RF of phase [38,39,40,41,42]:
1.89/1.88	  - RF of loop [38:1,39:1,40:1,41:1,42:1]:
1.89/1.88	    V_atoms_nr-V_k_0
1.89/1.88	  - RF of loop [40:1]:
1.89/1.88	    V_atoms_nr-V_nrestp_0
1.89/1.88	  - RF of loop [42:1]:
1.89/1.88	    -V_nrestp_0+1
1.89/1.88	
1.89/1.88	
1.89/1.88	### Specialization of cost equations eval_analyse_other_bb13_in/6 
1.89/1.88	* CE 29 is refined into CE [53] 
1.89/1.88	* CE 27 is refined into CE [54] 
1.89/1.88	* CE 28 is refined into CE [55] 
1.89/1.88	
1.89/1.88	
1.89/1.88	### Cost equations --> "Loop" of eval_analyse_other_bb13_in/6 
1.89/1.88	* CEs [54] --> Loop 44 
1.89/1.88	* CEs [55] --> Loop 45 
1.89/1.88	* CEs [53] --> Loop 46 
1.89/1.88	
1.89/1.88	### Ranking functions of CR eval_analyse_other_bb13_in(V_atoms_nr,V_naid_0,V_j_0,B,C,D) 
1.89/1.88	* RF of phase [44,45]: [V_atoms_nr-V_j_0]
1.89/1.88	
1.89/1.88	#### Partial ranking functions of CR eval_analyse_other_bb13_in(V_atoms_nr,V_naid_0,V_j_0,B,C,D) 
1.89/1.88	* Partial RF of phase [44,45]:
1.89/1.88	  - RF of loop [44:1,45:1]:
1.89/1.88	    V_atoms_nr-V_j_0
1.89/1.88	  - RF of loop [45:1]:
1.89/1.88	    V_atoms_nr-V_naid_0
1.89/1.88	
1.89/1.88	
1.89/1.88	### Specialization of cost equations eval_analyse_other_bb18_in/4 
1.89/1.88	* CE 36 is refined into CE [56] 
1.89/1.88	* CE 38 is refined into CE [57] 
1.89/1.88	* CE 37 is refined into CE [58] 
1.89/1.88	
1.89/1.88	
1.89/1.88	### Cost equations --> "Loop" of eval_analyse_other_bb18_in/4 
1.89/1.88	* CEs [58] --> Loop 47 
1.89/1.88	* CEs [56] --> Loop 48 
1.89/1.88	* CEs [57] --> Loop 49 
1.89/1.88	
1.89/1.88	### Ranking functions of CR eval_analyse_other_bb18_in(V_natp_0,V_l_1,B,C) 
1.89/1.88	* RF of phase [47]: [V_natp_0-V_l_1]
1.89/1.88	
1.89/1.88	#### Partial ranking functions of CR eval_analyse_other_bb18_in(V_natp_0,V_l_1,B,C) 
1.89/1.88	* Partial RF of phase [47]:
1.89/1.88	  - RF of loop [47:1]:
1.89/1.88	    V_natp_0-V_l_1
1.89/1.88	
1.89/1.88	
1.89/1.88	### Specialization of cost equations eval_analyse_other_bb17_in/6 
1.89/1.88	* CE 33 is refined into CE [59] 
1.89/1.88	* CE 30 is discarded (unfeasible) 
1.89/1.88	* CE 31 is refined into CE [60,61] 
1.89/1.88	* CE 32 is refined into CE [62,63] 
1.89/1.88	
1.89/1.88	
1.89/1.88	### Cost equations --> "Loop" of eval_analyse_other_bb17_in/6 
1.89/1.88	* CEs [60] --> Loop 50 
1.89/1.88	* CEs [63] --> Loop 51 
1.89/1.88	* CEs [61] --> Loop 52 
1.89/1.88	* CEs [62] --> Loop 53 
1.89/1.88	* CEs [59] --> Loop 54 
1.89/1.88	
1.89/1.88	### Ranking functions of CR eval_analyse_other_bb17_in(V_naid_0,V_natp_0,V_k_1,B,C,D) 
1.89/1.88	* RF of phase [50,51,52]: [V_naid_0-V_k_1]
1.89/1.88	
1.89/1.88	#### Partial ranking functions of CR eval_analyse_other_bb17_in(V_naid_0,V_natp_0,V_k_1,B,C,D) 
1.89/1.88	* Partial RF of phase [50,51,52]:
1.89/1.88	  - RF of loop [50:1,51:1,52:1]:
1.89/1.88	    V_naid_0-V_k_1
1.89/1.88	  - RF of loop [51:1]:
1.89/1.88	    V_naid_0-V_natp_0
1.89/1.88	
1.89/1.88	
1.89/1.88	### Specialization of cost equations eval_analyse_other_bb24_in/4 
1.89/1.88	* CE 40 is refined into CE [64] 
1.89/1.88	* CE 39 is refined into CE [65] 
1.89/1.88	
1.89/1.88	
1.89/1.88	### Cost equations --> "Loop" of eval_analyse_other_bb24_in/4 
1.89/1.88	* CEs [65] --> Loop 55 
1.89/1.88	* CEs [64] --> Loop 56 
1.89/1.88	
1.89/1.88	### Ranking functions of CR eval_analyse_other_bb24_in(V_naid_0,V_k_2,B,C) 
1.89/1.88	* RF of phase [55]: [V_naid_0-V_k_2]
1.89/1.88	
1.89/1.88	#### Partial ranking functions of CR eval_analyse_other_bb24_in(V_naid_0,V_k_2,B,C) 
1.89/1.88	* Partial RF of phase [55]:
1.89/1.88	  - RF of loop [55:1]:
1.89/1.88	    V_naid_0-V_k_2
1.89/1.88	
1.89/1.88	
1.89/1.88	### Specialization of cost equations eval_analyse_other_bb23_in/6 
1.89/1.88	* CE 35 is refined into CE [66] 
1.89/1.88	* CE 34 is refined into CE [67,68] 
1.89/1.88	
1.89/1.88	
1.89/1.88	### Cost equations --> "Loop" of eval_analyse_other_bb23_in/6 
1.89/1.88	* CEs [67] --> Loop 57 
1.89/1.88	* CEs [68] --> Loop 58 
1.89/1.88	* CEs [66] --> Loop 59 
1.89/1.88	
1.89/1.88	### Ranking functions of CR eval_analyse_other_bb23_in(V_naid_0,V_22,V_natp_0,V_k_1,V_l_2,B) 
1.89/1.88	* RF of phase [57]: [V_natp_0-V_l_2]
1.89/1.88	* RF of phase [58]: [V_natp_0-V_l_2]
1.89/1.88	
1.89/1.88	#### Partial ranking functions of CR eval_analyse_other_bb23_in(V_naid_0,V_22,V_natp_0,V_k_1,V_l_2,B) 
1.89/1.88	* Partial RF of phase [57]:
1.89/1.88	  - RF of loop [57:1]:
1.89/1.88	    V_natp_0-V_l_2
1.89/1.88	* Partial RF of phase [58]:
1.89/1.88	  - RF of loop [58:1]:
1.89/1.88	    V_natp_0-V_l_2
1.89/1.88	
1.89/1.88	
1.89/1.88	### Specialization of cost equations eval_analyse_other_bb12_in/5 
1.89/1.88	* CE 26 is refined into CE [69] 
1.89/1.88	* CE 18 is refined into CE [70,71] 
1.89/1.88	* CE 20 is refined into CE [72] 
1.89/1.88	* CE 22 is refined into CE [73] 
1.89/1.88	* CE 24 is refined into CE [74,75,76,77] 
1.89/1.88	* CE 17 is refined into CE [78,79] 
1.89/1.88	* CE 19 is refined into CE [80] 
1.89/1.88	* CE 21 is refined into CE [81] 
1.89/1.88	* CE 23 is refined into CE [82,83,84,85] 
1.89/1.88	* CE 25 is refined into CE [86,87] 
1.89/1.88	
1.89/1.88	
1.89/1.88	### Cost equations --> "Loop" of eval_analyse_other_bb12_in/5 
1.89/1.88	* CEs [72,73,76] --> Loop 60 
1.89/1.88	* CEs [71,75,77] --> Loop 61 
1.89/1.88	* CEs [80,81,84] --> Loop 62 
1.89/1.88	* CEs [79,83,85] --> Loop 63 
1.89/1.88	* CEs [70,74] --> Loop 64 
1.89/1.88	* CEs [78,82] --> Loop 65 
1.89/1.88	* CEs [87] --> Loop 66 
1.89/1.88	* CEs [86] --> Loop 67 
1.89/1.88	* CEs [69] --> Loop 68 
1.89/1.88	
1.89/1.88	### Ranking functions of CR eval_analyse_other_bb12_in(V_atoms_nr,V_bASK,V_nrestp_0,V_i_1,B) 
1.89/1.88	* RF of phase [60,61]: [V_nrestp_0-V_i_1]
1.89/1.88	* RF of phase [62,63]: [V_nrestp_0-V_i_1]
1.89/1.88	* RF of phase [64]: [V_nrestp_0-V_i_1]
1.89/1.88	* RF of phase [65]: [V_nrestp_0-V_i_1]
1.89/1.88	* RF of phase [66]: [V_nrestp_0-V_i_1]
1.89/1.88	* RF of phase [67]: [V_nrestp_0-V_i_1]
1.89/1.88	
1.89/1.88	#### Partial ranking functions of CR eval_analyse_other_bb12_in(V_atoms_nr,V_bASK,V_nrestp_0,V_i_1,B) 
1.89/1.88	* Partial RF of phase [60,61]:
1.89/1.88	  - RF of loop [60:1,61:1]:
1.89/1.88	    V_nrestp_0-V_i_1
1.89/1.88	* Partial RF of phase [62,63]:
1.89/1.88	  - RF of loop [62:1,63:1]:
1.89/1.88	    V_nrestp_0-V_i_1
1.89/1.88	* Partial RF of phase [64]:
1.89/1.88	  - RF of loop [64:1]:
1.89/1.88	    V_nrestp_0-V_i_1
1.89/1.88	* Partial RF of phase [65]:
1.89/1.88	  - RF of loop [65:1]:
1.89/1.88	    V_nrestp_0-V_i_1
1.89/1.88	* Partial RF of phase [66]:
1.89/1.88	  - RF of loop [66:1]:
1.89/1.88	    V_nrestp_0-V_i_1
1.89/1.88	* Partial RF of phase [67]:
1.89/1.88	  - RF of loop [67:1]:
1.89/1.88	    V_nrestp_0-V_i_1
1.89/1.88	
1.89/1.88	
1.89/1.88	### Specialization of cost equations eval_analyse_other_bb5_in_loop_cont/6 
1.89/1.88	* CE 13 is refined into CE [88,89,90,91,92,93,94] 
1.89/1.88	
1.89/1.88	
1.89/1.88	### Cost equations --> "Loop" of eval_analyse_other_bb5_in_loop_cont/6 
1.89/1.88	* CEs [94] --> Loop 69 
1.89/1.88	* CEs [93] --> Loop 70 
1.89/1.88	* CEs [92] --> Loop 71 
1.89/1.88	* CEs [91] --> Loop 72 
1.89/1.88	* CEs [90] --> Loop 73 
1.89/1.88	* CEs [89] --> Loop 74 
1.89/1.88	* CEs [88] --> Loop 75 
1.89/1.88	
1.89/1.88	### Ranking functions of CR eval_analyse_other_bb5_in_loop_cont(A,B,C,D,E,F) 
1.89/1.88	
1.89/1.88	#### Partial ranking functions of CR eval_analyse_other_bb5_in_loop_cont(A,B,C,D,E,F) 
1.89/1.88	
1.89/1.88	
1.89/1.88	### Specialization of cost equations eval_analyse_other_bb4_in/5 
1.89/1.88	* CE 7 is refined into CE [95,96,97,98,99] 
1.89/1.88	* CE 6 is refined into CE [100] 
1.89/1.88	
1.89/1.88	
1.89/1.88	### Cost equations --> "Loop" of eval_analyse_other_bb4_in/5 
1.89/1.88	* CEs [100] --> Loop 76 
1.89/1.88	* CEs [99] --> Loop 77 
1.89/1.88	* CEs [98] --> Loop 78 
1.89/1.88	* CEs [97] --> Loop 79 
1.89/1.88	* CEs [95] --> Loop 80 
1.89/1.88	* CEs [96] --> Loop 81 
1.89/1.88	
1.89/1.88	### Ranking functions of CR eval_analyse_other_bb4_in(V_atoms_nres,V_atoms_nr,V_bASK,V_i_0,B) 
1.89/1.88	
1.89/1.88	#### Partial ranking functions of CR eval_analyse_other_bb4_in(V_atoms_nres,V_atoms_nr,V_bASK,V_i_0,B) 
1.89/1.88	
1.89/1.88	
1.89/1.88	### Specialization of cost equations eval_analyse_other_bb0_in/4 
1.89/1.88	* CE 2 is refined into CE [101,102,103,104,105,106,107,108,109,110,111,112] 
1.89/1.88	
1.89/1.88	
1.89/1.88	### Cost equations --> "Loop" of eval_analyse_other_bb0_in/4 
1.89/1.88	* CEs [111] --> Loop 82 
1.89/1.88	* CEs [112] --> Loop 83 
1.89/1.88	* CEs [106] --> Loop 84 
1.89/1.88	* CEs [107] --> Loop 85 
1.89/1.88	* CEs [101] --> Loop 86 
1.89/1.88	* CEs [110] --> Loop 87 
1.89/1.88	* CEs [105] --> Loop 88 
1.89/1.88	* CEs [109] --> Loop 89 
1.89/1.88	* CEs [104] --> Loop 90 
1.89/1.88	* CEs [102] --> Loop 91 
1.89/1.88	* CEs [108] --> Loop 92 
1.89/1.88	* CEs [103] --> Loop 93 
1.89/1.88	
1.89/1.88	### Ranking functions of CR eval_analyse_other_bb0_in(V_atoms_nres,V_atoms_nr,V_bASK,B) 
1.89/1.88	
1.89/1.88	#### Partial ranking functions of CR eval_analyse_other_bb0_in(V_atoms_nres,V_atoms_nr,V_bASK,B) 
1.89/1.88	
1.89/1.88	
1.89/1.88	### Specialization of cost equations eval_analyse_other_start/4 
1.89/1.88	* CE 1 is refined into CE [113,114,115,116,117,118,119,120,121,122,123,124] 
1.89/1.88	
1.89/1.88	
1.89/1.88	### Cost equations --> "Loop" of eval_analyse_other_start/4 
1.89/1.88	* CEs [124] --> Loop 94 
1.89/1.88	* CEs [123] --> Loop 95 
1.89/1.88	* CEs [122] --> Loop 96 
1.89/1.88	* CEs [121] --> Loop 97 
1.89/1.88	* CEs [120] --> Loop 98 
1.89/1.88	* CEs [119] --> Loop 99 
1.89/1.88	* CEs [118] --> Loop 100 
1.89/1.88	* CEs [117] --> Loop 101 
1.89/1.88	* CEs [116] --> Loop 102 
1.89/1.88	* CEs [115] --> Loop 103 
1.89/1.88	* CEs [114] --> Loop 104 
1.89/1.88	* CEs [113] --> Loop 105 
1.89/1.88	
1.89/1.88	### Ranking functions of CR eval_analyse_other_start(V_atoms_nres,V_atoms_nr,V_bASK,B) 
1.89/1.88	
1.89/1.88	#### Partial ranking functions of CR eval_analyse_other_start(V_atoms_nres,V_atoms_nr,V_bASK,B) 
1.89/1.88	
1.89/1.88	
1.89/1.88	Computing Bounds
1.89/1.88	=====================================
1.89/1.88	
1.89/1.88	#### Cost of chains of eval_analyse_other_bb1_in(V_atoms_nres,V_i_0,B,C):
1.89/1.88	* Chain [[32],34]: 1*it(32)+0
1.89/1.88	  Such that:it(32) =< -V_i_0+C
1.89/1.88	
1.89/1.88	  with precondition: [B=9,V_atoms_nres=C,V_i_0>=0,V_atoms_nres>=V_i_0+1] 
1.89/1.88	
1.89/1.88	* Chain [[32],33]: 1*it(32)+0
1.89/1.88	  Such that:it(32) =< -V_i_0+C
1.89/1.88	
1.89/1.88	  with precondition: [B=9,V_i_0>=0,C>=V_i_0+1,V_atoms_nres>=C+1] 
1.89/1.88	
1.89/1.88	* Chain [34]: 0
1.89/1.88	  with precondition: [B=9,V_i_0=C,V_i_0>=0,V_i_0>=V_atoms_nres] 
1.89/1.88	
1.89/1.88	* Chain [33]: 0
1.89/1.88	  with precondition: [B=9,V_i_0=C,V_i_0>=0,V_atoms_nres>=V_i_0+1] 
1.89/1.88	
1.89/1.88	
1.89/1.88	#### Cost of chains of eval_analyse_other_bb7_in(V_nrestp_0,V_l_0,B,C):
1.89/1.88	* Chain [[35],37]: 1*it(35)+0
1.89/1.88	  Such that:it(35) =< -V_l_0+C
1.89/1.88	
1.89/1.88	  with precondition: [B=7,V_nrestp_0=C,V_l_0>=0,V_nrestp_0>=V_l_0+1] 
1.89/1.88	
1.89/1.88	* Chain [[35],36]: 1*it(35)+0
1.89/1.88	  Such that:it(35) =< -V_l_0+C
1.89/1.88	
1.89/1.88	  with precondition: [B=7,V_l_0>=0,C>=V_l_0+1,V_nrestp_0>=C+1] 
1.89/1.88	
1.89/1.88	* Chain [37]: 0
1.89/1.88	  with precondition: [B=7,V_l_0=V_nrestp_0,V_l_0=C,V_l_0>=0] 
1.89/1.88	
1.89/1.88	* Chain [36]: 0
1.89/1.88	  with precondition: [B=7,V_l_0=C,V_l_0>=0,V_nrestp_0>=V_l_0+1] 
1.89/1.88	
1.89/1.88	
1.89/1.88	#### Cost of chains of eval_analyse_other_bb5_in(V_atoms_nr,V_k_0,V_nrestp_0,B,C,D):
1.89/1.88	* Chain [[38,39,40,41,42],43]: 3*it(38)+1*it(40)+1*it(42)+1*s(5)+1*s(6)+0
1.89/1.88	  Such that:aux(1) =< V_atoms_nr-V_k_0+V_nrestp_0
1.89/1.88	aux(5) =< V_atoms_nr-V_nrestp_0
1.89/1.88	it(42) =< -V_nrestp_0+1
1.89/1.88	aux(7) =< V_atoms_nr-V_k_0
1.89/1.88	aux(8) =< -V_nrestp_0+C
1.89/1.88	it(42) =< aux(8)
1.89/1.88	it(38) =< aux(7)
1.89/1.88	it(40) =< aux(7)
1.89/1.88	it(42) =< aux(7)
1.89/1.88	it(40) =< aux(5)
1.89/1.88	it(42) =< aux(5)
1.89/1.88	it(40) =< aux(8)
1.89/1.88	aux(2) =< aux(1)-1
1.89/1.88	s(5) =< it(40)*aux(1)
1.89/1.88	s(6) =< it(38)*aux(2)
1.89/1.88	
1.89/1.88	  with precondition: [B=10,D=0,V_nrestp_0>=0,V_atoms_nr>=V_k_0+1,V_k_0>=V_nrestp_0,C>=V_nrestp_0,V_atoms_nr+V_nrestp_0>=V_k_0+C] 
1.89/1.88	
1.89/1.88	* Chain [43]: 0
1.89/1.88	  with precondition: [B=10,D=0,V_nrestp_0=C,V_nrestp_0>=0,V_k_0>=V_atoms_nr,V_k_0>=V_nrestp_0] 
1.89/1.88	
1.89/1.88	
1.89/1.88	#### Cost of chains of eval_analyse_other_bb13_in(V_atoms_nr,V_naid_0,V_j_0,B,C,D):
1.89/1.88	* Chain [[44,45],46]: 1*it(44)+1*it(45)+0
1.89/1.88	  Such that:it(45) =< -V_naid_0+C
1.89/1.88	aux(11) =< -V_j_0+D
1.89/1.88	it(44) =< aux(11)
1.89/1.88	it(45) =< aux(11)
1.89/1.88	
1.89/1.88	  with precondition: [B=4,V_atoms_nr=D,V_naid_0>=0,V_j_0>=V_naid_0,C>=V_naid_0,V_atoms_nr>=V_j_0+1,V_atoms_nr+V_naid_0>=V_j_0+C] 
1.89/1.88	
1.89/1.88	* Chain [46]: 0
1.89/1.88	  with precondition: [B=4,V_naid_0=C,V_j_0=D,V_naid_0>=0,V_j_0>=V_atoms_nr,V_j_0>=V_naid_0] 
1.89/1.88	
1.89/1.88	
1.89/1.88	#### Cost of chains of eval_analyse_other_bb18_in(V_natp_0,V_l_1,B,C):
1.89/1.88	* Chain [[47],49]: 1*it(47)+0
1.89/1.88	  Such that:it(47) =< -V_l_1+C
1.89/1.88	
1.89/1.88	  with precondition: [B=2,V_natp_0=C,V_l_1>=0,V_natp_0>=V_l_1+1] 
1.89/1.88	
1.89/1.88	* Chain [[47],48]: 1*it(47)+0
1.89/1.88	  Such that:it(47) =< -V_l_1+C
1.89/1.88	
1.89/1.88	  with precondition: [B=2,V_l_1>=0,C>=V_l_1+1,V_natp_0>=C+1] 
1.89/1.88	
1.89/1.88	* Chain [49]: 0
1.89/1.88	  with precondition: [B=2,V_l_1=V_natp_0,V_l_1=C,V_l_1>=0] 
1.89/1.88	
1.89/1.88	* Chain [48]: 0
1.89/1.88	  with precondition: [B=2,V_l_1=C,V_l_1>=0,V_natp_0>=V_l_1+1] 
1.89/1.88	
1.89/1.88	
1.89/1.88	#### Cost of chains of eval_analyse_other_bb17_in(V_naid_0,V_natp_0,V_k_1,B,C,D):
1.89/1.88	* Chain [54]: 0
1.89/1.88	  with precondition: [B=5,V_natp_0=C,V_k_1=D,V_natp_0>=0,V_k_1>=V_naid_0,V_k_1>=V_natp_0] 
1.89/1.88	
1.89/1.88	* Chain [53,[50,51,52],54]: 2*it(50)+1*it(51)+1*s(11)+1*s(12)+1
1.89/1.88	  Such that:it(51) =< C
1.89/1.88	aux(17) =< D
1.89/1.88	it(50) =< aux(17)
1.89/1.88	it(51) =< aux(17)
1.89/1.88	aux(13) =< aux(17)-1
1.89/1.88	s(11) =< it(51)*aux(17)
1.89/1.88	s(12) =< it(50)*aux(13)
1.89/1.88	
1.89/1.88	  with precondition: [V_natp_0=0,V_k_1=0,B=5,V_naid_0=D,V_naid_0>=2,C>=1,V_naid_0>=C] 
1.89/1.88	
1.89/1.88	* Chain [53,54]: 1
1.89/1.88	  with precondition: [V_naid_0=1,V_natp_0=0,V_k_1=0,B=5,C=1,D=1] 
1.89/1.88	
1.89/1.88	
1.89/1.88	#### Cost of chains of eval_analyse_other_bb24_in(V_naid_0,V_k_2,B,C):
1.89/1.88	* Chain [[55],56]: 1*it(55)+0
1.89/1.88	  Such that:it(55) =< -V_k_2+C
1.89/1.88	
1.89/1.88	  with precondition: [B=3,V_naid_0=C,V_k_2>=0,V_naid_0>=V_k_2+1] 
1.89/1.88	
1.89/1.88	* Chain [56]: 0
1.89/1.88	  with precondition: [B=3,V_k_2=C,V_k_2>=0,V_k_2>=V_naid_0] 
1.89/1.88	
1.89/1.88	
1.89/1.88	#### Cost of chains of eval_analyse_other_bb23_in(V_naid_0,V_22,V_natp_0,V_k_1,V_l_2,B):
1.89/1.88	* Chain [[58],59]: 1*it(58)+0
1.89/1.88	  Such that:it(58) =< V_natp_0-V_l_2
1.89/1.88	
1.89/1.88	  with precondition: [B=6,0>=V_naid_0,V_natp_0>=2,V_l_2>=0,V_natp_0>=V_l_2+1] 
1.89/1.88	
1.89/1.88	* Chain [[57],59]: 1*it(57)+1*s(15)+0
1.89/1.88	  Such that:aux(18) =< V_naid_0
1.89/1.88	it(57) =< V_natp_0-V_l_2
1.89/1.88	s(15) =< it(57)*aux(18)
1.89/1.88	
1.89/1.88	  with precondition: [B=6,V_naid_0>=1,V_natp_0>=2,V_l_2>=0,V_natp_0>=V_l_2+1] 
1.89/1.88	
1.89/1.88	
1.89/1.88	#### Cost of chains of eval_analyse_other_bb12_in(V_atoms_nr,V_bASK,V_nrestp_0,V_i_1,B):
1.89/1.88	* Chain [[67],68]: 1*it(67)+0
1.89/1.88	  Such that:it(67) =< V_nrestp_0-V_i_1
1.89/1.88	
1.89/1.88	  with precondition: [V_bASK=0,B=8,0>=V_atoms_nr,V_nrestp_0>=V_i_1+1] 
1.89/1.88	
1.89/1.88	* Chain [[66],68]: 1*it(66)+2*s(21)+0
1.89/1.88	  Such that:aux(20) =< V_atoms_nr
1.89/1.88	it(66) =< V_nrestp_0-V_i_1
1.89/1.88	s(22) =< it(66)*aux(20)
1.89/1.88	s(21) =< s(22)
1.89/1.88	
1.89/1.88	  with precondition: [V_bASK=0,B=8,V_atoms_nr>=1,V_nrestp_0>=V_i_1+1] 
1.89/1.88	
1.89/1.88	* Chain [[65],68]: 1*it(65)+0
1.89/1.88	  Such that:it(65) =< V_nrestp_0-V_i_1
1.89/1.88	
1.89/1.88	  with precondition: [B=8,0>=V_atoms_nr,0>=V_bASK+1,V_nrestp_0>=V_i_1+1] 
1.89/1.88	
1.89/1.88	* Chain [[64],68]: 1*it(64)+0
1.89/1.88	  Such that:it(64) =< V_nrestp_0-V_i_1
1.89/1.88	
1.89/1.88	  with precondition: [B=8,0>=V_atoms_nr,V_bASK>=1,V_nrestp_0>=V_i_1+1] 
1.89/1.88	
1.89/1.88	* Chain [[62,63],68]: 4*it(62)+20*s(79)+4*s(80)+2*s(81)+2*s(83)+1*s(84)+1*s(85)+0
1.89/1.88	  Such that:s(57) =< V_atoms_nr
1.89/1.88	aux(34) =< V_nrestp_0-V_i_1
1.89/1.88	it(62) =< aux(34)
1.89/1.88	aux(28) =< s(57)
1.89/1.88	s(83) =< aux(34)
1.89/1.88	s(86) =< it(62)*aux(28)
1.89/1.88	s(79) =< s(86)
1.89/1.88	s(83) =< s(86)
1.89/1.88	s(60) =< s(57)-1
1.89/1.88	s(84) =< s(83)*s(57)
1.89/1.88	s(85) =< s(79)*s(60)
1.89/1.88	s(80) =< s(79)*aux(28)
1.89/1.88	s(65) =< aux(28)-1
1.89/1.88	s(81) =< s(79)*s(65)
1.89/1.88	
1.89/1.88	  with precondition: [B=8,0>=V_bASK+1,V_atoms_nr>=1,V_nrestp_0>=V_i_1+1] 
1.89/1.88	
1.89/1.88	* Chain [[60,61],68]: 4*it(60)+20*s(143)+4*s(144)+3*s(145)+2*s(146)+1*s(147)+0
1.89/1.88	  Such that:s(125) =< V_atoms_nr
1.89/1.88	aux(47) =< V_nrestp_0-V_i_1
1.89/1.88	it(60) =< aux(47)
1.89/1.88	aux(42) =< s(125)
1.89/1.88	s(146) =< aux(47)
1.89/1.88	s(148) =< it(60)*aux(42)
1.89/1.88	s(143) =< s(148)
1.89/1.88	s(146) =< s(148)
1.89/1.88	s(127) =< s(125)-1
1.89/1.88	s(147) =< s(146)*s(125)
1.89/1.88	s(145) =< s(143)*s(127)
1.89/1.88	s(144) =< s(143)*s(125)
1.89/1.88	
1.89/1.88	  with precondition: [B=8,V_atoms_nr>=1,V_bASK>=1,V_nrestp_0>=V_i_1+1] 
1.89/1.88	
1.89/1.88	* Chain [68]: 0
1.89/1.88	  with precondition: [B=8,V_i_1>=V_nrestp_0] 
1.89/1.88	
1.89/1.88	
1.89/1.88	#### Cost of chains of eval_analyse_other_bb5_in_loop_cont(A,B,C,D,E,F):
1.89/1.88	* Chain [75]: 1*s(152)+0
1.89/1.88	  Such that:s(152) =< D-E
1.89/1.88	
1.89/1.88	  with precondition: [A=10,C=0,0>=B,D>=E+1] 
1.89/1.88	
1.89/1.88	* Chain [74]: 1*s(154)+2*s(156)+0
1.89/1.88	  Such that:s(153) =< B
1.89/1.88	s(154) =< D-E
1.89/1.88	s(155) =< s(154)*s(153)
1.89/1.88	s(156) =< s(155)
1.89/1.88	
1.89/1.88	  with precondition: [A=10,C=0,B>=1,D>=E+1] 
1.89/1.88	
1.89/1.88	* Chain [73]: 1*s(157)+0
1.89/1.88	  Such that:s(157) =< D-E
1.89/1.88	
1.89/1.88	  with precondition: [A=10,0>=B,0>=C+1,D>=E+1] 
1.89/1.88	
1.89/1.88	* Chain [72]: 1*s(158)+0
1.89/1.88	  Such that:s(158) =< D-E
1.89/1.88	
1.89/1.88	  with precondition: [A=10,0>=B,C>=1,D>=E+1] 
1.89/1.88	
1.89/1.88	* Chain [71]: 4*s(161)+2*s(163)+20*s(165)+1*s(167)+1*s(168)+4*s(169)+2*s(171)+0
1.89/1.88	  Such that:s(159) =< B
1.89/1.88	s(160) =< D-E
1.89/1.88	s(161) =< s(160)
1.89/1.88	s(162) =< s(159)
1.89/1.88	s(163) =< s(160)
1.89/1.88	s(164) =< s(161)*s(162)
1.89/1.88	s(165) =< s(164)
1.89/1.88	s(163) =< s(164)
1.89/1.88	s(166) =< s(159)-1
1.89/1.88	s(167) =< s(163)*s(159)
1.89/1.88	s(168) =< s(165)*s(166)
1.89/1.88	s(169) =< s(165)*s(162)
1.89/1.88	s(170) =< s(162)-1
1.89/1.88	s(171) =< s(165)*s(170)
1.89/1.88	
1.89/1.88	  with precondition: [A=10,0>=C+1,B>=1,D>=E+1] 
1.89/1.88	
1.89/1.88	* Chain [70]: 4*s(174)+2*s(176)+20*s(178)+1*s(180)+3*s(181)+4*s(182)+0
1.89/1.88	  Such that:s(172) =< B
1.89/1.88	s(173) =< D-E
1.89/1.88	s(174) =< s(173)
1.89/1.88	s(175) =< s(172)
1.89/1.88	s(176) =< s(173)
1.89/1.88	s(177) =< s(174)*s(175)
1.89/1.88	s(178) =< s(177)
1.89/1.88	s(176) =< s(177)
1.89/1.88	s(179) =< s(172)-1
1.89/1.88	s(180) =< s(176)*s(172)
1.89/1.88	s(181) =< s(178)*s(179)
1.89/1.88	s(182) =< s(178)*s(172)
1.89/1.88	
1.89/1.88	  with precondition: [A=10,B>=1,C>=1,D>=E+1] 
1.89/1.88	
1.89/1.88	* Chain [69]: 0
1.89/1.88	  with precondition: [A=10,E>=D] 
1.89/1.88	
1.89/1.88	
1.89/1.88	#### Cost of chains of eval_analyse_other_bb4_in(V_atoms_nres,V_atoms_nr,V_bASK,V_i_0,B):
1.89/1.88	* Chain [81]: 1*s(185)+5*s(188)+1*s(191)+1*s(192)+2*s(196)+0
1.89/1.88	  Such that:s(185) =< 1
1.89/1.88	aux(48) =< V_atoms_nr
1.89/1.88	s(188) =< aux(48)
1.89/1.88	s(195) =< s(188)*aux(48)
1.89/1.88	s(196) =< s(195)
1.89/1.88	s(185) =< aux(48)
1.89/1.88	s(190) =< aux(48)-1
1.89/1.88	s(191) =< s(188)*aux(48)
1.89/1.88	s(192) =< s(188)*s(190)
1.89/1.88	
1.89/1.88	  with precondition: [V_bASK=0,V_atoms_nr>=1,V_atoms_nres>=V_i_0+1] 
1.89/1.88	
1.89/1.88	* Chain [80]: 0
1.89/1.88	  with precondition: [0>=V_atoms_nr,V_atoms_nres>=V_i_0+1] 
1.89/1.88	
1.89/1.88	* Chain [79]: 1*s(199)+8*s(202)+1*s(205)+1*s(206)+2*s(211)+20*s(213)+1*s(215)+1*s(216)+4*s(217)+2*s(219)+0
1.89/1.88	  Such that:s(199) =< 1
1.89/1.88	aux(49) =< V_atoms_nr
1.89/1.88	s(202) =< aux(49)
1.89/1.88	s(210) =< aux(49)
1.89/1.88	s(211) =< aux(49)
1.89/1.88	s(212) =< s(202)*s(210)
1.89/1.88	s(213) =< s(212)
1.89/1.88	s(211) =< s(212)
1.89/1.88	s(204) =< aux(49)-1
1.89/1.88	s(215) =< s(211)*aux(49)
1.89/1.88	s(216) =< s(213)*s(204)
1.89/1.88	s(217) =< s(213)*s(210)
1.89/1.88	s(218) =< s(210)-1
1.89/1.88	s(219) =< s(213)*s(218)
1.89/1.88	s(199) =< aux(49)
1.89/1.88	s(205) =< s(202)*aux(49)
1.89/1.88	s(206) =< s(202)*s(204)
1.89/1.88	
1.89/1.88	  with precondition: [0>=V_bASK+1,V_atoms_nr>=1,V_atoms_nres>=V_i_0+1] 
1.89/1.88	
1.89/1.88	* Chain [78]: 1*s(222)+8*s(225)+1*s(228)+1*s(229)+2*s(234)+20*s(236)+1*s(238)+3*s(239)+4*s(240)+0
1.89/1.88	  Such that:s(222) =< 1
1.89/1.88	aux(50) =< V_atoms_nr
1.89/1.88	s(225) =< aux(50)
1.89/1.88	s(233) =< aux(50)
1.89/1.88	s(234) =< aux(50)
1.89/1.88	s(235) =< s(225)*s(233)
1.89/1.89	s(236) =< s(235)
1.89/1.89	s(234) =< s(235)
1.89/1.89	s(227) =< aux(50)-1
1.89/1.89	s(238) =< s(234)*aux(50)
1.89/1.89	s(239) =< s(236)*s(227)
1.89/1.89	s(240) =< s(236)*aux(50)
1.89/1.89	s(222) =< aux(50)
1.89/1.89	s(228) =< s(225)*aux(50)
1.89/1.89	s(229) =< s(225)*s(227)
1.89/1.89	
1.89/1.89	  with precondition: [V_atoms_nr>=1,V_bASK>=1,V_atoms_nres>=V_i_0+1] 
1.89/1.89	
1.89/1.89	* Chain [77]: 3*s(246)+1*s(250)+0
1.89/1.89	  Such that:aux(51) =< V_atoms_nr
1.89/1.89	s(246) =< aux(51)
1.89/1.89	s(248) =< aux(51)-1
1.89/1.89	s(250) =< s(246)*s(248)
1.89/1.89	
1.89/1.89	  with precondition: [V_atoms_nr>=1,V_atoms_nres>=V_i_0+1] 
1.89/1.89	
1.89/1.89	* Chain [76]: 0
1.89/1.89	  with precondition: [V_i_0>=V_atoms_nres] 
1.89/1.89	
1.89/1.89	
1.89/1.89	#### Cost of chains of eval_analyse_other_bb0_in(V_atoms_nres,V_atoms_nr,V_bASK,B):
1.89/1.89	* Chain [93]: 1*s(251)+5*s(253)+2*s(255)+1*s(257)+1*s(258)+0
1.89/1.89	  Such that:s(251) =< 1
1.89/1.89	s(252) =< V_atoms_nr
1.89/1.89	s(253) =< s(252)
1.89/1.89	s(254) =< s(253)*s(252)
1.89/1.89	s(255) =< s(254)
1.89/1.89	s(251) =< s(252)
1.89/1.89	s(256) =< s(252)-1
1.89/1.89	s(257) =< s(253)*s(252)
1.89/1.89	s(258) =< s(253)*s(256)
1.89/1.89	
1.89/1.89	  with precondition: [V_bASK=0,V_atoms_nres>=1,V_atoms_nr>=1] 
1.89/1.89	
1.89/1.89	* Chain [92]: 1*s(259)+1*s(260)+5*s(262)+2*s(264)+1*s(266)+1*s(267)+0
1.89/1.89	  Such that:s(260) =< 1
1.89/1.89	s(259) =< V_atoms_nres
1.89/1.89	s(261) =< V_atoms_nr
1.89/1.89	s(262) =< s(261)
1.89/1.89	s(263) =< s(262)*s(261)
1.89/1.89	s(264) =< s(263)
1.89/1.89	s(260) =< s(261)
1.89/1.89	s(265) =< s(261)-1
1.89/1.89	s(266) =< s(262)*s(261)
1.89/1.89	s(267) =< s(262)*s(265)
1.89/1.89	
1.89/1.89	  with precondition: [V_bASK=0,V_atoms_nres>=2,V_atoms_nr>=1] 
1.89/1.89	
1.89/1.89	* Chain [91]: 0
1.89/1.89	  with precondition: [0>=V_atoms_nres] 
1.89/1.89	
1.89/1.89	* Chain [90]: 0
1.89/1.89	  with precondition: [0>=V_atoms_nr,V_atoms_nres>=1] 
1.89/1.89	
1.89/1.89	* Chain [89]: 1*s(268)+0
1.89/1.89	  Such that:s(268) =< V_atoms_nres
1.89/1.89	
1.89/1.89	  with precondition: [0>=V_atoms_nr,V_atoms_nres>=2] 
1.89/1.89	
1.89/1.89	* Chain [88]: 1*s(269)+8*s(271)+2*s(273)+20*s(275)+1*s(277)+1*s(278)+4*s(279)+2*s(281)+1*s(282)+1*s(283)+0
1.89/1.89	  Such that:s(269) =< 1
1.89/1.89	s(270) =< V_atoms_nr
1.89/1.89	s(271) =< s(270)
1.89/1.89	s(272) =< s(270)
1.89/1.89	s(273) =< s(270)
1.89/1.89	s(274) =< s(271)*s(272)
1.89/1.89	s(275) =< s(274)
1.89/1.89	s(273) =< s(274)
1.89/1.89	s(276) =< s(270)-1
1.89/1.89	s(277) =< s(273)*s(270)
1.89/1.89	s(278) =< s(275)*s(276)
1.89/1.89	s(279) =< s(275)*s(272)
1.89/1.89	s(280) =< s(272)-1
1.89/1.89	s(281) =< s(275)*s(280)
1.89/1.89	s(269) =< s(270)
1.89/1.89	s(282) =< s(271)*s(270)
1.89/1.89	s(283) =< s(271)*s(276)
1.89/1.89	
1.89/1.89	  with precondition: [0>=V_bASK+1,V_atoms_nres>=1,V_atoms_nr>=1] 
1.89/1.89	
1.89/1.89	* Chain [87]: 1*s(284)+1*s(285)+8*s(287)+2*s(289)+20*s(291)+1*s(293)+1*s(294)+4*s(295)+2*s(297)+1*s(298)+1*s(299)+0
1.89/1.89	  Such that:s(285) =< 1
1.89/1.89	s(284) =< V_atoms_nres
1.89/1.89	s(286) =< V_atoms_nr
1.89/1.89	s(287) =< s(286)
1.89/1.89	s(288) =< s(286)
1.89/1.89	s(289) =< s(286)
1.89/1.89	s(290) =< s(287)*s(288)
1.89/1.89	s(291) =< s(290)
1.89/1.89	s(289) =< s(290)
1.89/1.89	s(292) =< s(286)-1
1.89/1.89	s(293) =< s(289)*s(286)
1.89/1.89	s(294) =< s(291)*s(292)
1.89/1.89	s(295) =< s(291)*s(288)
1.89/1.89	s(296) =< s(288)-1
1.89/1.89	s(297) =< s(291)*s(296)
1.89/1.89	s(285) =< s(286)
1.89/1.89	s(298) =< s(287)*s(286)
1.89/1.89	s(299) =< s(287)*s(292)
1.89/1.89	
1.89/1.89	  with precondition: [0>=V_bASK+1,V_atoms_nres>=2,V_atoms_nr>=1] 
1.89/1.89	
1.89/1.89	* Chain [86]: 1*s(300)+0
1.89/1.89	  Such that:s(300) =< V_atoms_nres
1.89/1.89	
1.89/1.89	  with precondition: [V_atoms_nres>=1] 
1.89/1.89	
1.89/1.89	* Chain [85]: 3*s(302)+1*s(304)+0
1.89/1.89	  Such that:s(301) =< V_atoms_nr
1.89/1.89	s(302) =< s(301)
1.89/1.89	s(303) =< s(301)-1
1.89/1.89	s(304) =< s(302)*s(303)
1.89/1.89	
1.89/1.89	  with precondition: [V_atoms_nres>=1,V_atoms_nr>=1] 
1.89/1.89	
1.89/1.89	* Chain [84]: 1*s(305)+8*s(307)+2*s(309)+20*s(311)+1*s(313)+3*s(314)+4*s(315)+1*s(316)+1*s(317)+0
1.89/1.89	  Such that:s(305) =< 1
1.89/1.89	s(306) =< V_atoms_nr
1.89/1.89	s(307) =< s(306)
1.89/1.89	s(308) =< s(306)
1.89/1.89	s(309) =< s(306)
1.89/1.89	s(310) =< s(307)*s(308)
1.89/1.89	s(311) =< s(310)
1.89/1.89	s(309) =< s(310)
1.89/1.89	s(312) =< s(306)-1
1.89/1.89	s(313) =< s(309)*s(306)
1.89/1.89	s(314) =< s(311)*s(312)
1.89/1.89	s(315) =< s(311)*s(306)
1.89/1.89	s(305) =< s(306)
1.89/1.89	s(316) =< s(307)*s(306)
1.89/1.89	s(317) =< s(307)*s(312)
1.89/1.89	
1.89/1.89	  with precondition: [V_atoms_nres>=1,V_atoms_nr>=1,V_bASK>=1] 
1.89/1.89	
1.89/1.89	* Chain [83]: 1*s(318)+3*s(320)+1*s(322)+0
1.89/1.89	  Such that:s(318) =< V_atoms_nres
1.89/1.89	s(319) =< V_atoms_nr
1.89/1.89	s(320) =< s(319)
1.89/1.89	s(321) =< s(319)-1
1.89/1.89	s(322) =< s(320)*s(321)
1.89/1.89	
1.89/1.89	  with precondition: [V_atoms_nres>=2,V_atoms_nr>=1] 
1.89/1.89	
1.89/1.89	* Chain [82]: 1*s(323)+1*s(324)+8*s(326)+2*s(328)+20*s(330)+1*s(332)+3*s(333)+4*s(334)+1*s(335)+1*s(336)+0
1.89/1.89	  Such that:s(324) =< 1
1.89/1.89	s(323) =< V_atoms_nres
1.89/1.89	s(325) =< V_atoms_nr
1.89/1.89	s(326) =< s(325)
1.89/1.89	s(327) =< s(325)
1.89/1.89	s(328) =< s(325)
1.89/1.89	s(329) =< s(326)*s(327)
1.89/1.89	s(330) =< s(329)
1.89/1.89	s(328) =< s(329)
1.89/1.89	s(331) =< s(325)-1
1.89/1.89	s(332) =< s(328)*s(325)
1.89/1.89	s(333) =< s(330)*s(331)
1.89/1.89	s(334) =< s(330)*s(325)
1.89/1.89	s(324) =< s(325)
1.89/1.89	s(335) =< s(326)*s(325)
1.89/1.89	s(336) =< s(326)*s(331)
1.89/1.89	
1.89/1.89	  with precondition: [V_atoms_nres>=2,V_atoms_nr>=1,V_bASK>=1] 
1.89/1.89	
1.89/1.89	
1.89/1.89	#### Cost of chains of eval_analyse_other_start(V_atoms_nres,V_atoms_nr,V_bASK,B):
1.89/1.89	* Chain [105]: 1*s(337)+5*s(339)+2*s(341)+1*s(343)+1*s(344)+0
1.89/1.89	  Such that:s(337) =< 1
1.89/1.89	s(338) =< V_atoms_nr
1.89/1.89	s(339) =< s(338)
1.89/1.89	s(340) =< s(339)*s(338)
1.89/1.89	s(341) =< s(340)
1.89/1.89	s(337) =< s(338)
1.89/1.89	s(342) =< s(338)-1
1.89/1.89	s(343) =< s(339)*s(338)
1.89/1.89	s(344) =< s(339)*s(342)
1.89/1.89	
1.89/1.89	  with precondition: [V_bASK=0,V_atoms_nres>=1,V_atoms_nr>=1] 
1.89/1.89	
1.89/1.89	* Chain [104]: 1*s(345)+1*s(346)+5*s(348)+2*s(350)+1*s(352)+1*s(353)+0
1.89/1.89	  Such that:s(345) =< 1
1.89/1.89	s(346) =< V_atoms_nres
1.89/1.89	s(347) =< V_atoms_nr
1.89/1.89	s(348) =< s(347)
1.89/1.89	s(349) =< s(348)*s(347)
1.89/1.89	s(350) =< s(349)
1.89/1.89	s(345) =< s(347)
1.89/1.89	s(351) =< s(347)-1
1.89/1.89	s(352) =< s(348)*s(347)
1.89/1.89	s(353) =< s(348)*s(351)
1.89/1.89	
1.89/1.89	  with precondition: [V_bASK=0,V_atoms_nres>=2,V_atoms_nr>=1] 
1.89/1.89	
1.89/1.89	* Chain [103]: 0
1.89/1.89	  with precondition: [0>=V_atoms_nres] 
1.89/1.89	
1.89/1.89	* Chain [102]: 0
1.89/1.89	  with precondition: [0>=V_atoms_nr,V_atoms_nres>=1] 
1.89/1.89	
1.89/1.89	* Chain [101]: 1*s(354)+0
1.89/1.89	  Such that:s(354) =< V_atoms_nres
1.89/1.89	
1.89/1.89	  with precondition: [0>=V_atoms_nr,V_atoms_nres>=2] 
1.89/1.89	
1.89/1.89	* Chain [100]: 1*s(355)+8*s(357)+2*s(359)+20*s(361)+1*s(363)+1*s(364)+4*s(365)+2*s(367)+1*s(368)+1*s(369)+0
1.89/1.89	  Such that:s(355) =< 1
1.89/1.89	s(356) =< V_atoms_nr
1.89/1.89	s(357) =< s(356)
1.89/1.89	s(358) =< s(356)
1.89/1.89	s(359) =< s(356)
1.89/1.89	s(360) =< s(357)*s(358)
1.89/1.89	s(361) =< s(360)
1.89/1.89	s(359) =< s(360)
1.89/1.89	s(362) =< s(356)-1
1.89/1.89	s(363) =< s(359)*s(356)
1.89/1.89	s(364) =< s(361)*s(362)
1.89/1.89	s(365) =< s(361)*s(358)
1.89/1.89	s(366) =< s(358)-1
1.89/1.89	s(367) =< s(361)*s(366)
1.89/1.89	s(355) =< s(356)
1.89/1.89	s(368) =< s(357)*s(356)
1.89/1.89	s(369) =< s(357)*s(362)
1.89/1.89	
1.89/1.89	  with precondition: [0>=V_bASK+1,V_atoms_nres>=1,V_atoms_nr>=1] 
1.89/1.89	
1.89/1.89	* Chain [99]: 1*s(370)+1*s(371)+8*s(373)+2*s(375)+20*s(377)+1*s(379)+1*s(380)+4*s(381)+2*s(383)+1*s(384)+1*s(385)+0
1.89/1.89	  Such that:s(370) =< 1
1.89/1.89	s(371) =< V_atoms_nres
1.89/1.89	s(372) =< V_atoms_nr
1.89/1.89	s(373) =< s(372)
1.89/1.89	s(374) =< s(372)
1.89/1.89	s(375) =< s(372)
1.89/1.89	s(376) =< s(373)*s(374)
1.89/1.89	s(377) =< s(376)
1.89/1.89	s(375) =< s(376)
1.89/1.89	s(378) =< s(372)-1
1.89/1.89	s(379) =< s(375)*s(372)
1.89/1.89	s(380) =< s(377)*s(378)
1.89/1.89	s(381) =< s(377)*s(374)
1.89/1.89	s(382) =< s(374)-1
1.89/1.89	s(383) =< s(377)*s(382)
1.89/1.89	s(370) =< s(372)
1.89/1.89	s(384) =< s(373)*s(372)
1.89/1.89	s(385) =< s(373)*s(378)
1.89/1.89	
1.89/1.89	  with precondition: [0>=V_bASK+1,V_atoms_nres>=2,V_atoms_nr>=1] 
1.89/1.89	
1.89/1.89	* Chain [98]: 1*s(386)+0
1.89/1.89	  Such that:s(386) =< V_atoms_nres
1.89/1.89	
1.89/1.89	  with precondition: [V_atoms_nres>=1] 
1.89/1.89	
1.89/1.89	* Chain [97]: 3*s(388)+1*s(390)+0
1.89/1.89	  Such that:s(387) =< V_atoms_nr
1.89/1.89	s(388) =< s(387)
1.89/1.89	s(389) =< s(387)-1
1.89/1.89	s(390) =< s(388)*s(389)
1.89/1.89	
1.89/1.89	  with precondition: [V_atoms_nres>=1,V_atoms_nr>=1] 
1.89/1.89	
1.89/1.89	* Chain [96]: 1*s(391)+8*s(393)+2*s(395)+20*s(397)+1*s(399)+3*s(400)+4*s(401)+1*s(402)+1*s(403)+0
1.89/1.89	  Such that:s(391) =< 1
1.89/1.89	s(392) =< V_atoms_nr
1.89/1.89	s(393) =< s(392)
1.89/1.89	s(394) =< s(392)
1.89/1.89	s(395) =< s(392)
1.89/1.89	s(396) =< s(393)*s(394)
1.89/1.89	s(397) =< s(396)
1.89/1.89	s(395) =< s(396)
1.89/1.89	s(398) =< s(392)-1
1.89/1.89	s(399) =< s(395)*s(392)
1.89/1.89	s(400) =< s(397)*s(398)
1.89/1.89	s(401) =< s(397)*s(392)
1.89/1.89	s(391) =< s(392)
1.89/1.89	s(402) =< s(393)*s(392)
1.89/1.89	s(403) =< s(393)*s(398)
1.89/1.89	
1.89/1.89	  with precondition: [V_atoms_nres>=1,V_atoms_nr>=1,V_bASK>=1] 
1.89/1.89	
1.89/1.89	* Chain [95]: 1*s(404)+3*s(406)+1*s(408)+0
1.89/1.89	  Such that:s(404) =< V_atoms_nres
1.89/1.89	s(405) =< V_atoms_nr
1.89/1.89	s(406) =< s(405)
1.89/1.89	s(407) =< s(405)-1
1.89/1.89	s(408) =< s(406)*s(407)
1.89/1.89	
1.89/1.89	  with precondition: [V_atoms_nres>=2,V_atoms_nr>=1] 
1.89/1.89	
1.89/1.89	* Chain [94]: 1*s(409)+1*s(410)+8*s(412)+2*s(414)+20*s(416)+1*s(418)+3*s(419)+4*s(420)+1*s(421)+1*s(422)+0
1.89/1.89	  Such that:s(409) =< 1
1.89/1.89	s(410) =< V_atoms_nres
1.89/1.89	s(411) =< V_atoms_nr
1.89/1.89	s(412) =< s(411)
1.89/1.89	s(413) =< s(411)
1.89/1.89	s(414) =< s(411)
1.89/1.89	s(415) =< s(412)*s(413)
1.89/1.89	s(416) =< s(415)
1.89/1.89	s(414) =< s(415)
1.89/1.89	s(417) =< s(411)-1
1.89/1.89	s(418) =< s(414)*s(411)
1.89/1.89	s(419) =< s(416)*s(417)
1.89/1.89	s(420) =< s(416)*s(411)
1.89/1.89	s(409) =< s(411)
1.89/1.89	s(421) =< s(412)*s(411)
1.89/1.89	s(422) =< s(412)*s(417)
1.89/1.89	
1.89/1.89	  with precondition: [V_atoms_nres>=2,V_atoms_nr>=1,V_bASK>=1] 
1.89/1.89	
1.89/1.89	
1.89/1.89	Closed-form bounds of eval_analyse_other_start(V_atoms_nres,V_atoms_nr,V_bASK,B): 
1.89/1.89	-------------------------------------
1.89/1.89	* Chain [105] with precondition: [V_bASK=0,V_atoms_nres>=1,V_atoms_nr>=1] 
1.89/1.89	    - Upper bound: 5*V_atoms_nr+1+3*V_atoms_nr*V_atoms_nr+(V_atoms_nr-1)*V_atoms_nr 
1.89/1.89	    - Complexity: n^2 
1.89/1.89	* Chain [104] with precondition: [V_bASK=0,V_atoms_nres>=2,V_atoms_nr>=1] 
1.89/1.89	    - Upper bound: V_atoms_nres+5*V_atoms_nr+1+3*V_atoms_nr*V_atoms_nr+(V_atoms_nr-1)*V_atoms_nr 
1.89/1.89	    - Complexity: n^2 
1.89/1.89	* Chain [103] with precondition: [0>=V_atoms_nres] 
1.89/1.89	    - Upper bound: 0 
1.89/1.89	    - Complexity: constant 
1.89/1.89	* Chain [102] with precondition: [0>=V_atoms_nr,V_atoms_nres>=1] 
1.89/1.89	    - Upper bound: 0 
1.89/1.89	    - Complexity: constant 
1.89/1.89	* Chain [101] with precondition: [0>=V_atoms_nr,V_atoms_nres>=2] 
1.89/1.89	    - Upper bound: V_atoms_nres 
1.89/1.89	    - Complexity: n 
1.89/1.89	* Chain [100] with precondition: [0>=V_bASK+1,V_atoms_nres>=1,V_atoms_nr>=1] 
1.89/1.89	    - Upper bound: 10*V_atoms_nr+1+22*V_atoms_nr*V_atoms_nr+4*V_atoms_nr*V_atoms_nr*V_atoms_nr+(V_atoms_nr-1)*(3*V_atoms_nr*V_atoms_nr)+(V_atoms_nr-1)*V_atoms_nr 
1.89/1.89	    - Complexity: n^3 
1.89/1.89	* Chain [99] with precondition: [0>=V_bASK+1,V_atoms_nres>=2,V_atoms_nr>=1] 
1.89/1.89	    - Upper bound: V_atoms_nres+10*V_atoms_nr+1+22*V_atoms_nr*V_atoms_nr+4*V_atoms_nr*V_atoms_nr*V_atoms_nr+(V_atoms_nr-1)*(3*V_atoms_nr*V_atoms_nr)+(V_atoms_nr-1)*V_atoms_nr 
1.89/1.89	    - Complexity: n^3 
1.89/1.89	* Chain [98] with precondition: [V_atoms_nres>=1] 
1.89/1.89	    - Upper bound: V_atoms_nres 
1.89/1.89	    - Complexity: n 
1.89/1.89	* Chain [97] with precondition: [V_atoms_nres>=1,V_atoms_nr>=1] 
1.89/1.89	    - Upper bound: (V_atoms_nr-1)*V_atoms_nr+3*V_atoms_nr 
1.89/1.89	    - Complexity: n^2 
1.89/1.89	* Chain [96] with precondition: [V_atoms_nres>=1,V_atoms_nr>=1,V_bASK>=1] 
1.89/1.89	    - Upper bound: 10*V_atoms_nr+1+22*V_atoms_nr*V_atoms_nr+4*V_atoms_nr*V_atoms_nr*V_atoms_nr+(V_atoms_nr-1)*(3*V_atoms_nr*V_atoms_nr)+(V_atoms_nr-1)*V_atoms_nr 
1.89/1.89	    - Complexity: n^3 
1.89/1.89	* Chain [95] with precondition: [V_atoms_nres>=2,V_atoms_nr>=1] 
1.89/1.89	    - Upper bound: V_atoms_nres+3*V_atoms_nr+(V_atoms_nr-1)*V_atoms_nr 
1.89/1.89	    - Complexity: n^2 
1.89/1.89	* Chain [94] with precondition: [V_atoms_nres>=2,V_atoms_nr>=1,V_bASK>=1] 
1.89/1.89	    - Upper bound: V_atoms_nres+10*V_atoms_nr+1+22*V_atoms_nr*V_atoms_nr+4*V_atoms_nr*V_atoms_nr*V_atoms_nr+(V_atoms_nr-1)*(3*V_atoms_nr*V_atoms_nr)+(V_atoms_nr-1)*V_atoms_nr 
1.89/1.89	    - Complexity: n^3 
1.89/1.89	
1.89/1.89	### Maximum cost of eval_analyse_other_start(V_atoms_nres,V_atoms_nr,V_bASK,B): nat(V_atoms_nr)*19*nat(V_atoms_nr)+nat(V_atoms_nr)*5+nat(V_atoms_nr)*4*nat(V_atoms_nr)*nat(V_atoms_nr)+nat(V_atoms_nr)*3*nat(V_atoms_nr)*nat(nat(V_atoms_nr)+ -1)+(nat(V_atoms_nr)*2+1+nat(V_atoms_nr)*3*nat(V_atoms_nr))+(nat(nat(V_atoms_nr)+ -1)*nat(V_atoms_nr)+nat(V_atoms_nr)*3)+nat(V_atoms_nres) 
1.89/1.89	Asymptotic class: n^3 
1.89/1.89	* Total analysis performed in 1629 ms.
1.89/1.89	
1.91/1.99	EOF