code: def writeRunSetInfoToLog(self, runSet):
          
  
          runSetInfo = "\n\n"
          if runSet.name:
              runSetInfo += runSet.name + "\n"
          runSetInfo += "Run set {0} of {1} with options '{2}' and propertyfile '{3}'\n\n".format(
                  runSet.index, len(self.benchmark.run_sets),
                  " ".join(runSet.options),
                  runSet.propertyfile)
  
          titleLine = self.create_output_line(runSet, "inputfile", "status", "cpu time",
                              "wall time", "host", self.benchmark.columns, True)
  
          runSet.simpleLine = "-" * (len(titleLine))
  
          runSetInfo += titleLine + "\n" + runSet.simpleLine + "\n"
  
          # write into txt_file
          self.txt_file.append(runSetInfo)
docs: This method writes the information about a run set into the txt_file.