details

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

run statistics

property	value
solver	CoFloCo 2018
configuration	its
runtime (wallclock)	86.6091 seconds
cpu usage	86.4915
user time	85.6207
system time	0.870729
max virtual memory	400040.0
max residence set size	97384.0

stage attributes

key	value
starexec-result	WORST_CASE(?,O(n^1))

output

86.40/86.48 WORST_CASE(?,O(n^1)) 86.40/86.48 86.40/86.48 Preprocessing Cost Relations 86.40/86.48 ===================================== 86.40/86.48 86.40/86.48 #### Computed strongly connected components 86.40/86.48 0. recursive : [f2/27,f3/27,f4/27,f6/27] 86.40/86.48 1. non_recursive : [exit_location/1] 86.40/86.48 2. non_recursive : [f7/15] 86.40/86.48 3. non_recursive : [f2_loop_cont/16] 86.40/86.48 4. non_recursive : [f1/15] 86.40/86.48 5. non_recursive : [f0/15] 86.40/86.48 86.40/86.48 #### Obtained direct recursion through partial evaluation 86.40/86.48 0. SCC is partially evaluated into f2/27 86.40/86.48 1. SCC is completely evaluated into other SCCs 86.40/86.48 2. SCC is completely evaluated into other SCCs 86.40/86.48 3. SCC is partially evaluated into f2_loop_cont/16 86.40/86.48 4. SCC is partially evaluated into f1/15 86.40/86.48 5. SCC is partially evaluated into f0/15 86.40/86.48 86.40/86.48 Control-Flow Refinement of Cost Relations 86.40/86.48 ===================================== 86.40/86.48 86.40/86.48 ### Specialization of cost equations f2/27 86.40/86.48 * CE 45 is refined into CE [48] 86.40/86.48 * CE 18 is refined into CE [49] 86.40/86.48 * CE 12 is refined into CE [50] 86.40/86.48 * CE 19 is refined into CE [51] 86.40/86.48 * CE 13 is refined into CE [52] 86.40/86.48 * CE 20 is refined into CE [53] 86.40/86.48 * CE 14 is refined into CE [54] 86.40/86.48 * CE 15 is refined into CE [55] 86.40/86.48 * CE 9 is refined into CE [56] 86.40/86.48 * CE 16 is refined into CE [57] 86.40/86.48 * CE 10 is refined into CE [58] 86.40/86.48 * CE 17 is refined into CE [59] 86.40/86.48 * CE 11 is refined into CE [60] 86.40/86.48 * CE 6 is refined into CE [61] 86.40/86.48 * CE 8 is refined into CE [62] 86.40/86.48 * CE 7 is refined into CE [63] 86.40/86.48 * CE 34 is refined into CE [64] 86.40/86.48 * CE 28 is refined into CE [65] 86.40/86.48 * CE 35 is refined into CE [66] 86.40/86.48 * CE 29 is refined into CE [67] 86.40/86.48 * CE 30 is refined into CE [68] 86.40/86.48 * CE 24 is refined into CE [69] 86.40/86.48 * CE 31 is refined into CE [70] 86.40/86.48 * CE 25 is refined into CE [71] 86.40/86.48 * CE 32 is refined into CE [72] 86.40/86.48 * CE 26 is refined into CE [73] 86.40/86.48 * CE 21 is refined into CE [74] 86.40/86.48 * CE 23 is refined into CE [75] 86.40/86.48 * CE 22 is refined into CE [76] 86.40/86.48 * CE 33 is refined into CE [77] 86.40/86.48 * CE 27 is refined into CE [78] 86.40/86.48 * CE 43 is refined into CE [79] 86.40/86.48 * CE 40 is refined into CE [80] 86.40/86.48 * CE 44 is refined into CE [81] 86.40/86.48 * CE 41 is refined into CE [82] 86.40/86.48 * CE 36 is refined into CE [83] 86.40/86.48 * CE 37 is refined into CE [84] 86.40/86.48 * CE 38 is refined into CE [85] 86.40/86.48 * CE 42 is refined into CE [86] 86.40/86.48 * CE 39 is refined into CE [87] 86.40/86.48 86.40/86.48 86.40/86.48 ### Cost equations --> "Loop" of f2/27 86.40/86.48 * CEs [79] --> Loop 45 86.40/86.48 * CEs [80] --> Loop 46 86.40/86.48 * CEs [81] --> Loop 47 86.40/86.48 * CEs [82] --> Loop 48 86.40/86.48 * CEs [83] --> Loop 49 86.40/86.48 * CEs [84] --> Loop 50 86.40/86.48 * CEs [85] --> Loop 51 86.40/86.48 * CEs [86] --> Loop 52 86.40/86.48 * CEs [87] --> Loop 53 86.40/86.48 * CEs [48] --> Loop 54 86.40/86.48 * CEs [49] --> Loop 55 86.40/86.48 * CEs [50] --> Loop 56 86.40/86.48 * CEs [51] --> Loop 57 86.40/86.48 * CEs [52] --> Loop 58 86.40/86.48 * CEs [53] --> Loop 59 86.40/86.48 * CEs [54] --> Loop 60 86.40/86.48 * CEs [55] --> Loop 61 86.40/86.48 * CEs [56] --> Loop 62 86.40/86.48 * CEs [57] --> Loop 63 86.40/86.48 * CEs [58] --> Loop 64 86.40/86.48 * CEs [59] --> Loop 65 86.40/86.48 * CEs [60] --> Loop 66 86.40/86.48 * CEs [61] --> Loop 67 86.40/86.48 * CEs [62] --> Loop 68 86.40/86.48 * CEs [63] --> Loop 69 86.40/86.48 * CEs [64] --> Loop 70 86.40/86.48 * CEs [65] --> Loop 71 86.40/86.48 * CEs [66] --> Loop 72 86.40/86.48 * CEs [67] --> Loop 73 86.40/86.48 * CEs [70] --> Loop 74 86.40/86.48 * CEs [71] --> Loop 75 86.40/86.48 * CEs [72] --> Loop 76 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