X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FTuner%2Fautotuner.cc;h=5247d86b0fa1d9d576cb6887ead59f73a7b4745a;hb=da1157817f232a4c2b6b6e7947ef169e119c91e7;hp=9082ae4d027b950d4b713e8f5eeae8a05d91f7e9;hpb=d46ee65a6767e2016cab629220a60c3e39b366f1;p=satune.git

diff --git a/src/Tuner/autotuner.cc b/src/Tuner/autotuner.cc
index 9082ae4..5247d86 100644
--- a/src/Tuner/autotuner.cc
+++ b/src/Tuner/autotuner.cc
@@ -17,6 +17,7 @@ long long AutoTuner::evaluate(CSolver *problem, SearchTuner *tuner) {
 	CSolver *copy = problem->clone();
 	copy->setTuner(tuner);
 	int result = copy->solve();
+	model_print("SAT %d\n", result);
 	long long elapsedTime = copy->getElapsedTime();
 	long long encodeTime = copy->getEncodeTime();
 	long long solveTime = copy->getSolveTime();