8 AutoTuner(uint budget);
9 void addProblem(CSolver *solver);
13 long long evaluate(CSolver *problem, SearchTuner *tuner);
14 double evaluateAll(SearchTuner *tuner);
15 SearchTuner * mutateTuner(SearchTuner * oldTuner, uint k);
17 Vector<CSolver *> solvers;