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