Bug fix: besttime for each problem

[satune.git] / src / Tuner / multituner.h

diff --git a/src/Tuner/multituner.h b/src/Tuner/multituner.h
index f566828d86a72f5b282ab0b1ca07528df1e0b5c3..95354c8d73b0f10290df9b427a96ea78fecae055 100644 (file)
--- a/src/Tuner/multituner.h
+++ b/src/Tuner/multituner.h
@@ -15,6 +15,7 @@ private:
        int problemnumber;
        int result;
        char *problem;
+        double besttime;
        friend class MultiTuner;
 };
 
@@ -42,7 +43,7 @@ public:
        void addProblem(const char *filename);
        void addTuner(SearchTuner *tuner);
        void readData(uint numRuns);
-        void updateTimeout(long long metric);
+        void updateTimeout(Problem *problem, long long metric);
        void tuneK();
        void tuneComp();
        void printData();
@@ -61,7 +62,6 @@ protected:
        uint budget;
        uint rounds;
        uint timeout;
-       double besttime;
        int execnum;
 };
 #endif