X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FTuner%2Fcomptuner.cc;fp=src%2FTuner%2Fcomptuner.cc;h=64e58a052c18f0d8d7c165ebe2274e4c2d4f360c;hb=5cdb9afc7deb5cae06360d252a93489319ffa685;hp=92a8985278a60b49d6172adffb85068641e14f3d;hpb=cdcabb2c8acaa7b997f82b7ba80649b6f9288777;p=satune.git

diff --git a/src/Tuner/comptuner.cc b/src/Tuner/comptuner.cc
index 92a8985..64e58a0 100644
--- a/src/Tuner/comptuner.cc
+++ b/src/Tuner/comptuner.cc
@@ -29,7 +29,13 @@ void CompTuner::findBestTwoTuners() {
 			double mintimes[problems.getSize()];
 			for (uint l = 0; l < problems.getSize(); l++) {
 				Problem *problem = problems.get(l);
-				mintimes[l] = pow(min(tuner1->getTime(problem), tuner2->getTime(problem)), (double)1 / problems.getSize());
+				long long time1 = tuner1->getTime(problem);
+				long long time2 = tuner2->getTime(problem);
+				long long minTime =DBL_MAX;
+				if(time1 != -1 || time2 != -1){
+					minTime = min(time1,time2);
+				}
+				mintimes[l] = pow(minTime, (double)1 / problems.getSize());
 			}
 			double result = 1;
 			for (uint l = 0; l < problems.getSize(); l++) {