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


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

(STRATEGY
 INNERMOST)
(VAR
 "v4")
(DATATYPES
   "nat" = µX.< "0", "S"(X) >)
(SIGNATURES
   "main" :: ["nat"] --> "nat")
(RULES
 "main"("0"()) -> "0"()
 "main"("S"("v4")) -> "v4")


BEST_CASE(Omega(1),?)