Screen log – file name
Name of the file, or standard output if left blank, which is the default for screen log. A screen log written to a file will not contain timing information (a column with the amount of time per million states).
See also trace file name tree file name.