void addProblem(const char *filename);
void addTuner(SearchTuner *tuner);
void readData(uint numRuns);
+ void updateTimeout(long long metric);
void tuneK();
void tuneComp();
void printData();
uint budget;
uint rounds;
uint timeout;
+ double besttime;
int execnum;
};
#endif