  time - Provides a simple CPU elapsed time value
     __________________________________________________________________

   time [-h]

   Prints the processor time used since the last invocation of the "time"
   command, and the total processor time used since NuSMV was started.
     __________________________________________________________________

   Last updated on 2011/10/28 14h:49
