MAYBE
825.78/297.01	MAYBE
825.78/297.01	
825.78/297.01	We are left with following problem, upon which TcT provides the
825.78/297.01	certificate MAYBE.
825.78/297.01	
825.78/297.01	Strict Trs:
825.78/297.01	  { f(x) -> s(x)
825.78/297.01	  , f(s(s(x))) -> s(f(f(x))) }
825.78/297.01	Obligation:
825.78/297.01	  innermost runtime complexity
825.78/297.01	Answer:
825.78/297.01	  MAYBE
825.78/297.01	
825.78/297.01	None of the processors succeeded.
825.78/297.01	
825.78/297.01	Details of failed attempt(s):
825.78/297.01	-----------------------------
825.78/297.01	1) 'empty' failed due to the following reason:
825.78/297.01	   
825.78/297.01	   Empty strict component of the problem is NOT empty.
825.78/297.01	
825.78/297.01	2) 'Best' failed due to the following reason:
825.78/297.01	   
825.78/297.01	   None of the processors succeeded.
825.78/297.01	   
825.78/297.01	   Details of failed attempt(s):
825.78/297.01	   -----------------------------
825.78/297.01	   1) 'With Problem ... (timeout of 297 seconds)' failed due to the
825.78/297.01	      following reason:
825.78/297.01	      
825.78/297.01	      Computation stopped due to timeout after 297.0 seconds.
825.78/297.01	   
825.78/297.01	   2) 'Best' failed due to the following reason:
825.78/297.01	      
825.78/297.01	      None of the processors succeeded.
825.78/297.01	      
825.78/297.01	      Details of failed attempt(s):
825.78/297.01	      -----------------------------
825.78/297.01	      1) 'Fastest (timeout of 24 seconds) (timeout of 297 seconds)'
825.78/297.01	         failed due to the following reason:
825.78/297.01	         
825.78/297.01	         Computation stopped due to timeout after 24.0 seconds.
825.78/297.01	      
825.78/297.01	      2) 'With Problem ... (timeout of 148 seconds) (timeout of 297
825.78/297.01	         seconds)' failed due to the following reason:
825.78/297.01	         
825.78/297.01	         The weightgap principle applies (using the following nonconstant
825.78/297.01	         growth matrix-interpretation)
825.78/297.01	         
825.78/297.01	         TcT has computed the following matrix interpretation satisfying
825.78/297.01	         not(EDA) and not(IDA(1)).
825.78/297.01	         
825.78/297.01	           [f](x1) = [1] x1 + [0]
825.78/297.01	                                 
825.78/297.01	           [s](x1) = [1] x1 + [4]
825.78/297.01	         
825.78/297.01	         The order satisfies the following ordering constraints:
825.78/297.01	         
825.78/297.01	                 [f(x)] = [1] x + [0] 
825.78/297.01	                        ? [1] x + [4] 
825.78/297.01	                        = [s(x)]      
825.78/297.01	                                      
825.78/297.01	           [f(s(s(x)))] = [1] x + [8] 
825.78/297.01	                        > [1] x + [4] 
825.78/297.01	                        = [s(f(f(x)))]
825.78/297.01	                                      
825.78/297.01	         
825.78/297.01	         Further, it can be verified that all rules not oriented are covered by the weightgap condition.
825.78/297.01	         
825.78/297.01	         We are left with following problem, upon which TcT provides the
825.78/297.01	         certificate MAYBE.
825.78/297.01	         
825.78/297.01	         Strict Trs: { f(x) -> s(x) }
825.78/297.01	         Weak Trs: { f(s(s(x))) -> s(f(f(x))) }
825.78/297.01	         Obligation:
825.78/297.01	           innermost runtime complexity
825.78/297.01	         Answer:
825.78/297.01	           MAYBE
825.78/297.01	         
825.78/297.01	         None of the processors succeeded.
825.78/297.01	         
825.78/297.01	         Details of failed attempt(s):
825.78/297.01	         -----------------------------
825.78/297.01	         1) 'empty' failed due to the following reason:
825.78/297.01	            
825.78/297.01	            Empty strict component of the problem is NOT empty.
825.78/297.01	         
825.78/297.01	         2) 'With Problem ...' failed due to the following reason:
825.78/297.01	            
825.78/297.01	            None of the processors succeeded.
825.78/297.01	            
825.78/297.01	            Details of failed attempt(s):
825.78/297.01	            -----------------------------
825.78/297.01	            1) 'empty' failed due to the following reason:
825.78/297.01	               
825.78/297.01	               Empty strict component of the problem is NOT empty.
825.78/297.01	            
825.78/297.01	            2) 'Fastest' failed due to the following reason:
825.78/297.01	               
825.78/297.01	               None of the processors succeeded.
825.78/297.01	               
825.78/297.01	               Details of failed attempt(s):
825.78/297.01	               -----------------------------
825.78/297.01	               1) 'With Problem ...' failed due to the following reason:
825.78/297.01	                  
825.78/297.01	                  None of the processors succeeded.
825.78/297.01	                  
825.78/297.01	                  Details of failed attempt(s):
825.78/297.01	                  -----------------------------
825.78/297.01	                  1) 'empty' failed due to the following reason:
825.78/297.01	                     
825.78/297.01	                     Empty strict component of the problem is NOT empty.
825.78/297.01	                  
825.78/297.01	                  2) 'With Problem ...' failed due to the following reason:
825.78/297.01	                     
825.78/297.01	                     None of the processors succeeded.
825.78/297.01	                     
825.78/297.01	                     Details of failed attempt(s):
825.78/297.01	                     -----------------------------
825.78/297.01	                     1) 'empty' failed due to the following reason:
825.78/297.01	                        
825.78/297.01	                        Empty strict component of the problem is NOT empty.
825.78/297.01	                     
825.78/297.01	                     2) 'With Problem ...' failed due to the following reason:
825.78/297.01	                        
825.78/297.01	                        None of the processors succeeded.
825.78/297.01	                        
825.78/297.01	                        Details of failed attempt(s):
825.78/297.01	                        -----------------------------
825.78/297.01	                        1) 'empty' failed due to the following reason:
825.78/297.01	                           
825.78/297.01	                           Empty strict component of the problem is NOT empty.
825.78/297.01	                        
825.78/297.01	                        2) 'With Problem ...' failed due to the following reason:
825.78/297.01	                           
825.78/297.01	                           Empty strict component of the problem is NOT empty.
825.78/297.01	                        
825.78/297.01	                     
825.78/297.01	                  
825.78/297.01	               
825.78/297.01	               2) 'With Problem ...' failed due to the following reason:
825.78/297.01	                  
825.78/297.01	                  None of the processors succeeded.
825.78/297.01	                  
825.78/297.02	                  Details of failed attempt(s):
825.78/297.02	                  -----------------------------
825.78/297.02	                  1) 'empty' failed due to the following reason:
825.78/297.02	                     
825.78/297.02	                     Empty strict component of the problem is NOT empty.
825.78/297.02	                  
825.78/297.02	                  2) 'With Problem ...' failed due to the following reason:
825.78/297.02	                     
825.78/297.02	                     Empty strict component of the problem is NOT empty.
825.78/297.02	                  
825.78/297.02	               
825.78/297.02	            
825.78/297.02	         
825.78/297.02	      
825.78/297.02	      3) 'Best' failed due to the following reason:
825.78/297.02	         
825.78/297.02	         None of the processors succeeded.
825.78/297.02	         
825.78/297.02	         Details of failed attempt(s):
825.78/297.02	         -----------------------------
825.78/297.02	         1) 'Polynomial Path Order (PS) (timeout of 297 seconds)' failed due
825.78/297.02	            to the following reason:
825.78/297.02	            
825.78/297.02	            The input cannot be shown compatible
825.78/297.02	         
825.78/297.02	         2) 'bsearch-popstar (timeout of 297 seconds)' failed due to the
825.78/297.02	            following reason:
825.78/297.02	            
825.78/297.02	            The input cannot be shown compatible
825.78/297.02	         
825.78/297.02	      
825.78/297.02	   
825.78/297.02	
825.78/297.02	
825.78/297.02	Arrrr..
825.99/297.26	EOF