details

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

run statistics

property	value
solver	CoFloCo 2018
configuration	its
runtime (wallclock)	37.4994 seconds
cpu usage	37.4206
user time	37.3203
system time	0.100339
max virtual memory	370824.0
max residence set size	67764.0

stage attributes

key	value
starexec-result	MAYBE

output

37.29/37.38 MAYBE 37.29/37.38 37.29/37.38 Preprocessing Cost Relations 37.29/37.38 ===================================== 37.29/37.38 37.29/37.38 #### Computed strongly connected components 37.29/37.38 0. recursive : [f304/35] 37.29/37.38 1. non_recursive : [exit_location/1] 37.29/37.38 2. recursive : [f430/35] 37.29/37.38 3. recursive : [f468/55,f475/55] 37.29/37.38 4. recursive : [f596/3] 37.29/37.38 5. non_recursive : [f596_loop_cont/2] 37.29/37.38 6. non_recursive : [f666666/163] 37.29/37.38 7. non_recursive : [f588/163] 37.29/37.38 8. non_recursive : [f468_loop_cont/164] 37.29/37.38 9. recursive : [f514/56] 37.29/37.38 10. recursive : [f571/35] 37.29/37.38 11. non_recursive : [f571_loop_cont/164] 37.29/37.38 12. non_recursive : [f562/163] 37.29/37.38 13. non_recursive : [f555/163] 37.29/37.38 14. non_recursive : [f547/163] 37.29/37.38 15. non_recursive : [f514_loop_cont/164] 37.29/37.38 16. non_recursive : [f460/163] 37.29/37.38 17. non_recursive : [f447/163] 37.29/37.38 18. non_recursive : [f430_loop_cont/164] 37.29/37.38 19. non_recursive : [f421/163] 37.29/37.38 20. non_recursive : [f414/163] 37.29/37.38 21. non_recursive : [f406/163] 37.29/37.38 22. non_recursive : [f399/163] 37.29/37.38 23. non_recursive : [f304_loop_cont/164] 37.29/37.38 24. recursive : [f155/79,f35/79,f42/79] 37.29/37.38 25. non_recursive : [f35_loop_cont/164] 37.29/37.38 26. non_recursive : [f14/163] 37.29/37.38 27. non_recursive : [f3/163] 37.29/37.38 37.29/37.38 #### Obtained direct recursion through partial evaluation 37.29/37.38 0. SCC is partially evaluated into f304/35 37.29/37.38 1. SCC is completely evaluated into other SCCs 37.29/37.38 2. SCC is partially evaluated into f430/35 37.29/37.38 3. SCC is partially evaluated into f468/55 37.29/37.38 4. SCC is partially evaluated into f596/3 37.29/37.38 5. SCC is completely evaluated into other SCCs 37.29/37.38 6. SCC is completely evaluated into other SCCs 37.29/37.38 7. SCC is partially evaluated into f588/163 37.29/37.38 8. SCC is partially evaluated into f468_loop_cont/164 37.29/37.38 9. SCC is partially evaluated into f514/56 37.29/37.38 10. SCC is partially evaluated into f571/35 37.29/37.38 11. SCC is partially evaluated into f571_loop_cont/164 37.29/37.38 12. SCC is partially evaluated into f562/163 37.29/37.38 13. SCC is partially evaluated into f555/163 37.29/37.38 14. SCC is partially evaluated into f547/163 37.29/37.38 15. SCC is partially evaluated into f514_loop_cont/164 37.29/37.38 16. SCC is partially evaluated into f460/163 37.29/37.38 17. SCC is partially evaluated into f447/163 37.29/37.38 18. SCC is partially evaluated into f430_loop_cont/164 37.29/37.38 19. SCC is partially evaluated into f421/163 37.29/37.38 20. SCC is partially evaluated into f414/163 37.29/37.38 21. SCC is partially evaluated into f406/163 37.29/37.38 22. SCC is partially evaluated into f399/163 37.29/37.38 23. SCC is partially evaluated into f304_loop_cont/164 37.29/37.38 24. SCC is partially evaluated into f35/79 37.29/37.38 25. SCC is partially evaluated into f35_loop_cont/164 37.29/37.38 26. SCC is partially evaluated into f14/163 37.29/37.38 27. SCC is partially evaluated into f3/163 37.29/37.38 37.29/37.38 Control-Flow Refinement of Cost Relations 37.29/37.38 ===================================== 37.29/37.38 37.29/37.38 ### Specialization of cost equations f304/35 37.29/37.38 * CE 6 is refined into CE [65] 37.29/37.38 * CE 5 is refined into CE [66] 37.29/37.38 * CE 4 is refined into CE [67] 37.29/37.38 37.29/37.38 37.29/37.38 ### Cost equations --> "Loop" of f304/35 37.29/37.38 * CEs [67] --> Loop 65 37.29/37.38 * CEs [65] --> Loop 66 37.29/37.38 * CEs [66] --> Loop 67 37.29/37.38 37.29/37.38 ### Ranking functions of CR f304(A,H,I,B2,C2,D2,E2,F2,G2,H2,I2,P4,Q4,R4,S4,T4,U4,V4,W4,Y4,J5,T5,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6) 37.29/37.38 37.29/37.38 #### Partial ranking functions of CR f304(A,H,I,B2,C2,D2,E2,F2,G2,H2,I2,P4,Q4,R4,S4,T4,U4,V4,W4,Y4,J5,T5,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6) 37.29/37.38 37.29/37.38 37.29/37.38 ### Specialization of cost equations f430/35 37.29/37.38 * CE 43 is refined into CE [68] 37.29/37.38 * CE 46 is refined into CE [69] 37.29/37.38 * CE 44 is refined into CE [70] 37.29/37.38 * CE 45 is refined into CE [71] 37.29/37.38 37.29/37.38 37.29/37.38 ### Cost equations --> "Loop" of f430/35 37.29/37.38 * CEs [70] --> Loop 68 37.29/37.38 * CEs [71] --> Loop 69 37.29/37.38 * CEs [68] --> Loop 70 37.29/37.38 * CEs [69] --> Loop 71 37.29/37.38 37.29/37.38 ### Ranking functions of CR f430(L,P4,Q4,R4,S4,T4,U4,V4,W4,X4,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7) 37.29/37.38 37.29/37.38 #### Partial ranking functions of CR f430(L,P4,Q4,R4,S4,T4,U4,V4,W4,X4,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7) 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