int problemnumber;
int result;
char *problem;
+ double besttime;
friend class MultiTuner;
};
void addProblem(const char *filename);
void addTuner(SearchTuner *tuner);
void readData(uint numRuns);
+ void updateTimeout(Problem *problem, long long metric);
void tuneK();
void tuneComp();
void printData();