MAYBE
749.33/297.02	MAYBE
749.33/297.02	
749.33/297.02	We are left with following problem, upon which TcT provides the
749.33/297.02	certificate MAYBE.
749.33/297.02	
749.33/297.02	Strict Trs:
749.33/297.02	  { div(x, s(y)) -> d(x, s(y), 0())
749.33/297.02	  , d(x, s(y), z) -> cond(ge(x, z), x, y, z)
749.33/297.02	  , cond(true(), x, y, z) -> s(d(x, s(y), plus(s(y), z)))
749.33/297.02	  , cond(false(), x, y, z) -> 0()
749.33/297.02	  , ge(u, 0()) -> true()
749.33/297.02	  , ge(s(u), s(v)) -> ge(u, v)
749.33/297.02	  , ge(0(), s(v)) -> false()
749.33/297.02	  , plus(n, s(m)) -> s(plus(n, m))
749.33/297.02	  , plus(n, 0()) -> n }
749.33/297.02	Obligation:
749.33/297.02	  innermost runtime complexity
749.33/297.02	Answer:
749.33/297.02	  MAYBE
749.33/297.02	
749.33/297.02	None of the processors succeeded.
749.33/297.02	
749.33/297.02	Details of failed attempt(s):
749.33/297.02	-----------------------------
749.33/297.02	1) 'empty' failed due to the following reason:
749.33/297.02	   
749.33/297.02	   Empty strict component of the problem is NOT empty.
749.33/297.02	
749.33/297.02	2) 'Best' failed due to the following reason:
749.33/297.02	   
749.33/297.02	   None of the processors succeeded.
749.33/297.02	   
749.33/297.02	   Details of failed attempt(s):
749.33/297.02	   -----------------------------
749.33/297.02	   1) 'With Problem ... (timeout of 297 seconds)' failed due to the
749.33/297.02	      following reason:
749.33/297.02	      
749.33/297.02	      Computation stopped due to timeout after 297.0 seconds.
749.33/297.02	   
749.33/297.02	   2) 'Best' failed due to the following reason:
749.33/297.02	      
749.33/297.02	      None of the processors succeeded.
749.33/297.02	      
749.33/297.02	      Details of failed attempt(s):
749.33/297.02	      -----------------------------
749.33/297.02	      1) 'With Problem ... (timeout of 148 seconds) (timeout of 297
749.33/297.02	         seconds)' failed due to the following reason:
749.33/297.02	         
749.33/297.02	         None of the processors succeeded.
749.33/297.02	         
749.33/297.02	         Details of failed attempt(s):
749.33/297.02	         -----------------------------
749.33/297.02	         1) 'empty' failed due to the following reason:
749.33/297.02	            
749.33/297.02	            Empty strict component of the problem is NOT empty.
749.33/297.02	         
749.33/297.02	         2) 'With Problem ...' failed due to the following reason:
749.33/297.02	            
749.33/297.02	            None of the processors succeeded.
749.33/297.02	            
749.33/297.02	            Details of failed attempt(s):
749.33/297.02	            -----------------------------
749.33/297.02	            1) 'empty' failed due to the following reason:
749.33/297.02	               
749.33/297.02	               Empty strict component of the problem is NOT empty.
749.33/297.02	            
749.33/297.02	            2) 'Fastest' failed due to the following reason:
749.33/297.02	               
749.33/297.02	               None of the processors succeeded.
749.33/297.02	               
749.33/297.02	               Details of failed attempt(s):
749.33/297.02	               -----------------------------
749.33/297.02	               1) 'With Problem ...' failed due to the following reason:
749.33/297.02	                  
749.33/297.02	                  None of the processors succeeded.
749.33/297.02	                  
749.33/297.02	                  Details of failed attempt(s):
749.33/297.02	                  -----------------------------
749.33/297.02	                  1) 'empty' failed due to the following reason:
749.33/297.02	                     
749.33/297.02	                     Empty strict component of the problem is NOT empty.
749.33/297.02	                  
749.33/297.02	                  2) 'With Problem ...' failed due to the following reason:
749.33/297.02	                     
749.33/297.02	                     Empty strict component of the problem is NOT empty.
749.33/297.02	                  
749.33/297.02	               
749.33/297.02	               2) 'With Problem ...' failed due to the following reason:
749.33/297.02	                  
749.33/297.02	                  None of the processors succeeded.
749.33/297.02	                  
749.33/297.02	                  Details of failed attempt(s):
749.33/297.02	                  -----------------------------
749.33/297.02	                  1) 'empty' failed due to the following reason:
749.33/297.02	                     
749.33/297.02	                     Empty strict component of the problem is NOT empty.
749.33/297.02	                  
749.33/297.02	                  2) 'With Problem ...' failed due to the following reason:
749.33/297.02	                     
749.33/297.02	                     None of the processors succeeded.
749.33/297.02	                     
749.33/297.02	                     Details of failed attempt(s):
749.33/297.02	                     -----------------------------
749.33/297.02	                     1) 'empty' failed due to the following reason:
749.33/297.02	                        
749.33/297.02	                        Empty strict component of the problem is NOT empty.
749.33/297.02	                     
749.33/297.02	                     2) 'With Problem ...' failed due to the following reason:
749.33/297.02	                        
749.33/297.02	                        None of the processors succeeded.
749.33/297.02	                        
749.33/297.02	                        Details of failed attempt(s):
749.33/297.02	                        -----------------------------
749.33/297.02	                        1) 'empty' failed due to the following reason:
749.33/297.02	                           
749.33/297.02	                           Empty strict component of the problem is NOT empty.
749.33/297.02	                        
749.33/297.02	                        2) 'With Problem ...' failed due to the following reason:
749.33/297.02	                           
749.33/297.02	                           Empty strict component of the problem is NOT empty.
749.33/297.02	                        
749.33/297.02	                     
749.33/297.02	                  
749.33/297.02	               
749.33/297.02	            
749.33/297.02	         
749.33/297.02	      
749.33/297.02	      2) 'Best' failed due to the following reason:
749.33/297.02	         
749.33/297.02	         None of the processors succeeded.
749.33/297.02	         
749.33/297.02	         Details of failed attempt(s):
749.33/297.02	         -----------------------------
749.33/297.02	         1) 'bsearch-popstar (timeout of 297 seconds)' failed due to the
749.33/297.02	            following reason:
749.33/297.02	            
749.33/297.02	            The input cannot be shown compatible
749.33/297.02	         
749.33/297.02	         2) 'Polynomial Path Order (PS) (timeout of 297 seconds)' failed due
749.33/297.02	            to the following reason:
749.33/297.02	            
749.33/297.02	            The input cannot be shown compatible
749.33/297.02	         
749.33/297.02	      
749.33/297.02	      3) 'Fastest (timeout of 24 seconds) (timeout of 297 seconds)'
749.33/297.02	         failed due to the following reason:
749.33/297.02	         
749.33/297.02	         None of the processors succeeded.
749.33/297.02	         
749.33/297.02	         Details of failed attempt(s):
749.33/297.02	         -----------------------------
749.33/297.02	         1) 'Bounds with minimal-enrichment and initial automaton 'match''
749.33/297.02	            failed due to the following reason:
749.33/297.02	            
749.33/297.02	            match-boundness of the problem could not be verified.
749.33/297.02	         
749.33/297.02	         2) 'Bounds with perSymbol-enrichment and initial automaton 'match''
749.33/297.02	            failed due to the following reason:
749.33/297.02	            
749.33/297.02	            match-boundness of the problem could not be verified.
749.33/297.02	         
749.33/297.02	      
749.33/297.02	   
749.33/297.02	
749.33/297.02	
749.33/297.02	Arrrr..
749.43/297.14	EOF