DISPLAY-TIME : MEXPR

DISPLAY-TIME is a top-level command.
Show time used in several processes:
display-time diy: show the time used in DIY process
display-time mating: show the time used in mating-search process
display-time merge: show the time used in merging-expansion-tree process
display-time eproof: show the time used in proof-transformation process
display-time all: show all the times above
All times are in seconds.
Internal-runtime includes GC-time.
GC-time is garbage-collecting-time.
I-GC-time is Internal-runtime minus GC-time.
The command format for DISPLAY-TIME is:

 <n>DISPLAY-TIME   NAME 
"SYMBOL"


The arguments have the following meaning:
NAME : Name of process

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage