/// current date (in the format YYMMDD) is used as a version number.
static const string AppName = "Stockfish";
-static const string EngineVersion = "2.1.1";
+static const string EngineVersion = "";
static const string AppTag = "";
void dbg_print_hit_rate() {
if (dbg_hit_cnt0)
- cout << "Total " << dbg_hit_cnt0 << " Hit " << dbg_hit_cnt1
+ cerr << "Total " << dbg_hit_cnt0 << " Hit " << dbg_hit_cnt1
<< " hit rate (%) " << 100 * dbg_hit_cnt1 / dbg_hit_cnt0 << endl;
}
void dbg_print_mean() {
if (dbg_mean_cnt0)
- cout << "Total " << dbg_mean_cnt0 << " Mean "
+ cerr << "Total " << dbg_mean_cnt0 << " Mean "
<< (float)dbg_mean_cnt1 / dbg_mean_cnt0 << endl;
}