details

property	value
status	complete
benchmark	realheapsort.c
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
execution host	n105.star.cs.uiowa.edu
space	WTC_V2

run statistics

property	value
solver	CoFloCo 2018
configuration	C
runtime (wallclock)	0.80325 seconds
cpu usage	0.741669
user time	0.719508
system time	0.022161
max virtual memory	316116.0
max residence set size	13060.0

stage attributes

key	value
starexec-result	MAYBE

output

0.64/0.69 MAYBE 0.64/0.69 0.64/0.69 Preprocessing Cost Relations 0.64/0.69 ===================================== 0.64/0.69 0.64/0.69 #### Computed strongly connected components 0.64/0.69 0. non_recursive : [eval_realheapsort_stop/1] 0.64/0.69 1. non_recursive : [eval_realheapsort_bb15_in/1] 0.64/0.69 2. recursive : [eval_realheapsort_2/3,eval_realheapsort_3/4,eval_realheapsort_4/5,eval_realheapsort_5/5,eval_realheapsort_6/5,eval_realheapsort_bb2_in/3,eval_realheapsort_bb3_in/3,eval_realheapsort_bb4_in/5] 0.64/0.69 3. recursive : [eval_realheapsort__critedge_in/5,eval_realheapsort_bb1_in/4,eval_realheapsort_bb2_in_loop_cont/6] 0.64/0.69 4. recursive : [eval_realheapsort_26/5,eval_realheapsort_27/6,eval_realheapsort_28/7,eval_realheapsort_35/6,eval_realheapsort_36/7,eval_realheapsort_37/8,eval_realheapsort_38/8,eval_realheapsort_39/8,eval_realheapsort_bb10_in/5,eval_realheapsort_bb11_in/7,eval_realheapsort_bb12_in/6,eval_realheapsort_bb13_in/8,eval_realheapsort_bb7_in/5,eval_realheapsort_bb8_in/5,eval_realheapsort_bb9_in/5] 0.64/0.69 5. recursive : [eval_realheapsort_14/3,eval_realheapsort_15/3,eval_realheapsort_bb14_in/4,eval_realheapsort_bb5_in/3,eval_realheapsort_bb6_in/3,eval_realheapsort_bb7_in_loop_cont/5] 0.64/0.69 6. non_recursive : [eval_realheapsort_bb5_in_loop_cont/2] 0.64/0.69 7. non_recursive : [eval_realheapsort_bb1_in_loop_cont/4] 0.64/0.69 8. non_recursive : [eval_realheapsort_bb0_in/2] 0.64/0.69 9. non_recursive : [eval_realheapsort_start/2] 0.64/0.69 0.64/0.69 #### Obtained direct recursion through partial evaluation 0.64/0.69 0. SCC is completely evaluated into other SCCs 0.64/0.69 1. SCC is completely evaluated into other SCCs 0.64/0.69 2. SCC is partially evaluated into eval_realheapsort_bb2_in/3 0.64/0.69 3. SCC is partially evaluated into eval_realheapsort_bb1_in/4 0.64/0.69 4. SCC is partially evaluated into eval_realheapsort_bb7_in/5 0.64/0.69 5. SCC is partially evaluated into eval_realheapsort_bb5_in/3 0.64/0.69 6. SCC is completely evaluated into other SCCs 0.64/0.69 7. SCC is partially evaluated into eval_realheapsort_bb1_in_loop_cont/4 0.64/0.69 8. SCC is partially evaluated into eval_realheapsort_bb0_in/2 0.64/0.69 9. SCC is partially evaluated into eval_realheapsort_start/2 0.64/0.69 0.64/0.69 Control-Flow Refinement of Cost Relations 0.64/0.69 ===================================== 0.64/0.69 0.64/0.69 ### Specialization of cost equations eval_realheapsort_bb2_in/3 0.64/0.69 * CE 8 is refined into CE [18] 0.64/0.69 * CE 9 is refined into CE [19] 0.64/0.69 * CE 7 is refined into CE [20] 0.64/0.69 0.64/0.69 0.64/0.69 ### Cost equations --> "Loop" of eval_realheapsort_bb2_in/3 0.64/0.69 * CEs [20] --> Loop 18 0.64/0.69 * CEs [18] --> Loop 19 0.64/0.69 * CEs [19] --> Loop 20 0.64/0.69 0.64/0.69 ### Ranking functions of CR eval_realheapsort_bb2_in(V_j_0,B,C) 0.64/0.69 * RF of phase [18]: [V_j_0] 0.64/0.69 0.64/0.69 #### Partial ranking functions of CR eval_realheapsort_bb2_in(V_j_0,B,C) 0.64/0.69 * Partial RF of phase [18]: 0.64/0.69 - RF of loop [18:1]: 0.64/0.69 V_j_0 0.64/0.69 0.64/0.70 0.64/0.70 ### Specialization of cost equations eval_realheapsort_bb1_in/4 0.64/0.70 * CE 5 is refined into CE [21] 0.64/0.70 * CE 4 is refined into CE [22,23,24] 0.64/0.70 0.64/0.70 0.64/0.70 ### Cost equations --> "Loop" of eval_realheapsort_bb1_in/4 0.64/0.70 * CEs [22,23] --> Loop 21 0.64/0.70 * CEs [24] --> Loop 22 0.64/0.70 * CEs [21] --> Loop 23 0.64/0.70 0.64/0.70 ### Ranking functions of CR eval_realheapsort_bb1_in(V_N,V_k_0,B,C) 0.64/0.70 * RF of phase [21,22]: [V_N-V_k_0] 0.64/0.70 0.64/0.70 #### Partial ranking functions of CR eval_realheapsort_bb1_in(V_N,V_k_0,B,C) 0.64/0.70 * Partial RF of phase [21,22]: 0.64/0.70 - RF of loop [21:1,22:1]: 0.64/0.70 V_N-V_k_0 0.64/0.70 0.64/0.70 0.64/0.70 ### Specialization of cost equations eval_realheapsort_bb7_in/5 0.64/0.70 * CE 17 is refined into CE [25] 0.64/0.70 * CE 15 is refined into CE [26] 0.64/0.70 * CE 12 is refined into CE [27] 0.64/0.70 * CE 13 is refined into CE [28] 0.64/0.70 * CE 14 is refined into CE [29] 0.64/0.70 * CE 16 is refined into CE [30] 0.64/0.70 0.64/0.70 0.64/0.70 ### Cost equations --> "Loop" of eval_realheapsort_bb7_in/5 0.64/0.70 * CEs [26] --> Loop 24 0.64/0.70 * CEs [30] --> Loop 25 0.64/0.70 * CEs [27] --> Loop 26 0.64/0.70 * CEs [28] --> Loop 27 0.64/0.70 * CEs [29] --> Loop 28 0.64/0.70 * CEs [25] --> Loop 29 0.64/0.70 0.64/0.70 ### Ranking functions of CR eval_realheapsort_bb7_in(V_N,V_k_1,V_j_1,B,C) 0.64/0.70 0.64/0.70 #### Partial ranking functions of CR eval_realheapsort_bb7_in(V_N,V_k_1,V_j_1,B,C) 0.64/0.70 * Partial RF of phase [25,26,27,28]: 0.64/0.70 - RF of loop [26:1]: 0.64/0.70 V_N/2-V_k_1/2-V_j_1-3/2 depends on loops [25:1,28:1] 0.64/0.70 - RF of loop [27:1]: 0.64/0.70 V_N/4-V_k_1/4-V_j_1/2-3/4 depends on loops [25:1,28:1] 0.64/0.70 0.64/0.70 0.64/0.70 ### Specialization of cost equations eval_realheapsort_bb5_in/3 0.64/0.70 * CE 11 is refined into CE [31] popout

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

job log

popout

actions

all output return to Complexity_C_Integer 2019-03-21 04.38