MAYBE
97.54/24.65	MAYBE
97.54/24.65	
97.54/24.65	We are left with following problem, upon which TcT provides the
97.54/24.65	certificate MAYBE.
97.54/24.65	
97.54/24.65	Strict Trs: { f(x) -> f(x) }
97.54/24.65	Obligation:
97.54/24.65	  innermost runtime complexity
97.54/24.65	Answer:
97.54/24.65	  MAYBE
97.54/24.65	
97.54/24.65	None of the processors succeeded.
97.54/24.65	
97.54/24.65	Details of failed attempt(s):
97.54/24.65	-----------------------------
97.54/24.65	1) 'empty' failed due to the following reason:
97.54/24.65	   
97.54/24.65	   Empty strict component of the problem is NOT empty.
97.54/24.65	
97.54/24.65	2) 'Best' failed due to the following reason:
97.54/24.65	   
97.54/24.65	   None of the processors succeeded.
97.54/24.65	   
97.54/24.65	   Details of failed attempt(s):
97.54/24.65	   -----------------------------
97.54/24.65	   1) 'With Problem ... (timeout of 297 seconds)' failed due to the
97.54/24.65	      following reason:
97.54/24.65	      
97.54/24.65	      We add the following dependency tuples:
97.54/24.65	      
97.54/24.65	      Strict DPs: { f^#(x) -> c_1(f^#(x)) }
97.54/24.65	      
97.54/24.65	      and mark the set of starting terms.
97.54/24.65	      
97.54/24.65	      We are left with following problem, upon which TcT provides the
97.54/24.65	      certificate MAYBE.
97.54/24.65	      
97.54/24.65	      Strict DPs: { f^#(x) -> c_1(f^#(x)) }
97.54/24.65	      Weak Trs: { f(x) -> f(x) }
97.54/24.65	      Obligation:
97.54/24.65	        innermost runtime complexity
97.54/24.65	      Answer:
97.54/24.65	        MAYBE
97.54/24.65	      
97.54/24.65	      No rule is usable, rules are removed from the input problem.
97.54/24.65	      
97.54/24.65	      We are left with following problem, upon which TcT provides the
97.54/24.65	      certificate MAYBE.
97.54/24.65	      
97.54/24.65	      Strict DPs: { f^#(x) -> c_1(f^#(x)) }
97.54/24.65	      Obligation:
97.54/24.65	        innermost runtime complexity
97.54/24.65	      Answer:
97.54/24.65	        MAYBE
97.54/24.65	      
97.54/24.65	      None of the processors succeeded.
97.54/24.65	      
97.54/24.65	      Details of failed attempt(s):
97.54/24.65	      -----------------------------
97.54/24.65	      1) 'empty' failed due to the following reason:
97.54/24.65	         
97.54/24.65	         Empty strict component of the problem is NOT empty.
97.54/24.65	      
97.54/24.65	      2) 'With Problem ...' failed due to the following reason:
97.54/24.65	         
97.54/24.65	         None of the processors succeeded.
97.54/24.65	         
97.54/24.65	         Details of failed attempt(s):
97.54/24.65	         -----------------------------
97.54/24.65	         1) 'empty' failed due to the following reason:
97.54/24.65	            
97.54/24.65	            Empty strict component of the problem is NOT empty.
97.54/24.65	         
97.54/24.65	         2) 'Fastest' failed due to the following reason:
97.54/24.65	            
97.54/24.65	            None of the processors succeeded.
97.54/24.65	            
97.54/24.65	            Details of failed attempt(s):
97.54/24.65	            -----------------------------
97.54/24.65	            1) 'Fastest (timeout of 24 seconds)' failed due to the following
97.54/24.65	               reason:
97.54/24.65	               
97.54/24.65	               Computation stopped due to timeout after 24.0 seconds.
97.54/24.65	            
97.54/24.65	            2) 'With Problem ...' failed due to the following reason:
97.54/24.65	               
97.54/24.65	               None of the processors succeeded.
97.54/24.65	               
97.54/24.65	               Details of failed attempt(s):
97.54/24.65	               -----------------------------
97.54/24.65	               1) 'empty' failed due to the following reason:
97.54/24.65	                  
97.54/24.65	                  Empty strict component of the problem is NOT empty.
97.54/24.65	               
97.54/24.65	               2) 'Polynomial Path Order (PS)' failed due to the following reason:
97.54/24.65	                  
97.54/24.65	                  The input cannot be shown compatible
97.54/24.65	               
97.54/24.65	            
97.54/24.65	            3) 'Polynomial Path Order (PS)' failed due to the following reason:
97.54/24.65	               
97.54/24.65	               The input cannot be shown compatible
97.54/24.65	            
97.54/24.65	         
97.54/24.65	      
97.54/24.65	   
97.54/24.65	   2) 'Best' failed due to the following reason:
97.54/24.65	      
97.54/24.65	      None of the processors succeeded.
97.54/24.65	      
97.54/24.65	      Details of failed attempt(s):
97.54/24.65	      -----------------------------
97.54/24.65	      1) 'Fastest (timeout of 24 seconds) (timeout of 297 seconds)'
97.54/24.65	         failed due to the following reason:
97.54/24.65	         
97.54/24.65	         Computation stopped due to timeout after 24.0 seconds.
97.54/24.65	      
97.54/24.65	      2) 'With Problem ... (timeout of 148 seconds) (timeout of 297
97.54/24.65	         seconds)' failed due to the following reason:
97.54/24.65	         
97.54/24.65	         None of the processors succeeded.
97.54/24.65	         
97.54/24.65	         Details of failed attempt(s):
97.54/24.65	         -----------------------------
97.54/24.65	         1) 'empty' failed due to the following reason:
97.54/24.65	            
97.54/24.65	            Empty strict component of the problem is NOT empty.
97.54/24.65	         
97.54/24.65	         2) 'With Problem ...' failed due to the following reason:
97.54/24.65	            
97.54/24.65	            None of the processors succeeded.
97.54/24.65	            
97.54/24.65	            Details of failed attempt(s):
97.54/24.65	            -----------------------------
97.54/24.65	            1) 'empty' failed due to the following reason:
97.54/24.65	               
97.54/24.65	               Empty strict component of the problem is NOT empty.
97.54/24.65	            
97.54/24.65	            2) 'Fastest' failed due to the following reason:
97.54/24.65	               
97.54/24.65	               None of the processors succeeded.
97.54/24.65	               
97.54/24.65	               Details of failed attempt(s):
97.54/24.65	               -----------------------------
97.54/24.65	               1) 'With Problem ...' failed due to the following reason:
97.54/24.65	                  
97.54/24.65	                  None of the processors succeeded.
97.54/24.65	                  
97.54/24.65	                  Details of failed attempt(s):
97.54/24.65	                  -----------------------------
97.54/24.65	                  1) 'empty' failed due to the following reason:
97.54/24.65	                     
97.54/24.65	                     Empty strict component of the problem is NOT empty.
97.54/24.65	                  
97.54/24.65	                  2) 'With Problem ...' failed due to the following reason:
97.54/24.65	                     
97.54/24.65	                     None of the processors succeeded.
97.54/24.65	                     
97.54/24.65	                     Details of failed attempt(s):
97.54/24.65	                     -----------------------------
97.54/24.65	                     1) 'empty' failed due to the following reason:
97.54/24.65	                        
97.54/24.65	                        Empty strict component of the problem is NOT empty.
97.54/24.65	                     
97.54/24.65	                     2) 'With Problem ...' failed due to the following reason:
97.54/24.65	                        
97.54/24.65	                        None of the processors succeeded.
97.54/24.65	                        
97.54/24.65	                        Details of failed attempt(s):
97.54/24.65	                        -----------------------------
97.54/24.65	                        1) 'empty' failed due to the following reason:
97.54/24.65	                           
97.54/24.65	                           Empty strict component of the problem is NOT empty.
97.54/24.65	                        
97.54/24.65	                        2) 'With Problem ...' failed due to the following reason:
97.54/24.65	                           
97.54/24.65	                           Empty strict component of the problem is NOT empty.
97.54/24.65	                        
97.54/24.65	                     
97.54/24.65	                  
97.54/24.65	               
97.54/24.65	               2) 'With Problem ...' failed due to the following reason:
97.54/24.65	                  
97.54/24.65	                  None of the processors succeeded.
97.54/24.65	                  
97.54/24.65	                  Details of failed attempt(s):
97.54/24.65	                  -----------------------------
97.54/24.65	                  1) 'empty' failed due to the following reason:
97.54/24.65	                     
97.54/24.65	                     Empty strict component of the problem is NOT empty.
97.54/24.65	                  
97.54/24.65	                  2) 'With Problem ...' failed due to the following reason:
97.54/24.65	                     
97.54/24.65	                     Empty strict component of the problem is NOT empty.
97.54/24.65	                  
97.54/24.65	               
97.54/24.65	            
97.54/24.65	         
97.54/24.65	      
97.54/24.65	      3) 'Best' failed due to the following reason:
97.54/24.65	         
97.54/24.65	         None of the processors succeeded.
97.54/24.65	         
97.54/24.65	         Details of failed attempt(s):
97.54/24.65	         -----------------------------
97.54/24.65	         1) 'Polynomial Path Order (PS) (timeout of 297 seconds)' failed due
97.54/24.65	            to the following reason:
97.54/24.65	            
97.54/24.65	            The input cannot be shown compatible
97.54/24.65	         
97.54/24.65	         2) 'bsearch-popstar (timeout of 297 seconds)' failed due to the
97.54/24.65	            following reason:
97.54/24.65	            
97.54/24.65	            The input cannot be shown compatible
97.54/24.65	         
97.54/24.65	      
97.54/24.65	   
97.54/24.65	
97.54/24.65	
97.54/24.65	Arrrr..
97.54/24.66	EOF