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