details

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

run statistics

property	value
solver	CoFloCo 2018
configuration	its
runtime (wallclock)	38.7414 seconds
cpu usage	38.7004
user time	38.6113
system time	0.089047
max virtual memory	356676.0
max residence set size	53624.0

stage attributes

key	value
starexec-result	MAYBE

output

38.64/38.62 MAYBE 38.64/38.62 38.64/38.62 Preprocessing Cost Relations 38.64/38.62 ===================================== 38.64/38.62 38.64/38.62 #### Computed strongly connected components 38.64/38.62 0. recursive : [evalfbb1in/3,evalfbb2in/3,evalfbb3in/3] 38.64/38.62 1. recursive : [evalfbb5in/7,evalfbb6in/7,evalfbb7in/7] 38.64/38.62 2. recursive : [evalfbb2in_loop_cont/13,evalfbb4in/12,evalfbb6in_loop_cont/13,evalfbb8in/12] 38.64/38.62 3. non_recursive : [evalfstop/7] 38.64/38.62 4. non_recursive : [evalfreturnin/7] 38.64/38.62 5. non_recursive : [exit_location/1] 38.64/38.62 6. non_recursive : [evalfbb8in_loop_cont/8] 38.64/38.62 7. non_recursive : [evalfentryin/7] 38.64/38.62 8. non_recursive : [evalfstart/7] 38.64/38.62 38.64/38.62 #### Obtained direct recursion through partial evaluation 38.64/38.62 0. SCC is partially evaluated into evalfbb2in/3 38.64/38.62 1. SCC is partially evaluated into evalfbb6in/7 38.64/38.62 2. SCC is partially evaluated into evalfbb8in/12 38.64/38.62 3. SCC is completely evaluated into other SCCs 38.64/38.62 4. SCC is completely evaluated into other SCCs 38.64/38.62 5. SCC is completely evaluated into other SCCs 38.64/38.62 6. SCC is partially evaluated into evalfbb8in_loop_cont/8 38.64/38.62 7. SCC is partially evaluated into evalfentryin/7 38.64/38.62 8. SCC is partially evaluated into evalfstart/7 38.64/38.62 38.64/38.62 Control-Flow Refinement of Cost Relations 38.64/38.62 ===================================== 38.64/38.62 38.64/38.62 ### Specialization of cost equations evalfbb2in/3 38.64/38.62 * CE 13 is refined into CE [18] 38.64/38.62 * CE 10 is refined into CE [19] 38.64/38.62 * CE 12 is refined into CE [20] 38.64/38.62 * CE 11 is refined into CE [21] 38.64/38.62 38.64/38.62 38.64/38.62 ### Cost equations --> "Loop" of evalfbb2in/3 38.64/38.62 * CEs [21] --> Loop 17 38.64/38.62 * CEs [18] --> Loop 18 38.64/38.62 * CEs [19] --> Loop 19 38.64/38.62 * CEs [20] --> Loop 20 38.64/38.62 38.64/38.62 ### Ranking functions of CR evalfbb2in(C,H,I) 38.64/38.62 * RF of phase [17]: [C+1] 38.64/38.62 38.64/38.62 #### Partial ranking functions of CR evalfbb2in(C,H,I) 38.64/38.62 * Partial RF of phase [17]: 38.64/38.62 - RF of loop [17:1]: 38.64/38.62 C+1 38.64/38.62 38.64/38.62 38.64/38.62 ### Specialization of cost equations evalfbb6in/7 38.64/38.62 * CE 16 is refined into CE [22] 38.64/38.62 * CE 14 is refined into CE [23] 38.64/38.62 * CE 17 is refined into CE [24] 38.64/38.62 * CE 15 is refined into CE [25] 38.64/38.62 38.64/38.62 38.64/38.62 ### Cost equations --> "Loop" of evalfbb6in/7 38.64/38.62 * CEs [25] --> Loop 21 38.64/38.62 * CEs [22] --> Loop 22 38.64/38.62 * CEs [23] --> Loop 23 38.64/38.62 * CEs [24] --> Loop 24 38.64/38.62 38.64/38.62 ### Ranking functions of CR evalfbb6in(A,B,E,F,H,I,J) 38.64/38.62 * RF of phase [21]: [-E+F+1] 38.64/38.62 38.64/38.62 #### Partial ranking functions of CR evalfbb6in(A,B,E,F,H,I,J) 38.64/38.62 * Partial RF of phase [21]: 38.64/38.62 - RF of loop [21:1]: 38.64/38.62 -E+F+1 38.64/38.62 38.64/38.62 38.64/38.62 ### Specialization of cost equations evalfbb8in/12 38.64/38.62 * CE 6 is refined into CE [26] 38.64/38.62 * CE 3 is refined into CE [27,28] 38.64/38.62 * CE 5 is refined into CE [29,30,31,32,33,34,35,36] 38.64/38.62 * CE 7 is refined into CE [37] 38.64/38.62 * CE 4 is refined into CE [38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53] 38.64/38.62 38.64/38.62 38.64/38.62 ### Cost equations --> "Loop" of evalfbb8in/12 38.64/38.62 * CEs [53] --> Loop 25 38.64/38.62 * CEs [50] --> Loop 26 38.64/38.62 * CEs [51] --> Loop 27 38.64/38.62 * CEs [49] --> Loop 28 38.64/38.62 * CEs [45] --> Loop 29 38.64/38.62 * CEs [47] --> Loop 30 38.64/38.62 * CEs [46] --> Loop 31 38.64/38.62 * CEs [43] --> Loop 32 38.64/38.62 * CEs [42] --> Loop 33 38.64/38.62 * CEs [52] --> Loop 34 38.64/38.62 * CEs [48] --> Loop 35 38.64/38.62 * CEs [44] --> Loop 36 38.64/38.62 * CEs [41] --> Loop 37 38.64/38.62 * CEs [40] --> Loop 38 38.64/38.62 * CEs [38] --> Loop 39 38.64/38.62 * CEs [39] --> Loop 40 38.64/38.62 * CEs [26] --> Loop 41 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