4 int main(int argc, char **argv) {
6 printf("You should specify file names ...");
9 CSolver *solvers[argc - 1];
10 AutoTuner *autotuner = new AutoTuner(300);
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++) {
20 delete solvers[i - 1];