@Override
 public String toString() {
   return mBenchmarkData.toString();
 }
 @Override
 public ICsvProvider<Object> createCvsProvider() {
   return mBenchmarkData.createCvsProvider();
 }
 public BuchiAutomizerTimingBenchmark(BuchiCegarLoopBenchmarkGenerator benchGen) {
   mBenchmarkData = new StatisticsData();
   mBenchmarkData.aggregateBenchmarkData(benchGen);
 }