diff --git a/exp/extract_games.awk b/exp/extract_games.awk index 07c5bad18c..8f3d5f3bd9 100644 --- a/exp/extract_games.awk +++ b/exp/extract_games.awk @@ -19,6 +19,10 @@ function genName(name) { return "MCTS-H" } else if (name == "monte carlo tree search 2") { return "MCTS2-H" + } else if (name == "mtd(f)") { + return "MTDF-H" + } else if (name == "mtd(f) (cheat)") { + return "MTDF-C" } else { return "UNKNOWN" }