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