4 int main(int argc, char ** argv){
6 printf("You should specify file names ...");
9 CSolver * solvers[argc-1];
10 AutoTuner *autotuner = new AutoTuner(100);
11 for(int i = 1; i < argc; i++) {
12 solvers[i-1] = CSolver::deserialize(argv[i]);
13 autotuner->addProblem(solvers[i-1]);
19 for(int i = 1; i < argc; i++) {