details

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

run statistics

property	value
solver	CoFloCo 2018
configuration	its
runtime (wallclock)	56.9813 seconds
cpu usage	56.9018
user time	56.3893
system time	0.512589
max virtual memory	370852.0
max residence set size	67296.0

stage attributes

key	value
starexec-result	MAYBE

output

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