Nondeterministic time
Redirect to:
NTIME