Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
Compl C Integ Progr 85445 pair #381745907
details
property
value
status
complete
benchmark
sipmamergesort.c
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n041.star.cs.uiowa.edu
space
WTC_V2
run statistics
property
value
solver
CoFloCo 2018
configuration
C
runtime (wallclock)
3.84119296074 seconds
cpu usage
3.777326741
max memory
1.8219008E7
stage attributes
key
value
output-size
63006
starexec-result
WORST_CASE(?,O(n^2))
output
/export/starexec/sandbox/solver/bin/starexec_run_C /export/starexec/sandbox/benchmark/theBenchmark.c /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- WORST_CASE(?,O(n^2)) Preprocessing Cost Relations ===================================== #### Computed strongly connected components 0. recursive : [eval_sipmamergesort_init_12/6,eval_sipmamergesort_init_13/7,eval_sipmamergesort_init_bb3_in/6,eval_sipmamergesort_init_bb4_in/6,eval_sipmamergesort_init_bb5_in/7,eval_sipmamergesort_init_bb6_in/7] 1. recursive : [eval_sipmamergesort_init_bb7_in/3,eval_sipmamergesort_init_bb8_in/3] 2. recursive : [eval_sipmamergesort_init_bb10_in/3,eval_sipmamergesort_init_bb9_in/3] 3. recursive : [eval_sipmamergesort_init_bb11_in/14,eval_sipmamergesort_init_bb2_in/9,eval_sipmamergesort_init_bb3_in_loop_cont/14,eval_sipmamergesort_init_bb7_in_loop_cont/15,eval_sipmamergesort_init_bb9_in_loop_cont/15] 4. recursive : [eval_sipmamergesort_init_bb12_in/11,eval_sipmamergesort_init_bb1_in/5,eval_sipmamergesort_init_bb2_in_loop_cont/12] 5. recursive : [eval_sipmamergesort_init_bb14_in/3,eval_sipmamergesort_init_bb15_in/3] 6. non_recursive : [eval_sipmamergesort_init_stop/1] 7. non_recursive : [eval_sipmamergesort_init_bb16_in/1] 8. non_recursive : [eval_sipmamergesort_init_bb14_in_loop_cont/2] 9. non_recursive : [eval_sipmamergesort_init_bb13_in/3] 10. non_recursive : [eval_sipmamergesort_init_bb1_in_loop_cont/4] 11. non_recursive : [eval_sipmamergesort_init_bb0_in/2] 12. non_recursive : [eval_sipmamergesort_init_start/2] #### Obtained direct recursion through partial evaluation 0. SCC is partially evaluated into eval_sipmamergesort_init_bb3_in/6 1. SCC is partially evaluated into eval_sipmamergesort_init_bb7_in/3 2. SCC is partially evaluated into eval_sipmamergesort_init_bb9_in/3 3. SCC is partially evaluated into eval_sipmamergesort_init_bb2_in/9 4. SCC is partially evaluated into eval_sipmamergesort_init_bb1_in/5 5. SCC is partially evaluated into eval_sipmamergesort_init_bb14_in/3 6. SCC is completely evaluated into other SCCs 7. SCC is completely evaluated into other SCCs 8. SCC is completely evaluated into other SCCs 9. SCC is partially evaluated into eval_sipmamergesort_init_bb13_in/3 10. SCC is completely evaluated into other SCCs 11. SCC is partially evaluated into eval_sipmamergesort_init_bb0_in/2 12. SCC is partially evaluated into eval_sipmamergesort_init_start/2 Control-Flow Refinement of Cost Relations ===================================== ### Specialization of cost equations eval_sipmamergesort_init_bb3_in/6 * CE 22 is refined into CE [28] * CE 23 is refined into CE [29] * CE 21 is refined into CE [30] * CE 20 is refined into CE [31] ### Cost equations --> "Loop" of eval_sipmamergesort_init_bb3_in/6 * CEs [30] --> Loop 28 * CEs [31] --> Loop 29 * CEs [28] --> Loop 30 * CEs [29] --> Loop 31 ### Ranking functions of CR eval_sipmamergesort_init_bb3_in(V_r_1,V_q_1,B,C,D,E) * RF of phase [28,29]: [V_r_1+V_q_1-1] #### Partial ranking functions of CR eval_sipmamergesort_init_bb3_in(V_r_1,V_q_1,B,C,D,E) * Partial RF of phase [28,29]: - RF of loop [28:1]: V_r_1 - RF of loop [29:1]: V_q_1 ### Specialization of cost equations eval_sipmamergesort_init_bb7_in/3 * CE 25 is refined into CE [32] * CE 24 is refined into CE [33] ### Cost equations --> "Loop" of eval_sipmamergesort_init_bb7_in/3 * CEs [33] --> Loop 32 * CEs [32] --> Loop 33 ### Ranking functions of CR eval_sipmamergesort_init_bb7_in(V_r_3,B,C) * RF of phase [32]: [V_r_3] #### Partial ranking functions of CR eval_sipmamergesort_init_bb7_in(V_r_3,B,C) * Partial RF of phase [32]: - RF of loop [32:1]: V_r_3 ### Specialization of cost equations eval_sipmamergesort_init_bb9_in/3 * CE 27 is refined into CE [34] * CE 26 is refined into CE [35] ### Cost equations --> "Loop" of eval_sipmamergesort_init_bb9_in/3 * CEs [35] --> Loop 34 * CEs [34] --> Loop 35 ### Ranking functions of CR eval_sipmamergesort_init_bb9_in(V_q_3,B,C) * RF of phase [34]: [V_q_3] #### Partial ranking functions of CR eval_sipmamergesort_init_bb9_in(V_q_3,B,C) * Partial RF of phase [34]:
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to Compl C Integ Progr 85445