2 #include "serializetuner.h"
7 int main(int argc, char **argv) {
9 printf("You only specify the name of the file ...");
13 CSolver *solver = CSolver::deserialize(argv[1]);
15 sscanf(argv[2], "%u", &timeout);
16 SerializeTuner *tuner = new SerializeTuner(argv[3]);
17 solver->setTuner(tuner);
18 solver->setSatSolverTimeout(timeout);
19 int sat = solver->solve();
20 long long metric = solver->getElapsedTime();
22 myfile.open (argv[4], ios::out | ios::trunc);
23 myfile << metric << endl;
24 myfile << sat << endl;
26 //serialize out the tuner we used
27 snprintf(buffer, sizeof(buffer), "%sused", argv[3]);
28 tuner->serializeUsed(buffer);