BEST_CASE(Omega(1),?)
UNSAT
"/tmp/SMTS2886-9" (line 1, column 6):
The smt problem could not be solved (was unsat).


Parsed Typed Term Rewrite System:
---------------------------------

(STRATEGY
 INNERMOST)
(VAR
 "v16" "v6")
(DATATYPES
   "bool" = < "True", "False" >
   "nat" = µX.< "0", "S"(X) >)
(SIGNATURES
   "even#1" :: ["nat"] --> "bool"
   "main" :: ["nat"] --> "bool")
(RULES
 "even#1"("0"()) -> "True"()
 "even#1"("S"("0"())) -> "False"()
 "even#1"("S"("S"("v16"))) -> "even#1"("v16")
 "main"("v6") -> "even#1"("v6"))


BEST_CASE(Omega(1),?)