System Selection

• System name and version

• CPU time limit

• tptp2X flags

• Command line