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;