From 7884ba01d0f4a9ddb947c62683e704b1d01c2783 Mon Sep 17 00:00:00 2001
From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Wed, 4 Dec 2019 17:25:22 -0800
Subject: [PATCH] using negative scores when error happens
---
src/Tuner/basictuner.cc | 2 +-
src/Tuner/comptuner.cc | 4 ++--
2 files changed, 3 insertions(+), 3 deletions(-)
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());
--
2.34.1