Bug Fix

[satune.git] / src / Tuner / autotuner.cc

diff --git a/src/Tuner/autotuner.cc b/src/Tuner/autotuner.cc
index 9082ae4d027b950d4b713e8f5eeae8a05d91f7e9..5247d86b0fa1d9d576cb6887ead59f73a7b4745a 100644 (file)
--- 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();