details

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

run statistics

property	value
solver	CoFloCo 2018
configuration	its
runtime (wallclock)	42.5523 seconds
cpu usage	42.4743
user time	42.3427
system time	0.131602
max virtual memory	370964.0
max residence set size	66580.0

stage attributes

key	value
starexec-result	MAYBE

output

42.40/42.43 MAYBE 42.40/42.43 42.40/42.43 Preprocessing Cost Relations 42.40/42.43 ===================================== 42.40/42.43 42.40/42.43 #### Computed strongly connected components 42.40/42.43 0. recursive : [f1/27] 42.40/42.43 1. non_recursive : [exit_location/1] 42.40/42.43 2. recursive : [f29/44] 42.40/42.43 3. recursive : [f17/29] 42.40/42.43 4. non_recursive : [f27/106] 42.40/42.43 5. non_recursive : [f17_loop_cont/107] 42.40/42.43 6. recursive : [f35/45] 42.40/42.43 7. recursive : [f34/209,f35_loop_cont/210] 42.40/42.43 8. recursive : [f13/65] 42.40/42.43 9. non_recursive : [f13_loop_cont/107] 42.40/42.43 10. non_recursive : [f10/106] 42.40/42.43 11. recursive : [f15/31] 42.40/42.43 12. non_recursive : [f15_loop_cont/107] 42.40/42.43 13. non_recursive : [f34_loop_cont/107] 42.40/42.43 14. non_recursive : [f29_loop_cont/107] 42.40/42.43 15. non_recursive : [f1_loop_cont/107] 42.40/42.43 16. recursive : [f32/32] 42.40/42.43 17. non_recursive : [f32_loop_cont/107] 42.40/42.43 18. non_recursive : [f26/106] 42.40/42.43 42.40/42.43 #### Obtained direct recursion through partial evaluation 42.40/42.43 0. SCC is partially evaluated into f1/27 42.40/42.43 1. SCC is completely evaluated into other SCCs 42.40/42.43 2. SCC is partially evaluated into f29/44 42.40/42.43 3. SCC is partially evaluated into f17/29 42.40/42.43 4. SCC is completely evaluated into other SCCs 42.40/42.43 5. SCC is partially evaluated into f17_loop_cont/107 42.40/42.43 6. SCC is partially evaluated into f35/45 42.40/42.43 7. SCC is partially evaluated into f34/209 42.40/42.43 8. SCC is partially evaluated into f13/65 42.40/42.43 9. SCC is partially evaluated into f13_loop_cont/107 42.40/42.43 10. SCC is partially evaluated into f10/106 42.40/42.43 11. SCC is partially evaluated into f15/31 42.40/42.43 12. SCC is partially evaluated into f15_loop_cont/107 42.40/42.43 13. SCC is partially evaluated into f34_loop_cont/107 42.40/42.43 14. SCC is partially evaluated into f29_loop_cont/107 42.40/42.43 15. SCC is partially evaluated into f1_loop_cont/107 42.40/42.43 16. SCC is partially evaluated into f32/32 42.40/42.43 17. SCC is partially evaluated into f32_loop_cont/107 42.40/42.43 18. SCC is partially evaluated into f26/106 42.40/42.43 42.40/42.43 Control-Flow Refinement of Cost Relations 42.40/42.43 ===================================== 42.40/42.43 42.40/42.43 ### Specialization of cost equations f1/27 42.40/42.43 * CE 5 is refined into CE [66] 42.40/42.43 * CE 6 is refined into CE [67] 42.40/42.43 * CE 4 is refined into CE [68] 42.40/42.43 42.40/42.43 42.40/42.43 ### Cost equations --> "Loop" of f1/27 42.40/42.43 * CEs [68] --> Loop 54 42.40/42.43 * CEs [66] --> Loop 55 42.40/42.43 * CEs [67] --> Loop 56 42.40/42.43 42.40/42.43 ### Ranking functions of CR f1(A,D,E,M,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5) 42.40/42.43 * RF of phase [54]: [-A+D,-A+S1] 42.40/42.43 42.40/42.43 #### Partial ranking functions of CR f1(A,D,E,M,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5) 42.40/42.43 * Partial RF of phase [54]: 42.40/42.43 - RF of loop [54:1]: 42.40/42.43 -A+D 42.40/42.43 -A+S1 42.40/42.43 42.40/42.43 42.40/42.43 ### Specialization of cost equations f29/44 42.40/42.43 * CE 17 is refined into CE [69] 42.40/42.43 * CE 18 is refined into CE [70] 42.40/42.43 * CE 15 is refined into CE [71] 42.40/42.43 * CE 16 is refined into CE [72] 42.40/42.43 42.40/42.43 42.40/42.43 ### Cost equations --> "Loop" of f29/44 42.40/42.43 * CEs [72] --> Loop 57 42.40/42.43 * CEs [69] --> Loop 58 42.40/42.43 * CEs [70] --> Loop 59 42.40/42.43 * CEs [71] --> Loop 60 42.40/42.43 42.40/42.43 ### Ranking functions of CR f29(A,B,C,D,E,F,G,I,J,K,L,M,N,O,B2,C2,D2,E2,F2,H2,V3,Y3,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5) 42.40/42.43 * RF of phase [57]: [B] 42.40/42.43 42.40/42.43 #### Partial ranking functions of CR f29(A,B,C,D,E,F,G,I,J,K,L,M,N,O,B2,C2,D2,E2,F2,H2,V3,Y3,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5) 42.40/42.43 * Partial RF of phase [57]: 42.40/42.43 - RF of loop [57:1]: 42.40/42.43 B 42.40/42.43 42.40/42.43 42.40/42.43 ### Specialization of cost equations f17/29 42.40/42.43 * CE 23 is refined into CE [73] 42.40/42.43 * CE 24 is refined into CE [74] 42.40/42.43 * CE 22 is refined into CE [75] 42.40/42.43 42.40/42.43 42.40/42.43 ### Cost equations --> "Loop" of f17/29 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