Input files for SATUT

The following files are accepted as input files for the SAT evaluation routine SATUT:

• SATLOG files ($SYSAUDIT.SYS.SATLOG.yyyy-mm-dd.sss.nn)

• reduced SAT logging files with standard names (replacement files) ($SYSAUDIT.SYS.SATUT.yyyy-mm-dd.sss.nnn)

• CONSLOG files (with standard names)

Simultaneous input of replacement files and one or more input files from which they were derived is not permissible, as overlapping may occur.

As an alternative to the above list it is also possible to specify reduced SAT logging files without standard names (analysis files).
When analysis files are used for input it is possible that the same records occur more than once, falsifying the analysis results (particularly in the case of statistics).