Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
Compl C Integ Progr 85445 pair #381745672
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
n029.star.cs.uiowa.edu
space
Sinn_2016
run statistics
property
value
solver
CoFloCo 2018
configuration
C
runtime (wallclock)
142.664381027 seconds
cpu usage
142.595414794
max memory
1.17108736E8
stage attributes
key
value
output-size
362556
starexec-result
MAYBE
output
/export/starexec/sandbox2/solver/bin/starexec_run_C /export/starexec/sandbox2/benchmark/theBenchmark.c /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- MAYBE Preprocessing Cost Relations ===================================== #### Computed strongly connected components 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] 1. non_recursive : [eval_bin_search_StepSize2_stop/1] 2. non_recursive : [eval_bin_search_StepSize2_bb12_in/1] 3. non_recursive : [eval_bin_search_StepSize2_bb1_in_loop_cont/2] 4. non_recursive : [eval_bin_search_StepSize2_bb0_in/4] 5. non_recursive : [eval_bin_search_StepSize2_start/4] #### Obtained direct recursion through partial evaluation 0. SCC is partially evaluated into eval_bin_search_StepSize2_bb1_in/6 1. SCC is completely evaluated into other SCCs 2. SCC is completely evaluated into other SCCs 3. SCC is completely evaluated into other SCCs 4. SCC is partially evaluated into eval_bin_search_StepSize2_bb0_in/4 5. SCC is partially evaluated into eval_bin_search_StepSize2_start/4 Control-Flow Refinement of Cost Relations ===================================== ### Specialization of cost equations eval_bin_search_StepSize2_bb1_in/6 * CE 34 is refined into CE [56] * CE 8 is refined into CE [57] * CE 36 is discarded (unfeasible) * CE 10 is discarded (unfeasible) * CE 30 is refined into CE [58] * CE 4 is refined into CE [59] * CE 32 is discarded (unfeasible) * CE 6 is discarded (unfeasible) * CE 45 is discarded (unfeasible) * CE 19 is refined into CE [60] * CE 15 is refined into CE [61] * CE 20 is refined into CE [62] * CE 46 is refined into CE [63] * CE 53 is discarded (unfeasible) * CE 27 is discarded (unfeasible) * CE 28 is refined into CE [64] * CE 54 is refined into CE [65] * CE 21 is refined into CE [66] * CE 41 is refined into CE [67] * CE 48 is refined into CE [68] * CE 22 is refined into CE [69] * CE 55 is refined into CE [70] * CE 12 is refined into CE [71] * CE 38 is refined into CE [72] * CE 40 is discarded (unfeasible) * CE 14 is discarded (unfeasible) * CE 47 is refined into CE [73] * CE 7 is refined into CE [74] * CE 9 is discarded (unfeasible) * CE 3 is refined into CE [75] * CE 5 is discarded (unfeasible) * CE 33 is refined into CE [76] * CE 35 is discarded (unfeasible) * CE 29 is refined into CE [77] * CE 31 is discarded (unfeasible) * CE 17 is refined into CE [78] * CE 18 is refined into CE [79] * CE 25 is refined into CE [80] * CE 26 is refined into CE [81] * CE 43 is discarded (unfeasible) * CE 44 is refined into CE [82] * CE 51 is discarded (unfeasible) * CE 52 is refined into CE [83] * CE 42 is refined into CE [84] * CE 50 is refined into CE [85] * CE 16 is refined into CE [86] * CE 24 is refined into CE [87] * CE 11 is refined into CE [88] * CE 13 is discarded (unfeasible) * CE 37 is refined into CE [89] * CE 39 is discarded (unfeasible) * CE 49 is refined into CE [90] * CE 23 is refined into CE [91] ### Cost equations --> "Loop" of eval_bin_search_StepSize2_bb1_in/6 * CEs [74] --> Loop 56 * CEs [75] --> Loop 57 * CEs [76] --> Loop 58 * CEs [77] --> Loop 59 * CEs [82] --> Loop 60 * CEs [83] --> Loop 61 * CEs [78] --> Loop 62 * CEs [80] --> Loop 63 * CEs [84] --> Loop 64 * CEs [85] --> Loop 65 * CEs [86] --> Loop 66 * CEs [87] --> Loop 67 * CEs [79] --> Loop 68
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to Compl C Integ Progr 85445