
  time - provide a simple elapsed time value
     _________________________________________________________________
   
   time [-h]
   
   Prints the processor time used since the last time command, and the
   total processor time used since NuSMV was started.
     _________________________________________________________________
   
   Last updated on 990119 20h08
