DISPLAY-TIME : MEXPRDISPLAY-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:
The arguments have the following meaning:
NAME : Name of process
TPS documentation homepage