details

property	value
status	complete
benchmark	s3-work.koat
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
execution host	n030.star.cs.uiowa.edu
space	T2

run statistics

property	value
solver	CoFloCo 2018
configuration	its
runtime (wallclock)	44.1501 seconds
cpu usage	44.0832
user time	43.9119
system time	0.171358
max virtual memory	383500.0
max residence set size	79528.0

stage attributes

key	value
starexec-result	MAYBE

output

44.01/44.02 MAYBE 44.01/44.02 44.01/44.02 Preprocessing Cost Relations 44.01/44.02 ===================================== 44.01/44.02 44.01/44.02 #### Computed strongly connected components 44.01/44.02 0. recursive : [f1/27] 44.01/44.02 1. non_recursive : [exit_location/1] 44.01/44.02 2. recursive : [f29/44] 44.01/44.02 3. recursive : [f17/29] 44.01/44.02 4. non_recursive : [f27/66] 44.01/44.02 5. non_recursive : [f17_loop_cont/67] 44.01/44.02 6. recursive : [f35/33] 44.01/44.02 7. recursive : [f34/58,f35_loop_cont/59] 44.01/44.02 8. recursive : [f15/31] 44.01/44.02 9. non_recursive : [f15_loop_cont/67] 44.01/44.02 10. non_recursive : [f34_loop_cont/67] 44.01/44.02 11. non_recursive : [f29_loop_cont/67] 44.01/44.02 12. non_recursive : [f1_loop_cont/67] 44.01/44.02 13. recursive : [f32/10] 44.01/44.02 14. non_recursive : [f32_loop_cont/2] 44.01/44.02 15. non_recursive : [f26/66] 44.01/44.02 44.01/44.02 #### Obtained direct recursion through partial evaluation 44.01/44.02 0. SCC is partially evaluated into f1/27 44.01/44.02 1. SCC is completely evaluated into other SCCs 44.01/44.02 2. SCC is partially evaluated into f29/44 44.01/44.02 3. SCC is partially evaluated into f17/29 44.01/44.02 4. SCC is completely evaluated into other SCCs 44.01/44.02 5. SCC is partially evaluated into f17_loop_cont/67 44.01/44.02 6. SCC is partially evaluated into f35/33 44.01/44.02 7. SCC is partially evaluated into f34/58 44.01/44.02 8. SCC is partially evaluated into f15/31 44.01/44.02 9. SCC is partially evaluated into f15_loop_cont/67 44.01/44.02 10. SCC is partially evaluated into f34_loop_cont/67 44.01/44.02 11. SCC is partially evaluated into f29_loop_cont/67 44.01/44.02 12. SCC is partially evaluated into f1_loop_cont/67 44.01/44.02 13. SCC is partially evaluated into f32/10 44.01/44.02 14. SCC is completely evaluated into other SCCs 44.01/44.02 15. SCC is partially evaluated into f26/66 44.01/44.02 44.01/44.02 Control-Flow Refinement of Cost Relations 44.01/44.02 ===================================== 44.01/44.02 44.01/44.02 ### Specialization of cost equations f1/27 44.01/44.02 * CE 5 is refined into CE [94] 44.01/44.02 * CE 6 is refined into CE [95] 44.01/44.02 * CE 4 is refined into CE [96] 44.01/44.02 44.01/44.02 44.01/44.02 ### Cost equations --> "Loop" of f1/27 44.01/44.02 * CEs [96] --> Loop 80 44.01/44.02 * CEs [94] --> Loop 81 44.01/44.02 * CEs [95] --> Loop 82 44.01/44.02 44.01/44.02 ### Ranking functions of CR f1(A,C,E,F,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) 44.01/44.02 * RF of phase [80]: [-A+E,-A+Q1] 44.01/44.02 44.01/44.02 #### Partial ranking functions of CR f1(A,C,E,F,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) 44.01/44.02 * Partial RF of phase [80]: 44.01/44.02 - RF of loop [80:1]: 44.01/44.02 -A+E 44.01/44.02 -A+Q1 44.01/44.02 44.01/44.02 44.01/44.02 ### Specialization of cost equations f29/44 44.01/44.02 * CE 19 is refined into CE [97] 44.01/44.02 * CE 21 is refined into CE [98] 44.01/44.02 * CE 18 is refined into CE [99] 44.01/44.02 * CE 20 is refined into CE [100] 44.01/44.02 * CE 22 is refined into CE [101] 44.01/44.02 * CE 15 is refined into CE [102] 44.01/44.02 * CE 14 is refined into CE [103] 44.01/44.02 * CE 13 is refined into CE [104] 44.01/44.02 * CE 12 is refined into CE [105] 44.01/44.02 * CE 17 is refined into CE [106] 44.01/44.02 * CE 16 is refined into CE [107] 44.01/44.02 44.01/44.02 44.01/44.02 ### Cost equations --> "Loop" of f29/44 44.01/44.02 * CEs [106] --> Loop 83 44.01/44.02 * CEs [107] --> Loop 84 44.01/44.02 * CEs [97] --> Loop 85 44.01/44.02 * CEs [98] --> Loop 86 44.01/44.02 * CEs [99] --> Loop 87 44.01/44.02 * CEs [100] --> Loop 88 44.01/44.02 * CEs [101] --> Loop 89 44.01/44.02 * CEs [102] --> Loop 90 44.01/44.02 * CEs [103] --> Loop 91 44.01/44.02 * CEs [104] --> Loop 92 44.01/44.02 * CEs [105] --> Loop 93 44.01/44.02 44.01/44.02 ### Ranking functions of CR f29(A,B,C,D,E,F,G,H,J,K,L,M,N,O,Z1,A2,B2,C2,D2,E2,I2,L2,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4) 44.01/44.02 * RF of phase [83,84]: [B] 44.01/44.02 44.01/44.02 #### Partial ranking functions of CR f29(A,B,C,D,E,F,G,H,J,K,L,M,N,O,Z1,A2,B2,C2,D2,E2,I2,L2,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4) 44.01/44.02 * Partial RF of phase [83,84]: 44.01/44.02 - RF of loop [83:1,84:1]: 44.01/44.02 B 44.01/44.02 popout

output may be truncated. 'popout' for the full output.

job log

popout

actions

all output return to Complexity_ITS 2019-03-21 04.46