X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FBackend%2Fconstraint.cc;h=535d058c39882ef2b53f0519746fe9596e48a01a;hb=c8fa49521562e3053876a003ebf3780f260d3dbf;hp=0988c314448ae43d280aac6200a7b5597d2973f5;hpb=44301188cb21ea0007002b3a41a16fb0e64f3cc4;p=satune.git

diff --git a/src/Backend/constraint.cc b/src/Backend/constraint.cc
index 0988c31..535d058 100644
--- a/src/Backend/constraint.cc
+++ b/src/Backend/constraint.cc
@@ -686,7 +686,7 @@ int solveCNF(CNF *cnf) {
 	cnf->encodeTime = startSolve - startTime;
 	model_print("CNF Encode time: %f\n", cnf->encodeTime / 1000000000.0);
 	cnf->solveTime = finishTime - startSolve;
-	model_print("Solve time: %f\n", cnf->solveTime / 1000000000.0);
+	model_print("SAT Solving time: %f\n", cnf->solveTime / 1000000000.0);
 	return result;
 }