Non-deterministic time

Redirect to:

  • NTIME