Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
Compl C Integ Progr 85445 pair #381745829
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
n086.star.cs.uiowa.edu
space
Sinn_2016
run statistics
property
value
solver
CoFloCo 2018
configuration
C
runtime (wallclock)
4.39955997467 seconds
cpu usage
4.340973361
max memory
1.9828736E7
stage attributes
key
value
output-size
64265
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. 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] 1. non_recursive : [eval_Perl_scan_vstring_stop/1] 2. non_recursive : [eval_Perl_scan_vstring_bb12_in/1] 3. recursive : [eval_Perl_scan_vstring_bb5_in/4] 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] 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] 6. non_recursive : [eval_Perl_scan_vstring__critedge2_in_loop_cont/2] 7. non_recursive : [eval_Perl_scan_vstring_11/5] 8. non_recursive : [eval_Perl_scan_vstring_10/4] 9. non_recursive : [eval_Perl_scan_vstring_bb4_in/4] 10. non_recursive : [eval_Perl_scan_vstring_9/5] 11. non_recursive : [eval_Perl_scan_vstring_8/4] 12. non_recursive : [eval_Perl_scan_vstring__critedge_in/4] 13. non_recursive : [eval_Perl_scan_vstring_bb1_in_loop_cont/5] 14. non_recursive : [eval_Perl_scan_vstring_1/4] 15. non_recursive : [eval_Perl_scan_vstring_0/3] 16. non_recursive : [eval_Perl_scan_vstring_bb0_in/3] 17. non_recursive : [eval_Perl_scan_vstring_start/3] #### Obtained direct recursion through partial evaluation 0. SCC is partially evaluated into eval_Perl_scan_vstring_bb1_in/4 1. SCC is completely evaluated into other SCCs 2. SCC is completely evaluated into other SCCs 3. SCC is partially evaluated into eval_Perl_scan_vstring_bb5_in/4 4. SCC is partially evaluated into eval_Perl_scan_vstring_bb9_in/8 5. SCC is partially evaluated into eval_Perl_scan_vstring__critedge2_in/4 6. SCC is completely evaluated into other SCCs 7. SCC is partially evaluated into eval_Perl_scan_vstring_11/5 8. SCC is completely evaluated into other SCCs 9. SCC is completely evaluated into other SCCs 10. SCC is partially evaluated into eval_Perl_scan_vstring_9/5 11. SCC is completely evaluated into other SCCs 12. SCC is completely evaluated into other SCCs 13. SCC is completely evaluated into other SCCs 14. SCC is partially evaluated into eval_Perl_scan_vstring_1/4 15. SCC is completely evaluated into other SCCs 16. SCC is completely evaluated into other SCCs 17. SCC is partially evaluated into eval_Perl_scan_vstring_start/3 Control-Flow Refinement of Cost Relations ===================================== ### Specialization of cost equations eval_Perl_scan_vstring_bb1_in/4 * CE 5 is refined into CE [23] * CE 7 is refined into CE [24] * CE 6 is refined into CE [25] ### Cost equations --> "Loop" of eval_Perl_scan_vstring_bb1_in/4 * CEs [25] --> Loop 22 * CEs [23] --> Loop 23 * CEs [24] --> Loop 24 ### Ranking functions of CR eval_Perl_scan_vstring_bb1_in(V_PL_bufend,V_pos_1,B,C) * RF of phase [22]: [V_PL_bufend-V_pos_1] #### Partial ranking functions of CR eval_Perl_scan_vstring_bb1_in(V_PL_bufend,V_pos_1,B,C) * Partial RF of phase [22]: - RF of loop [22:1]: V_PL_bufend-V_pos_1 ### Specialization of cost equations eval_Perl_scan_vstring_bb5_in/4 * CE 19 is refined into CE [26] * CE 18 is refined into CE [27] ### Cost equations --> "Loop" of eval_Perl_scan_vstring_bb5_in/4 * CEs [27] --> Loop 25 * CEs [26] --> Loop 26 ### Ranking functions of CR eval_Perl_scan_vstring_bb5_in(V__1,V_end_0,B,C) * RF of phase [25]: [-V__1+V_end_0] #### Partial ranking functions of CR eval_Perl_scan_vstring_bb5_in(V__1,V_end_0,B,C) * Partial RF of phase [25]: - RF of loop [25:1]: -V__1+V_end_0 ### Specialization of cost equations eval_Perl_scan_vstring_bb9_in/8 * CE 20 is refined into CE [28] * CE 22 is refined into CE [29] * CE 21 is refined into CE [30] ### Cost equations --> "Loop" of eval_Perl_scan_vstring_bb9_in/8 * CEs [30] --> Loop 27
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to Compl C Integ Progr 85445