Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
Complexity_C_Integer 2019-03-21 04.38 pair #429989595
details
property
value
status
complete
benchmark
CPU2006_ApplyBndRobin.c
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n078.star.cs.uiowa.edu
space
Sinn_2016
run statistics
property
value
solver
CoFloCo 2018
configuration
C
runtime (wallclock)
2.60457 seconds
cpu usage
2.54779
user time
2.50682
system time
0.040971
max virtual memory
320056.0
max residence set size
16856.0
stage attributes
key
value
starexec-result
WORST_CASE(?,O(n^4))
output
2.43/2.49 WORST_CASE(?,O(n^4)) 2.43/2.49 2.43/2.49 Preprocessing Cost Relations 2.43/2.49 ===================================== 2.43/2.49 2.43/2.49 #### Computed strongly connected components 2.43/2.49 0. recursive : [eval_ApplyBndRobin_bb12_in/4,eval_ApplyBndRobin_bb13_in/4] 2.43/2.49 1. recursive : [eval_ApplyBndRobin_10/7,eval_ApplyBndRobin_7/6,eval_ApplyBndRobin_8/7,eval_ApplyBndRobin_9/6,eval_ApplyBndRobin_bb10_in/6,eval_ApplyBndRobin_bb11_in/9,eval_ApplyBndRobin_bb12_in_loop_cont/11,eval_ApplyBndRobin_bb14_in/10,eval_ApplyBndRobin_bb7_in/6,eval_ApplyBndRobin_bb8_in/6,eval_ApplyBndRobin_bb9_in/6] 2.43/2.49 2. recursive : [eval_ApplyBndRobin_2/6,eval_ApplyBndRobin_3/7,eval_ApplyBndRobin_4/6,eval_ApplyBndRobin_5/7,eval_ApplyBndRobin_bb15_in/10,eval_ApplyBndRobin_bb2_in/6,eval_ApplyBndRobin_bb3_in/6,eval_ApplyBndRobin_bb4_in/6,eval_ApplyBndRobin_bb5_in/6,eval_ApplyBndRobin_bb6_in/9,eval_ApplyBndRobin_bb7_in_loop_cont/11] 2.43/2.49 3. recursive : [eval_ApplyBndRobin_bb16_in/8,eval_ApplyBndRobin_bb1_in/7,eval_ApplyBndRobin_bb2_in_loop_cont/9] 2.43/2.49 4. non_recursive : [eval_ApplyBndRobin_stop/1] 2.43/2.49 5. non_recursive : [eval_ApplyBndRobin_bb17_in/1] 2.43/2.49 6. non_recursive : [eval_ApplyBndRobin_bb1_in_loop_cont/2] 2.43/2.49 7. non_recursive : [eval_ApplyBndRobin_bb0_in/6] 2.43/2.49 8. non_recursive : [eval_ApplyBndRobin_start/6] 2.43/2.49 2.43/2.49 #### Obtained direct recursion through partial evaluation 2.43/2.49 0. SCC is partially evaluated into eval_ApplyBndRobin_bb12_in/4 2.43/2.49 1. SCC is partially evaluated into eval_ApplyBndRobin_bb7_in/6 2.43/2.49 2. SCC is partially evaluated into eval_ApplyBndRobin_bb2_in/6 2.43/2.49 3. SCC is partially evaluated into eval_ApplyBndRobin_bb1_in/7 2.43/2.49 4. SCC is completely evaluated into other SCCs 2.43/2.49 5. SCC is completely evaluated into other SCCs 2.43/2.49 6. SCC is completely evaluated into other SCCs 2.43/2.49 7. SCC is partially evaluated into eval_ApplyBndRobin_bb0_in/6 2.43/2.49 8. SCC is partially evaluated into eval_ApplyBndRobin_start/6 2.43/2.49 2.43/2.49 Control-Flow Refinement of Cost Relations 2.43/2.49 ===================================== 2.43/2.49 2.43/2.49 ### Specialization of cost equations eval_ApplyBndRobin_bb12_in/4 2.43/2.49 * CE 21 is refined into CE [22] 2.43/2.49 * CE 20 is refined into CE [23] 2.43/2.49 2.43/2.49 2.43/2.49 ### Cost equations --> "Loop" of eval_ApplyBndRobin_bb12_in/4 2.43/2.49 * CEs [23] --> Loop 18 2.43/2.49 * CEs [22] --> Loop 19 2.43/2.49 2.43/2.49 ### Ranking functions of CR eval_ApplyBndRobin_bb12_in(V_GH_cctk_lsh_0,V_i_0,B,C) 2.43/2.49 * RF of phase [18]: [V_GH_cctk_lsh_0-V_i_0-1] 2.43/2.49 2.43/2.49 #### Partial ranking functions of CR eval_ApplyBndRobin_bb12_in(V_GH_cctk_lsh_0,V_i_0,B,C) 2.43/2.49 * Partial RF of phase [18]: 2.43/2.49 - RF of loop [18:1]: 2.43/2.49 V_GH_cctk_lsh_0-V_i_0-1 2.43/2.49 2.43/2.49 2.43/2.49 ### Specialization of cost equations eval_ApplyBndRobin_bb7_in/6 2.43/2.49 * CE 19 is refined into CE [24] 2.43/2.49 * CE 17 is refined into CE [25,26] 2.43/2.49 * CE 18 is discarded (unfeasible) 2.43/2.49 * CE 16 is refined into CE [27,28] 2.43/2.49 * CE 14 is refined into CE [29] 2.43/2.49 * CE 15 is discarded (unfeasible) 2.43/2.49 * CE 13 is refined into CE [30] 2.43/2.49 2.43/2.49 2.43/2.49 ### Cost equations --> "Loop" of eval_ApplyBndRobin_bb7_in/6 2.43/2.49 * CEs [25] --> Loop 20 2.43/2.49 * CEs [26] --> Loop 21 2.43/2.49 * CEs [27] --> Loop 22 2.43/2.49 * CEs [28] --> Loop 23 2.43/2.49 * CEs [29] --> Loop 24 2.43/2.49 * CEs [30] --> Loop 25 2.43/2.49 * CEs [24] --> Loop 26 2.43/2.49 2.43/2.49 ### Ranking functions of CR eval_ApplyBndRobin_bb7_in(V_GH_cctk_lsh_0,V_GH_cctk_lsh_1,V_dz_1,V_j_0,B,C) 2.43/2.49 * RF of phase [20,21,24]: [V_GH_cctk_lsh_1-V_j_0] 2.43/2.49 2.43/2.49 #### Partial ranking functions of CR eval_ApplyBndRobin_bb7_in(V_GH_cctk_lsh_0,V_GH_cctk_lsh_1,V_dz_1,V_j_0,B,C) 2.43/2.49 * Partial RF of phase [20,21,24]: 2.43/2.49 - RF of loop [20:1,21:1,24:1]: 2.43/2.49 V_GH_cctk_lsh_1-V_j_0 2.43/2.49 2.43/2.49 2.43/2.49 ### Specialization of cost equations eval_ApplyBndRobin_bb2_in/6 2.43/2.49 * CE 12 is refined into CE [31] 2.43/2.49 * CE 7 is refined into CE [32,33,34,35,36,37,38] 2.43/2.49 * CE 10 is refined into CE [39,40,41,42,43] 2.43/2.49 * CE 6 is discarded (unfeasible) 2.43/2.49 * CE 9 is discarded (unfeasible) 2.43/2.49 * CE 5 is refined into CE [44,45,46,47,48] 2.43/2.49 * CE 8 is refined into CE [49,50,51,52,53,54,55] 2.43/2.49 * CE 11 is refined into CE [56,57,58,59,60] 2.43/2.49 2.43/2.49 2.43/2.49 ### Cost equations --> "Loop" of eval_ApplyBndRobin_bb2_in/6 2.43/2.49 * CEs [35] --> Loop 27 2.43/2.49 * CEs [37,42] --> Loop 28 2.43/2.49 * CEs [38,43] --> Loop 29 2.43/2.49 * CEs [36,41] --> Loop 30 2.43/2.49 * CEs [52] --> Loop 31 2.43/2.49 * CEs [47,54,59] --> Loop 32 2.43/2.49 * CEs [48,55,60] --> Loop 33 2.43/2.49 * CEs [46,53,58] --> Loop 34 2.43/2.49 * CEs [32] --> Loop 35 2.43/2.49 * CEs [34,40] --> Loop 36 2.43/2.49 * CEs [33,39] --> Loop 37 2.43/2.49 * CEs [49] --> Loop 38
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