in SketchExperiment.py [0:0]
def __init__(self, workload, oracle, options=None, result_file="exp_results.csv"):
# basic setup variables
self.workload = workload
self.oracle = oracle
self.options = options if options is not None else ExperimentOptions()
self.results = ResultAccumulator()
self.timer = {}
self.result_file=result_file
self.start_seed = 0