From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Thu, 5 Dec 2019 01:25:22 +0000 (-0800)
Subject: using negative scores when error happens
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=7884ba01d0f4a9ddb947c62683e704b1d01c2783;p=satune.git

using negative scores when error happens
---

diff --git a/src/Tuner/basictuner.cc b/src/Tuner/basictuner.cc
index 6ac7453..9cd3021 100644
--- a/src/Tuner/basictuner.cc
+++ b/src/Tuner/basictuner.cc
@@ -197,7 +197,7 @@ long long BasicTuner::evaluate(Problem *problem, TunerRecord *tuner) {
 		model_print("******** Result has changed ******** Found a bug!!\n");
 		ASSERT(0);
 	}
-	if (sat == IS_INDETER && metric != -1) {//The case when we have a timeout
+	if (sat == IS_INDETER && metric >= 0) {//The case when we have a timeout
 		metric = -1;
 	}
 	return metric;
diff --git a/src/Tuner/comptuner.cc b/src/Tuner/comptuner.cc
index 27eba5b..029efe9 100644
--- a/src/Tuner/comptuner.cc
+++ b/src/Tuner/comptuner.cc
@@ -31,11 +31,11 @@ void CompTuner::findBestTwoTuners() {
 			for (uint l = 0; l < problems.getSize(); l++) {
 				Problem *problem = problems.get(l);
 				long long time1 = tuner1->getTime(problem);
-				if(time1 == -1 || time1 == -2){
+				if(time1 < 0){
 					time1=LLONG_MAX;
 				}
 				long long time2 = tuner2->getTime(problem);
-				if(time2 == -1 || time2 == -2){
+				if(time2 < 0){
 					time2 = LLONG_MAX;
 				}
 				mintimes[l] = pow(min(time1,time2), (double)1 / problems.getSize());