From 7884ba01d0f4a9ddb947c62683e704b1d01c2783 Mon Sep 17 00:00:00 2001 From: Hamed Gorjiara 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