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.