Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
Complexity_C_Integer 2019-03-21 04.38 pair #429989605
details
property
value
status
complete
benchmark
CPU2006_Perl_scan_vstring.c
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n077.star.cs.uiowa.edu
space
Sinn_2016
run statistics
property
value
solver
CoFloCo 2018
configuration
C
runtime (wallclock)
4.39846 seconds
cpu usage
4.34952
user time
4.29435
system time
0.055172
max virtual memory
325564.0
max residence set size
22428.0
stage attributes
key
value
starexec-result
WORST_CASE(?,O(n^2))
output
4.31/4.28 WORST_CASE(?,O(n^2)) 4.31/4.28 4.31/4.28 Preprocessing Cost Relations 4.31/4.28 ===================================== 4.31/4.28 4.31/4.28 #### Computed strongly connected components 4.31/4.28 0. recursive : [eval_Perl_scan_vstring_4/4,eval_Perl_scan_vstring_5/5,eval_Perl_scan_vstring_bb1_in/4,eval_Perl_scan_vstring_bb2_in/4,eval_Perl_scan_vstring_bb3_in/5] 4.31/4.28 1. non_recursive : [eval_Perl_scan_vstring_stop/1] 4.31/4.28 2. non_recursive : [eval_Perl_scan_vstring_bb12_in/1] 4.31/4.28 3. recursive : [eval_Perl_scan_vstring_bb5_in/4] 4.31/4.28 4. recursive : [eval_Perl_scan_vstring_22/8,eval_Perl_scan_vstring_23/9,eval_Perl_scan_vstring_bb10_in/8,eval_Perl_scan_vstring_bb11_in/9,eval_Perl_scan_vstring_bb9_in/8] 4.31/4.28 5. recursive : [eval_Perl_scan_vstring_18/5,eval_Perl_scan_vstring_19/6,eval_Perl_scan_vstring__critedge2_in/4,eval_Perl_scan_vstring_bb5_in_loop_cont/6,eval_Perl_scan_vstring_bb6_in/5,eval_Perl_scan_vstring_bb7_in/5,eval_Perl_scan_vstring_bb8_in/6,eval_Perl_scan_vstring_bb9_in_loop_cont/5] 4.31/4.28 6. non_recursive : [eval_Perl_scan_vstring__critedge2_in_loop_cont/2] 4.31/4.28 7. non_recursive : [eval_Perl_scan_vstring_11/5] 4.31/4.28 8. non_recursive : [eval_Perl_scan_vstring_10/4] 4.31/4.28 9. non_recursive : [eval_Perl_scan_vstring_bb4_in/4] 4.31/4.28 10. non_recursive : [eval_Perl_scan_vstring_9/5] 4.31/4.28 11. non_recursive : [eval_Perl_scan_vstring_8/4] 4.31/4.28 12. non_recursive : [eval_Perl_scan_vstring__critedge_in/4] 4.31/4.28 13. non_recursive : [eval_Perl_scan_vstring_bb1_in_loop_cont/5] 4.31/4.28 14. non_recursive : [eval_Perl_scan_vstring_1/4] 4.31/4.28 15. non_recursive : [eval_Perl_scan_vstring_0/3] 4.31/4.28 16. non_recursive : [eval_Perl_scan_vstring_bb0_in/3] 4.31/4.28 17. non_recursive : [eval_Perl_scan_vstring_start/3] 4.31/4.28 4.31/4.28 #### Obtained direct recursion through partial evaluation 4.31/4.28 0. SCC is partially evaluated into eval_Perl_scan_vstring_bb1_in/4 4.31/4.28 1. SCC is completely evaluated into other SCCs 4.31/4.28 2. SCC is completely evaluated into other SCCs 4.31/4.28 3. SCC is partially evaluated into eval_Perl_scan_vstring_bb5_in/4 4.31/4.28 4. SCC is partially evaluated into eval_Perl_scan_vstring_bb9_in/8 4.31/4.28 5. SCC is partially evaluated into eval_Perl_scan_vstring__critedge2_in/4 4.31/4.28 6. SCC is completely evaluated into other SCCs 4.31/4.28 7. SCC is partially evaluated into eval_Perl_scan_vstring_11/5 4.31/4.28 8. SCC is completely evaluated into other SCCs 4.31/4.28 9. SCC is completely evaluated into other SCCs 4.31/4.28 10. SCC is partially evaluated into eval_Perl_scan_vstring_9/5 4.31/4.28 11. SCC is completely evaluated into other SCCs 4.31/4.28 12. SCC is completely evaluated into other SCCs 4.31/4.28 13. SCC is completely evaluated into other SCCs 4.31/4.28 14. SCC is partially evaluated into eval_Perl_scan_vstring_1/4 4.31/4.28 15. SCC is completely evaluated into other SCCs 4.31/4.28 16. SCC is completely evaluated into other SCCs 4.31/4.28 17. SCC is partially evaluated into eval_Perl_scan_vstring_start/3 4.31/4.28 4.31/4.28 Control-Flow Refinement of Cost Relations 4.31/4.28 ===================================== 4.31/4.28 4.31/4.28 ### Specialization of cost equations eval_Perl_scan_vstring_bb1_in/4 4.31/4.28 * CE 5 is refined into CE [23] 4.31/4.28 * CE 7 is refined into CE [24] 4.31/4.28 * CE 6 is refined into CE [25] 4.31/4.28 4.31/4.28 4.31/4.28 ### Cost equations --> "Loop" of eval_Perl_scan_vstring_bb1_in/4 4.31/4.28 * CEs [25] --> Loop 22 4.31/4.28 * CEs [23] --> Loop 23 4.31/4.28 * CEs [24] --> Loop 24 4.31/4.28 4.31/4.28 ### Ranking functions of CR eval_Perl_scan_vstring_bb1_in(V_PL_bufend,V_pos_1,B,C) 4.31/4.28 * RF of phase [22]: [V_PL_bufend-V_pos_1] 4.31/4.28 4.31/4.28 #### Partial ranking functions of CR eval_Perl_scan_vstring_bb1_in(V_PL_bufend,V_pos_1,B,C) 4.31/4.28 * Partial RF of phase [22]: 4.31/4.28 - RF of loop [22:1]: 4.31/4.28 V_PL_bufend-V_pos_1 4.31/4.28 4.31/4.28 4.31/4.28 ### Specialization of cost equations eval_Perl_scan_vstring_bb5_in/4 4.31/4.28 * CE 19 is refined into CE [26] 4.31/4.28 * CE 18 is refined into CE [27] 4.31/4.28 4.31/4.28 4.31/4.28 ### Cost equations --> "Loop" of eval_Perl_scan_vstring_bb5_in/4 4.31/4.28 * CEs [27] --> Loop 25 4.31/4.28 * CEs [26] --> Loop 26 4.31/4.28 4.31/4.28 ### Ranking functions of CR eval_Perl_scan_vstring_bb5_in(V__1,V_end_0,B,C) 4.31/4.28 * RF of phase [25]: [-V__1+V_end_0] 4.31/4.28 4.31/4.28 #### Partial ranking functions of CR eval_Perl_scan_vstring_bb5_in(V__1,V_end_0,B,C) 4.31/4.28 * Partial RF of phase [25]: 4.31/4.28 - RF of loop [25:1]: 4.31/4.28 -V__1+V_end_0 4.31/4.28 4.31/4.28 4.31/4.28 ### Specialization of cost equations eval_Perl_scan_vstring_bb9_in/8 4.31/4.28 * CE 20 is refined into CE [28] 4.31/4.28 * CE 22 is refined into CE [29] 4.31/4.28 * CE 21 is refined into CE [30] 4.31/4.28 4.31/4.28 4.31/4.28 ### Cost equations --> "Loop" of eval_Perl_scan_vstring_bb9_in/8 4.31/4.28 * CEs [30] --> Loop 27 4.31/4.28 * CEs [28] --> Loop 28 4.31/4.28 * CEs [29] --> Loop 29 4.31/4.28 4.31/4.28 ### Ranking functions of CR eval_Perl_scan_vstring_bb9_in(V_PL_bufend,V_pos_2,V__1,V_end_0,V_16,V_pos_3,B,C) 4.31/4.28 * RF of phase [27]: [V_PL_bufend-V_pos_3] 4.31/4.28
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