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