details

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

run statistics

property	value
solver	CoFloCo 2018
configuration	C
runtime (wallclock)	140.841 seconds
cpu usage	140.774
user time	140.563
system time	0.211827
max virtual memory	435876.0
max residence set size	119296.0

stage attributes

key	value
starexec-result	MAYBE

output

140.60/140.66 MAYBE 140.60/140.66 140.60/140.66 Preprocessing Cost Relations 140.60/140.66 ===================================== 140.60/140.66 140.60/140.66 #### Computed strongly connected components 140.60/140.66 0. recursive : [eval_bin_search_StepSize2_0/6,eval_bin_search_StepSize2_1/7,eval_bin_search_StepSize2_bb10_in/7,eval_bin_search_StepSize2_bb11_in/8,eval_bin_search_StepSize2_bb1_in/6,eval_bin_search_StepSize2_bb2_in/7,eval_bin_search_StepSize2_bb3_in/7,eval_bin_search_StepSize2_bb4_in/7,eval_bin_search_StepSize2_bb5_in/7,eval_bin_search_StepSize2_bb6_in/7,eval_bin_search_StepSize2_bb7_in/8,eval_bin_search_StepSize2_bb8_in/7,eval_bin_search_StepSize2_bb9_in/7] 140.60/140.66 1. non_recursive : [eval_bin_search_StepSize2_stop/1] 140.60/140.66 2. non_recursive : [eval_bin_search_StepSize2_bb12_in/1] 140.60/140.66 3. non_recursive : [eval_bin_search_StepSize2_bb1_in_loop_cont/2] 140.60/140.66 4. non_recursive : [eval_bin_search_StepSize2_bb0_in/4] 140.60/140.66 5. non_recursive : [eval_bin_search_StepSize2_start/4] 140.60/140.66 140.60/140.66 #### Obtained direct recursion through partial evaluation 140.60/140.66 0. SCC is partially evaluated into eval_bin_search_StepSize2_bb1_in/6 140.60/140.66 1. SCC is completely evaluated into other SCCs 140.60/140.66 2. SCC is completely evaluated into other SCCs 140.60/140.66 3. SCC is completely evaluated into other SCCs 140.60/140.66 4. SCC is partially evaluated into eval_bin_search_StepSize2_bb0_in/4 140.60/140.66 5. SCC is partially evaluated into eval_bin_search_StepSize2_start/4 140.60/140.66 140.60/140.66 Control-Flow Refinement of Cost Relations 140.60/140.66 ===================================== 140.60/140.66 140.60/140.66 ### Specialization of cost equations eval_bin_search_StepSize2_bb1_in/6 140.60/140.66 * CE 34 is refined into CE [56] 140.60/140.66 * CE 8 is refined into CE [57] 140.60/140.66 * CE 36 is discarded (unfeasible) 140.60/140.66 * CE 10 is discarded (unfeasible) 140.60/140.66 * CE 30 is refined into CE [58] 140.60/140.66 * CE 4 is refined into CE [59] 140.60/140.66 * CE 32 is discarded (unfeasible) 140.60/140.66 * CE 6 is discarded (unfeasible) 140.60/140.66 * CE 45 is discarded (unfeasible) 140.60/140.66 * CE 19 is refined into CE [60] 140.60/140.66 * CE 15 is refined into CE [61] 140.60/140.66 * CE 20 is refined into CE [62] 140.60/140.66 * CE 46 is refined into CE [63] 140.60/140.66 * CE 53 is discarded (unfeasible) 140.60/140.66 * CE 27 is discarded (unfeasible) 140.60/140.66 * CE 28 is refined into CE [64] 140.60/140.66 * CE 54 is refined into CE [65] 140.60/140.66 * CE 21 is refined into CE [66] 140.60/140.66 * CE 41 is refined into CE [67] 140.60/140.66 * CE 48 is refined into CE [68] 140.60/140.66 * CE 22 is refined into CE [69] 140.60/140.66 * CE 55 is refined into CE [70] 140.60/140.66 * CE 12 is refined into CE [71] 140.60/140.66 * CE 38 is refined into CE [72] 140.60/140.66 * CE 40 is discarded (unfeasible) 140.60/140.66 * CE 14 is discarded (unfeasible) 140.60/140.66 * CE 47 is refined into CE [73] 140.60/140.66 * CE 7 is refined into CE [74] 140.60/140.66 * CE 9 is discarded (unfeasible) 140.60/140.66 * CE 3 is refined into CE [75] 140.60/140.66 * CE 5 is discarded (unfeasible) 140.60/140.66 * CE 33 is refined into CE [76] 140.60/140.66 * CE 35 is discarded (unfeasible) 140.60/140.66 * CE 29 is refined into CE [77] 140.60/140.66 * CE 31 is discarded (unfeasible) 140.60/140.66 * CE 17 is refined into CE [78] 140.60/140.66 * CE 18 is refined into CE [79] 140.60/140.66 * CE 25 is refined into CE [80] 140.60/140.66 * CE 26 is refined into CE [81] 140.60/140.66 * CE 43 is discarded (unfeasible) 140.60/140.66 * CE 44 is refined into CE [82] 140.60/140.66 * CE 51 is discarded (unfeasible) 140.60/140.66 * CE 52 is refined into CE [83] 140.60/140.66 * CE 42 is refined into CE [84] 140.60/140.66 * CE 50 is refined into CE [85] 140.60/140.66 * CE 16 is refined into CE [86] 140.60/140.66 * CE 24 is refined into CE [87] 140.60/140.66 * CE 11 is refined into CE [88] 140.60/140.66 * CE 13 is discarded (unfeasible) 140.60/140.66 * CE 37 is refined into CE [89] 140.60/140.66 * CE 39 is discarded (unfeasible) 140.60/140.66 * CE 49 is refined into CE [90] 140.60/140.66 * CE 23 is refined into CE [91] 140.60/140.66 140.60/140.66 140.60/140.66 ### Cost equations --> "Loop" of eval_bin_search_StepSize2_bb1_in/6 140.60/140.66 * CEs [74] --> Loop 56 140.60/140.66 * CEs [75] --> Loop 57 140.60/140.66 * CEs [76] --> Loop 58 140.60/140.66 * CEs [77] --> Loop 59 140.60/140.66 * CEs [82] --> Loop 60 140.60/140.66 * CEs [83] --> Loop 61 140.60/140.66 * CEs [78] --> Loop 62 140.60/140.66 * CEs [80] --> Loop 63 140.60/140.66 * CEs [84] --> Loop 64 140.60/140.66 * CEs [85] --> Loop 65 140.60/140.66 * CEs [86] --> Loop 66 140.60/140.66 * CEs [87] --> Loop 67 140.60/140.66 * CEs [79] --> Loop 68 140.60/140.66 * CEs [81] --> Loop 69 140.60/140.66 * CEs [88] --> Loop 70 140.60/140.66 * CEs [89] --> Loop 71 140.60/140.66 * CEs [90] --> Loop 72 140.60/140.66 * CEs [91] --> Loop 73 140.60/140.66 * CEs [57] --> Loop 74 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