int sat = solver->solve();
long long metric = solver->getElapsedTime();
ofstream myfile;
- myfile.open (argv[4], ios::out);
- myfile << metric;
- myfile << sat;
+ myfile.open (argv[4], ios::out | ios::trunc);
+ myfile << metric << endl;
+ myfile << sat << endl;
myfile.close();
//serialize out the tuner we used
snprintf(buffer, sizeof(buffer), "%sused", argv[3]);
- tuner->serialize(buffer);
+ tuner->serializeUsed(buffer);
delete solver;
+ delete tuner;
return 0;
}