- int available_time() const { return int(optimumSearchTime * unstablePvFactor * 0.76); }
- int maximum_time() const { return maximumSearchTime; }
+ int available_time() const { return int(optimumTime * unstablePvFactor * 0.76); }
+ int maximum_time() const { return maximumTime; }
+ int elapsed_time() const { return now() - start; }