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