details

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

run statistics

property	value
solver	CoFloCo 2018
configuration	its
runtime (wallclock)	130.351 seconds
cpu usage	130.289
user time	130.173
system time	0.116339
max virtual memory	358908.0
max residence set size	55564.0

stage attributes

key	value
starexec-result	MAYBE

output

130.22/130.24 MAYBE 130.22/130.24 130.22/130.24 Preprocessing Cost Relations 130.22/130.24 ===================================== 130.22/130.24 130.22/130.24 #### Computed strongly connected components 130.22/130.24 0. recursive : [f44/39,f51/39,f59/39,f64/39,f75/39,f76/39,f78/39,f82/39] 130.22/130.24 1. non_recursive : [exit_location/1] 130.22/130.24 2. recursive : [f91/1] 130.22/130.24 3. non_recursive : [f91_loop_cont/2] 130.22/130.24 4. non_recursive : [f44_loop_cont/33] 130.22/130.24 5. non_recursive : [f39/32] 130.22/130.24 6. non_recursive : [f34/32] 130.22/130.24 7. non_recursive : [f0/32] 130.22/130.24 130.22/130.24 #### Obtained direct recursion through partial evaluation 130.22/130.24 0. SCC is partially evaluated into f44/39 130.22/130.24 1. SCC is completely evaluated into other SCCs 130.22/130.24 2. SCC is partially evaluated into f91/1 130.22/130.24 3. SCC is completely evaluated into other SCCs 130.22/130.24 4. SCC is partially evaluated into f44_loop_cont/33 130.22/130.24 5. SCC is partially evaluated into f39/32 130.22/130.24 6. SCC is partially evaluated into f34/32 130.22/130.24 7. SCC is partially evaluated into f0/32 130.22/130.24 130.22/130.24 Control-Flow Refinement of Cost Relations 130.22/130.24 ===================================== 130.22/130.24 130.22/130.24 ### Specialization of cost equations f44/39 130.22/130.24 * CE 161 is refined into CE [165] 130.22/130.24 * CE 160 is refined into CE [166] 130.22/130.24 * CE 162 is refined into CE [167] 130.22/130.24 * CE 17 is refined into CE [168] 130.22/130.24 * CE 18 is refined into CE [169] 130.22/130.24 * CE 15 is refined into CE [170] 130.22/130.24 * CE 16 is refined into CE [171] 130.22/130.24 * CE 159 is refined into CE [172] 130.22/130.24 * CE 13 is refined into CE [173] 130.22/130.24 * CE 14 is refined into CE [174] 130.22/130.24 * CE 121 is refined into CE [175] 130.22/130.24 * CE 87 is refined into CE [176] 130.22/130.24 * CE 122 is refined into CE [177] 130.22/130.24 * CE 88 is refined into CE [178] 130.22/130.24 * CE 53 is refined into CE [179] 130.22/130.24 * CE 19 is refined into CE [180] 130.22/130.24 * CE 54 is refined into CE [181] 130.22/130.24 * CE 20 is refined into CE [182] 130.22/130.24 * CE 138 is refined into CE [183] 130.22/130.24 * CE 104 is refined into CE [184] 130.22/130.24 * CE 139 is refined into CE [185] 130.22/130.24 * CE 105 is refined into CE [186] 130.22/130.24 * CE 70 is refined into CE [187] 130.22/130.24 * CE 36 is refined into CE [188] 130.22/130.24 * CE 71 is refined into CE [189] 130.22/130.24 * CE 37 is refined into CE [190] 130.22/130.24 * CE 123 is refined into CE [191] 130.22/130.24 * CE 89 is refined into CE [192] 130.22/130.24 * CE 124 is refined into CE [193] 130.22/130.24 * CE 90 is refined into CE [194] 130.22/130.24 * CE 55 is refined into CE [195] 130.22/130.24 * CE 21 is refined into CE [196] 130.22/130.24 * CE 56 is refined into CE [197] 130.22/130.24 * CE 22 is refined into CE [198] 130.22/130.24 * CE 140 is refined into CE [199] 130.22/130.24 * CE 106 is refined into CE [200] 130.22/130.24 * CE 141 is refined into CE [201] 130.22/130.24 * CE 107 is refined into CE [202] 130.22/130.24 * CE 72 is refined into CE [203] 130.22/130.24 * CE 38 is refined into CE [204] 130.22/130.24 * CE 73 is refined into CE [205] 130.22/130.24 * CE 39 is refined into CE [206] 130.22/130.24 * CE 125 is refined into CE [207] 130.22/130.24 * CE 91 is refined into CE [208] 130.22/130.24 * CE 126 is refined into CE [209] 130.22/130.24 * CE 92 is refined into CE [210] 130.22/130.24 * CE 57 is refined into CE [211] 130.22/130.24 * CE 23 is refined into CE [212] 130.22/130.24 * CE 58 is refined into CE [213] 130.22/130.24 * CE 24 is refined into CE [214] 130.22/130.24 * CE 142 is refined into CE [215] 130.22/130.24 * CE 108 is refined into CE [216] 130.22/130.24 * CE 143 is refined into CE [217] 130.22/130.24 * CE 109 is refined into CE [218] 130.22/130.24 * CE 74 is refined into CE [219] 130.22/130.24 * CE 40 is refined into CE [220] 130.22/130.24 * CE 75 is refined into CE [221] 130.22/130.24 * CE 41 is refined into CE [222] 130.22/130.24 * CE 127 is refined into CE [223] 130.22/130.24 * CE 93 is refined into CE [224] 130.22/130.24 * CE 128 is refined into CE [225] 130.22/130.24 * CE 94 is refined into CE [226] 130.22/130.24 * CE 59 is refined into CE [227] 130.22/130.24 * CE 25 is refined into CE [228] 130.22/130.24 * CE 60 is refined into CE [229] 130.22/130.24 * CE 26 is refined into CE [230] 130.22/130.24 * CE 144 is refined into CE [231] 130.22/130.24 * CE 110 is refined into CE [232] 130.22/130.24 * CE 145 is refined into CE [233] 130.22/130.24 * CE 111 is refined into CE [234] 130.22/130.24 * CE 76 is refined into CE [235] 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