Bug fix: consider the cases when the tuner gets timeout

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

diff --git a/src/Tuner/comptuner.cc b/src/Tuner/comptuner.cc
index d630f2d2280d77fc09b259275901710a46c614d2..b8b574c9170e24e6e97328a2fad8ebd2d35bd854 100644 (file)
--- 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){
+                               if(time1 == -1 || time2 == -2){
                                        time1=LLONG_MAX;
                                }
                                long long time2 = tuner2->getTime(problem);
-                               if(time2 == -1){
+                               if(time2 == -1 || time2 == -2){
                                        time2 = LLONG_MAX;
                                }
                                mintimes[l] = pow(min(time1,time2), (double)1 / problems.getSize());