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	n022.star.cs.uiowa.edu
space	WTC_V2

run statistics

property	value
solver	CoFloCo 2018
configuration	C
runtime (wallclock)	1.47245001793 seconds
cpu usage	1.398243749
max memory	1.2713984E7

stage attributes

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

output

/export/starexec/sandbox2/solver/bin/starexec_run_C /export/starexec/sandbox2/benchmark/theBenchmark.c /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- WORST_CASE(?,O(n^2)) Preprocessing Cost Relations ===================================== #### Computed strongly connected components 0. non_recursive : [eval_nested_loop_stop/1] 1. non_recursive : [eval_nested_loop__critedge_in/1] 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] 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] 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] 5. non_recursive : [eval_nested_loop_bb1_in_loop_cont/2] 6. non_recursive : [eval_nested_loop_bb0_in/4] 7. non_recursive : [eval_nested_loop_start/4] #### Obtained direct recursion through partial evaluation 0. SCC is completely evaluated into other SCCs 1. SCC is completely evaluated into other SCCs 2. SCC is partially evaluated into eval_nested_loop_bb5_in/7 3. SCC is partially evaluated into eval_nested_loop__critedge3_in/7 4. SCC is partially evaluated into eval_nested_loop_bb1_in/5 5. SCC is completely evaluated into other SCCs 6. SCC is partially evaluated into eval_nested_loop_bb0_in/4 7. SCC is partially evaluated into eval_nested_loop_start/4 Control-Flow Refinement of Cost Relations ===================================== ### Specialization of cost equations eval_nested_loop_bb5_in/7 * CE 12 is refined into CE [15] * CE 14 is refined into CE [16] * CE 13 is refined into CE [17] ### Cost equations --> "Loop" of eval_nested_loop_bb5_in/7 * CEs [17] --> Loop 15 * CEs [15] --> Loop 16 * CEs [16] --> Loop 17 ### Ranking functions of CR eval_nested_loop_bb5_in(V_N,V_j_0,V_i_1,V_7,V_k_0,B,C) * RF of phase [15]: [V_N-V_k_0] #### 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) * Partial RF of phase [15]: - RF of loop [15:1]: V_N-V_k_0 ### Specialization of cost equations eval_nested_loop__critedge3_in/7 * CE 9 is refined into CE [18] * CE 11 is refined into CE [19] * CE 10 is refined into CE [20,21,22,23] ### Cost equations --> "Loop" of eval_nested_loop__critedge3_in/7 * CEs [23] --> Loop 18 * CEs [22] --> Loop 19 * CEs [21] --> Loop 20 * CEs [20] --> Loop 21 * CEs [18] --> Loop 22 * CEs [19] --> Loop 23 ### Ranking functions of CR eval_nested_loop__critedge3_in(V_m,V_N,V_j_0,V_i_1,B,C,D) * RF of phase [18,19]: [V_m-V_j_0] * RF of phase [20]: [V_m-V_j_0] #### Partial ranking functions of CR eval_nested_loop__critedge3_in(V_m,V_N,V_j_0,V_i_1,B,C,D) * Partial RF of phase [18,19]: - RF of loop [18:1]: V_N-V_i_1-1 - RF of loop [18:1,19:1]: V_m-V_j_0 * Partial RF of phase [20]: - RF of loop [20:1]: V_m-V_j_0 ### Specialization of cost equations eval_nested_loop_bb1_in/5 * CE 6 is refined into CE [24] * CE 8 is refined into CE [25] * CE 7 is refined into CE [26,27,28,29,30,31,32,33,34,35,36,37] ### Cost equations --> "Loop" of eval_nested_loop_bb1_in/5 * CEs [37] --> Loop 24 * CEs [33] --> Loop 25 * CEs [36] --> Loop 26 * CEs [32] --> Loop 27 * CEs [29] --> Loop 28 * CEs [35] --> Loop 29 * CEs [31,34] --> Loop 30 * CEs [28,30] --> Loop 31 * CEs [27] --> Loop 32 * CEs [26] --> Loop 33 popout

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

job log

popout

actions

all output return to Compl C Integ Progr 85445