Read elapsed cpu time
(Get-cpu-time state) returns the elapsed cpu time in seconds since the start of the current ACL2 session. See read-run-time for further documentation.
Function: get-cpu-time
(defun get-cpu-time (state) (declare (xargs :stobjs state)) (read-run-time state))
