details

property	value
status	complete
benchmark	nested_loop.c
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
execution host	n092.star.cs.uiowa.edu
space	WTC_V2

run statistics

property	value
solver	CoFloCo 2018
configuration	C
runtime (wallclock)	1.47433 seconds
cpu usage	1.40451
user time	1.3705
system time	0.034004
max virtual memory	318616.0
max residence set size	15168.0

stage attributes

key	value
starexec-result	WORST_CASE(?,O(n^2))

output

1.36/1.36 WORST_CASE(?,O(n^2)) 1.36/1.36 1.36/1.36 Preprocessing Cost Relations 1.36/1.36 ===================================== 1.36/1.36 1.36/1.36 #### Computed strongly connected components 1.36/1.36 0. non_recursive : [eval_nested_loop_stop/1] 1.36/1.36 1. non_recursive : [eval_nested_loop__critedge_in/1] 1.36/1.36 2. recursive : [eval_nested_loop_6/7,eval_nested_loop_7/8,eval_nested_loop_bb5_in/7,eval_nested_loop_bb6_in/7,eval_nested_loop_bb7_in/8] 1.36/1.36 3. recursive : [eval_nested_loop_2/7,eval_nested_loop_3/8,eval_nested_loop__critedge3_in/7,eval_nested_loop_bb3_in/7,eval_nested_loop_bb4_in/8,eval_nested_loop_bb5_in_loop_cont/8] 1.36/1.36 4. recursive : [eval_nested_loop_0/5,eval_nested_loop_1/6,eval_nested_loop__critedge2_in/8,eval_nested_loop__critedge3_in_loop_cont/9,eval_nested_loop_bb1_in/5,eval_nested_loop_bb2_in/5] 1.36/1.36 5. non_recursive : [eval_nested_loop_bb1_in_loop_cont/2] 1.36/1.36 6. non_recursive : [eval_nested_loop_bb0_in/4] 1.36/1.36 7. non_recursive : [eval_nested_loop_start/4] 1.36/1.36 1.36/1.36 #### Obtained direct recursion through partial evaluation 1.36/1.36 0. SCC is completely evaluated into other SCCs 1.36/1.36 1. SCC is completely evaluated into other SCCs 1.36/1.36 2. SCC is partially evaluated into eval_nested_loop_bb5_in/7 1.36/1.36 3. SCC is partially evaluated into eval_nested_loop__critedge3_in/7 1.36/1.36 4. SCC is partially evaluated into eval_nested_loop_bb1_in/5 1.36/1.36 5. SCC is completely evaluated into other SCCs 1.36/1.36 6. SCC is partially evaluated into eval_nested_loop_bb0_in/4 1.36/1.36 7. SCC is partially evaluated into eval_nested_loop_start/4 1.36/1.36 1.36/1.36 Control-Flow Refinement of Cost Relations 1.36/1.36 ===================================== 1.36/1.36 1.36/1.36 ### Specialization of cost equations eval_nested_loop_bb5_in/7 1.36/1.36 * CE 12 is refined into CE [15] 1.36/1.36 * CE 14 is refined into CE [16] 1.36/1.36 * CE 13 is refined into CE [17] 1.36/1.36 1.36/1.36 1.36/1.36 ### Cost equations --> "Loop" of eval_nested_loop_bb5_in/7 1.36/1.36 * CEs [17] --> Loop 15 1.36/1.36 * CEs [15] --> Loop 16 1.36/1.36 * CEs [16] --> Loop 17 1.36/1.36 1.36/1.36 ### Ranking functions of CR eval_nested_loop_bb5_in(V_N,V_j_0,V_i_1,V_7,V_k_0,B,C) 1.36/1.36 * RF of phase [15]: [V_N-V_k_0] 1.36/1.36 1.36/1.36 #### Partial ranking functions of CR eval_nested_loop_bb5_in(V_N,V_j_0,V_i_1,V_7,V_k_0,B,C) 1.36/1.36 * Partial RF of phase [15]: 1.36/1.36 - RF of loop [15:1]: 1.36/1.36 V_N-V_k_0 1.36/1.36 1.36/1.36 1.36/1.36 ### Specialization of cost equations eval_nested_loop__critedge3_in/7 1.36/1.36 * CE 9 is refined into CE [18] 1.36/1.36 * CE 11 is refined into CE [19] 1.36/1.36 * CE 10 is refined into CE [20,21,22,23] 1.36/1.36 1.36/1.36 1.36/1.36 ### Cost equations --> "Loop" of eval_nested_loop__critedge3_in/7 1.36/1.36 * CEs [23] --> Loop 18 1.36/1.36 * CEs [22] --> Loop 19 1.36/1.36 * CEs [21] --> Loop 20 1.36/1.36 * CEs [20] --> Loop 21 1.36/1.36 * CEs [18] --> Loop 22 1.36/1.36 * CEs [19] --> Loop 23 1.36/1.36 1.36/1.36 ### Ranking functions of CR eval_nested_loop__critedge3_in(V_m,V_N,V_j_0,V_i_1,B,C,D) 1.36/1.36 * RF of phase [18,19]: [V_m-V_j_0] 1.36/1.36 * RF of phase [20]: [V_m-V_j_0] 1.36/1.36 1.36/1.36 #### Partial ranking functions of CR eval_nested_loop__critedge3_in(V_m,V_N,V_j_0,V_i_1,B,C,D) 1.36/1.36 * Partial RF of phase [18,19]: 1.36/1.36 - RF of loop [18:1]: 1.36/1.36 V_N-V_i_1-1 1.36/1.36 - RF of loop [18:1,19:1]: 1.36/1.36 V_m-V_j_0 1.36/1.36 * Partial RF of phase [20]: 1.36/1.36 - RF of loop [20:1]: 1.36/1.36 V_m-V_j_0 1.36/1.36 1.36/1.36 1.36/1.36 ### Specialization of cost equations eval_nested_loop_bb1_in/5 1.36/1.36 * CE 6 is refined into CE [24] 1.36/1.36 * CE 8 is refined into CE [25] 1.36/1.36 * CE 7 is refined into CE [26,27,28,29,30,31,32,33,34,35,36,37] 1.36/1.36 1.36/1.36 1.36/1.36 ### Cost equations --> "Loop" of eval_nested_loop_bb1_in/5 1.36/1.36 * CEs [37] --> Loop 24 1.36/1.36 * CEs [33] --> Loop 25 1.36/1.36 * CEs [36] --> Loop 26 1.36/1.36 * CEs [32] --> Loop 27 1.36/1.36 * CEs [29] --> Loop 28 1.36/1.36 * CEs [35] --> Loop 29 1.36/1.36 * CEs [31,34] --> Loop 30 1.36/1.36 * CEs [28,30] --> Loop 31 1.36/1.36 * CEs [27] --> Loop 32 1.36/1.36 * CEs [26] --> Loop 33 1.36/1.36 * CEs [24] --> Loop 34 1.36/1.36 * CEs [25] --> Loop 35 1.36/1.36 1.36/1.36 ### Ranking functions of CR eval_nested_loop_bb1_in(V_n,V_m,V_N,V_i_0,B) 1.36/1.36 * RF of phase [24,25,26,27,28,29,30,31,32]: [V_n+V_N-V_i_0,V_n-V_i_0] 1.36/1.36 * RF of phase [33]: [V_n-V_i_0] popout

output may be truncated. 'popout' for the full output.

job log

popout

actions

all output return to Complexity_C_Integer 2019-03-21 04.38