MACHINE-INSTANCE : FLAGMACHINE-INSTANCE is a flag or parameter.
Tells what particular machine we are running on. Initialized
when TPS starts up. Can't be changed.
MACHINE-INSTANCE takes values of type STRING.
It belongs to subjects SYSTEM .
Its default value is ""
Its current value is "gtps.math.cmu.edu".
TPS documentation homepage