def collect_data(self, correct_only):
        self.results = []

        def get_value_from_logfile(lines, identifier):
            """
            This method searches for values in lines of the content.
            It uses a tool-specific method to so.
            """
            return load_tool(self).get_value_from_output(lines, identifier)

        # Opening the ZIP archive with the logs for every run is too slow, we cache it.
        log_zip_cache = {}
        try:
            for xml_result in self._xml_results:
                self.results.append(RunResult.create_from_xml(
                    xml_result, get_value_from_logfile, self.columns, correct_only, log_zip_cache))
        finally:
            for file in log_zip_cache.values():
                file.close()

        for column in self.columns:
            column.type, column.unit = get_column_type(column, self)


        del self._xml_results
Load the actual result values from the XML file and the log files.
dataset/ETHPy150Open sosy-lab/benchexec/benchexec/tablegenerator/__init__.py/RunSetResult.collect_data