def get_tasks(self):
        return [r.task_id for r in self.results]
Return the list of task ids for these results.
dataset/ETHPy150Open sosy-lab/benchexec/benchexec/tablegenerator/__init__.py/RunSetResult.get_tasks