Complexity_ITS 2019-03-21 04.46 pair #429991003

details

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

run statistics

property	value
solver	CoFloCo 2018
configuration	its
runtime (wallclock)	11.3466 seconds
cpu usage	11.2772
user time	11.2261
system time	0.051026
max virtual memory	332028.0
max residence set size	28792.0

stage attributes

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

output

11.24/11.23	WORST_CASE(?,O(n^2))  
11.24/11.23	
11.24/11.23	Preprocessing Cost Relations
11.24/11.23	=====================================
11.24/11.23	
11.24/11.23	#### Computed strongly connected components 
11.24/11.23	0. recursive  : [lbl131/17]
11.24/11.23	1. recursive  : [lbl131_loop_cont/18,lbl91/17]
11.24/11.23	2. recursive  : [lbl142/17,lbl91_loop_cont/18]
11.24/11.23	3. non_recursive  : [exit_location/1]
11.24/11.23	4. non_recursive  : [stop/9]
11.24/11.23	5. non_recursive  : [lbl142_loop_cont/10]
11.24/11.23	6. non_recursive  : [start/9]
11.24/11.23	7. non_recursive  : [start0/9]
11.24/11.23	
11.24/11.23	#### Obtained direct recursion through partial evaluation 
11.24/11.23	0. SCC is partially evaluated into lbl131/17
11.24/11.23	1. SCC is partially evaluated into lbl91/17
11.24/11.23	2. SCC is partially evaluated into lbl142/17
11.24/11.23	3. SCC is completely evaluated into other SCCs
11.24/11.23	4. SCC is completely evaluated into other SCCs
11.24/11.23	5. SCC is partially evaluated into lbl142_loop_cont/10
11.24/11.23	6. SCC is partially evaluated into start/9
11.24/11.23	7. SCC is partially evaluated into start0/9
11.24/11.23	
11.24/11.23	Control-Flow Refinement of Cost Relations
11.24/11.23	=====================================
11.24/11.23	
11.24/11.23	### Specialization of cost equations lbl131/17 
11.24/11.23	* CE 13 is refined into CE [29] 
11.24/11.23	* CE 11 is refined into CE [30] 
11.24/11.23	* CE 10 is refined into CE [31] 
11.24/11.23	* CE 12 is refined into CE [32] 
11.24/11.23	
11.24/11.23	
11.24/11.23	### Cost equations --> "Loop" of lbl131/17 
11.24/11.23	* CEs [32] --> Loop 20 
11.24/11.23	* CEs [29] --> Loop 21 
11.24/11.23	* CEs [30] --> Loop 22 
11.24/11.23	* CEs [31] --> Loop 23 
11.24/11.23	
11.24/11.23	### Ranking functions of CR lbl131(A,B,C,D,E,F,G,H,J,K,L,M,N,O,P,Q,R) 
11.24/11.23	* RF of phase [20]: [A-E,D-E,-E+G]
11.24/11.23	
11.24/11.23	#### Partial ranking functions of CR lbl131(A,B,C,D,E,F,G,H,J,K,L,M,N,O,P,Q,R) 
11.24/11.23	* Partial RF of phase [20]:
11.24/11.23	  - RF of loop [20:1]:
11.24/11.23	    A-E
11.24/11.23	    D-E
11.24/11.23	    -E+G
11.24/11.23	
11.24/11.23	
11.24/11.23	### Specialization of cost equations lbl91/17 
11.24/11.23	* CE 14 is refined into CE [33,34] 
11.24/11.23	* CE 17 is refined into CE [35] 
11.24/11.23	* CE 16 is refined into CE [36,37] 
11.24/11.23	* CE 15 is refined into CE [38,39] 
11.24/11.23	
11.24/11.23	
11.24/11.23	### Cost equations --> "Loop" of lbl91/17 
11.24/11.23	* CEs [39] --> Loop 24 
11.24/11.23	* CEs [38] --> Loop 25 
11.24/11.23	* CEs [34] --> Loop 26 
11.24/11.23	* CEs [33] --> Loop 27 
11.24/11.23	* CEs [35] --> Loop 28 
11.24/11.23	* CEs [37] --> Loop 29 
11.24/11.23	* CEs [36] --> Loop 30 
11.24/11.23	
11.24/11.23	### Ranking functions of CR lbl91(A,B,C,D,E,F,G,H,J,K,L,M,N,O,P,Q,R) 
11.24/11.23	* RF of phase [24,25]: [A-E-1,D-E-1,-E+G-1]
11.24/11.23	
11.24/11.23	#### Partial ranking functions of CR lbl91(A,B,C,D,E,F,G,H,J,K,L,M,N,O,P,Q,R) 
11.24/11.23	* Partial RF of phase [24,25]:
11.24/11.23	  - RF of loop [24:1]:
11.24/11.23	    A/2-E/2-1
11.24/11.23	    D/2-E/2-1
11.24/11.23	    -E/2+G/2-1
11.24/11.23	  - RF of loop [25:1]:
11.24/11.23	    A-E-1
11.24/11.23	    D-E-1
11.24/11.23	    -E+G-1
11.24/11.23	
11.24/11.23	
11.24/11.23	### Specialization of cost equations lbl142/17 
11.24/11.23	* CE 21 is refined into CE [40,41] 
11.24/11.23	* CE 22 is refined into CE [42,43,44,45,46,47,48,49] 
11.24/11.23	* CE 23 is refined into CE [50,51,52,53] 
11.24/11.23	* CE 26 is refined into CE [54] 
11.24/11.23	* CE 24 is refined into CE [55] 
11.24/11.23	* CE 18 is refined into CE [56,57,58,59,60,61,62,63] 
11.24/11.23	* CE 19 is refined into CE [64,65] 
11.24/11.23	* CE 20 is refined into CE [66,67,68,69] 
11.24/11.23	* CE 25 is refined into CE [70] 
11.24/11.23	
11.24/11.23	
11.24/11.23	### Cost equations --> "Loop" of lbl142/17 
11.24/11.23	* CEs [60] --> Loop 31 
11.24/11.23	* CEs [63] --> Loop 32 
11.24/11.23	* CEs [59,61,62] --> Loop 33 
11.24/11.23	* CEs [57,58,69] --> Loop 34

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