Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
Complexity_C_Integer 2019-03-21 04.38 pair #429989731
details
property
value
status
complete
benchmark
sipmamergesort2.c
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n003.star.cs.uiowa.edu
space
WTC_V2
run statistics
property
value
solver
CoFloCo 2018
configuration
C
runtime (wallclock)
18.8758 seconds
cpu usage
18.8246
user time
18.7558
system time
0.06879
max virtual memory
340168.0
max residence set size
37140.0
stage attributes
key
value
starexec-result
WORST_CASE(?,O(n^2))
output
18.72/18.71 WORST_CASE(?,O(n^2)) 18.72/18.71 18.72/18.71 Preprocessing Cost Relations 18.72/18.71 ===================================== 18.72/18.71 18.72/18.71 #### Computed strongly connected components 18.72/18.71 0. recursive : [eval_sipmamergesort2_8/6,eval_sipmamergesort2_9/7,eval_sipmamergesort2_bb3_in/6,eval_sipmamergesort2_bb4_in/6,eval_sipmamergesort2_bb5_in/7,eval_sipmamergesort2_bb6_in/7] 18.72/18.71 1. recursive : [eval_sipmamergesort2_bb7_in/3,eval_sipmamergesort2_bb8_in/3] 18.72/18.71 2. recursive : [eval_sipmamergesort2_bb10_in/3,eval_sipmamergesort2_bb9_in/3] 18.72/18.71 3. recursive : [eval_sipmamergesort2_bb11_in/14,eval_sipmamergesort2_bb2_in/9,eval_sipmamergesort2_bb3_in_loop_cont/14,eval_sipmamergesort2_bb7_in_loop_cont/15,eval_sipmamergesort2_bb9_in_loop_cont/15] 18.72/18.71 4. recursive : [eval_sipmamergesort2_37/6,eval_sipmamergesort2_38/7,eval_sipmamergesort2_bb15_in/6,eval_sipmamergesort2_bb16_in/6,eval_sipmamergesort2_bb17_in/7,eval_sipmamergesort2_bb18_in/7] 18.72/18.71 5. recursive : [eval_sipmamergesort2_bb19_in/3,eval_sipmamergesort2_bb20_in/3] 18.72/18.71 6. recursive : [eval_sipmamergesort2_bb21_in/3,eval_sipmamergesort2_bb22_in/3] 18.72/18.71 7. recursive : [eval_sipmamergesort2_bb14_in/9,eval_sipmamergesort2_bb15_in_loop_cont/14,eval_sipmamergesort2_bb19_in_loop_cont/15,eval_sipmamergesort2_bb21_in_loop_cont/15,eval_sipmamergesort2_bb23_in/14] 18.72/18.71 8. recursive : [eval_sipmamergesort2_bb12_in/10,eval_sipmamergesort2_bb13_in/11,eval_sipmamergesort2_bb14_in_loop_cont/18,eval_sipmamergesort2_bb1_in/4,eval_sipmamergesort2_bb24_in/17,eval_sipmamergesort2_bb2_in_loop_cont/11] 18.72/18.71 9. recursive : [eval_sipmamergesort2_bb26_in/3,eval_sipmamergesort2_bb27_in/3] 18.72/18.71 10. non_recursive : [eval_sipmamergesort2_stop/1] 18.72/18.71 11. non_recursive : [eval_sipmamergesort2_bb28_in/1] 18.72/18.71 12. non_recursive : [eval_sipmamergesort2_bb26_in_loop_cont/2] 18.72/18.71 13. non_recursive : [eval_sipmamergesort2_bb25_in/3] 18.72/18.71 14. non_recursive : [eval_sipmamergesort2_bb1_in_loop_cont/4] 18.72/18.71 15. non_recursive : [eval_sipmamergesort2_bb0_in/2] 18.72/18.71 16. non_recursive : [eval_sipmamergesort2_start/2] 18.72/18.71 18.72/18.71 #### Obtained direct recursion through partial evaluation 18.72/18.71 0. SCC is partially evaluated into eval_sipmamergesort2_bb3_in/6 18.72/18.71 1. SCC is partially evaluated into eval_sipmamergesort2_bb7_in/3 18.72/18.71 2. SCC is partially evaluated into eval_sipmamergesort2_bb9_in/3 18.72/18.71 3. SCC is partially evaluated into eval_sipmamergesort2_bb2_in/9 18.72/18.71 4. SCC is partially evaluated into eval_sipmamergesort2_bb15_in/6 18.72/18.71 5. SCC is partially evaluated into eval_sipmamergesort2_bb19_in/3 18.72/18.71 6. SCC is partially evaluated into eval_sipmamergesort2_bb21_in/3 18.72/18.71 7. SCC is partially evaluated into eval_sipmamergesort2_bb14_in/9 18.72/18.71 8. SCC is partially evaluated into eval_sipmamergesort2_bb1_in/4 18.72/18.71 9. SCC is partially evaluated into eval_sipmamergesort2_bb26_in/3 18.72/18.71 10. SCC is completely evaluated into other SCCs 18.72/18.71 11. SCC is completely evaluated into other SCCs 18.72/18.71 12. SCC is completely evaluated into other SCCs 18.72/18.71 13. SCC is partially evaluated into eval_sipmamergesort2_bb25_in/3 18.72/18.71 14. SCC is completely evaluated into other SCCs 18.72/18.71 15. SCC is partially evaluated into eval_sipmamergesort2_bb0_in/2 18.72/18.71 16. SCC is partially evaluated into eval_sipmamergesort2_start/2 18.72/18.71 18.72/18.71 Control-Flow Refinement of Cost Relations 18.72/18.71 ===================================== 18.72/18.71 18.72/18.71 ### Specialization of cost equations eval_sipmamergesort2_bb3_in/6 18.72/18.71 * CE 25 is refined into CE [39] 18.72/18.71 * CE 26 is refined into CE [40] 18.72/18.71 * CE 24 is refined into CE [41] 18.72/18.71 * CE 23 is refined into CE [42] 18.72/18.71 18.72/18.71 18.72/18.71 ### Cost equations --> "Loop" of eval_sipmamergesort2_bb3_in/6 18.72/18.71 * CEs [41] --> Loop 39 18.72/18.71 * CEs [42] --> Loop 40 18.72/18.71 * CEs [39] --> Loop 41 18.72/18.71 * CEs [40] --> Loop 42 18.72/18.71 18.72/18.71 ### Ranking functions of CR eval_sipmamergesort2_bb3_in(V_r_1,V_q_1,B,C,D,E) 18.72/18.71 * RF of phase [39,40]: [V_r_1+V_q_1-1] 18.72/18.71 18.72/18.71 #### Partial ranking functions of CR eval_sipmamergesort2_bb3_in(V_r_1,V_q_1,B,C,D,E) 18.72/18.71 * Partial RF of phase [39,40]: 18.72/18.71 - RF of loop [39:1]: 18.72/18.71 V_r_1 18.72/18.71 - RF of loop [40:1]: 18.72/18.71 V_q_1 18.72/18.71 18.72/18.71 18.72/18.71 ### Specialization of cost equations eval_sipmamergesort2_bb7_in/3 18.72/18.71 * CE 28 is refined into CE [43] 18.72/18.71 * CE 27 is refined into CE [44] 18.72/18.71 18.72/18.71 18.72/18.71 ### Cost equations --> "Loop" of eval_sipmamergesort2_bb7_in/3 18.72/18.71 * CEs [44] --> Loop 43 18.72/18.71 * CEs [43] --> Loop 44 18.72/18.71 18.72/18.71 ### Ranking functions of CR eval_sipmamergesort2_bb7_in(V_r_3,B,C) 18.72/18.71 * RF of phase [43]: [V_r_3] 18.72/18.71 18.72/18.71 #### Partial ranking functions of CR eval_sipmamergesort2_bb7_in(V_r_3,B,C) 18.72/18.71 * Partial RF of phase [43]: 18.72/18.71 - RF of loop [43:1]: 18.72/18.71 V_r_3 18.72/18.71 18.72/18.71 18.72/18.71 ### Specialization of cost equations eval_sipmamergesort2_bb9_in/3 18.72/18.71 * CE 30 is refined into CE [45] 18.72/18.71 * CE 29 is refined into CE [46] 18.72/18.71 18.72/18.71 18.72/18.71 ### Cost equations --> "Loop" of eval_sipmamergesort2_bb9_in/3 18.72/18.71 * CEs [46] --> Loop 45 18.72/18.71 * CEs [45] --> Loop 46 18.72/18.71 18.72/18.71 ### Ranking functions of CR eval_sipmamergesort2_bb9_in(V_q_3,B,C) 18.72/18.71 * RF of phase [45]: [V_q_3] 18.72/18.71
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