Enabled Overall with details, mainly for CSV format

server.py

@@ -178,6 +178,7 @@ class LeaderboardServer:
         self.TASKS_METADATA = json.load(open(TASKS_METADATA_PATH))
         self.TASKS_CATEGORIES = {self.TASKS_METADATA[task]["category"] for task in self.TASKS_METADATA}
         self.TASKS_CATEGORY_OVERALL = "Overall"
+        self.TASKS_CATEGORY_OVERALL_DETAILS = "Overall with details"
         self.CATEGORY_TO_TASK_ABBREVIATION_TO_DETAILS = self._prepare_category_to_task_abbr_to_details()
         self.MAX_LENGTH_OF_MODEL_TITLE = 28
         self.DIR_DATAFRAMES_CSV = "./dataframes_csv"
@@ -224,7 +225,7 @@ class LeaderboardServer:
     def update_leaderboard(self):
         self._update_models_and_tournament_results()
         
-        categories = [self.TASKS_CATEGORY_OVERALL] + sorted(self.TASKS_CATEGORIES)
+        categories = [self.TASKS_CATEGORY_OVERALL, self.TASKS_CATEGORY_OVERALL_DETAILS] + sorted(self.TASKS_CATEGORIES)
         
         leaderboard_dataframes = {
             category: self._get_leaderboard(category=category) if not self.tournament_results_corrupted else pd.DataFrame(columns=['Corrupted, please check integrity'])
@@ -304,6 +305,7 @@ class LeaderboardServer:
         sorted_abbreviation2name = dict.fromkeys(sorted(abbreviation2name.keys()))
         sorted_abbreviation2name.update(abbreviation2name)
         category2abbreviation2name[self.TASKS_CATEGORY_OVERALL] = sorted_abbreviation2name
+        category2abbreviation2name[self.TASKS_CATEGORY_OVERALL_DETAILS] = sorted_abbreviation2name
         
         return category2abbreviation2name
 
@@ -448,7 +450,7 @@ class LeaderboardServer:
                 match_results = {}
                 for task in self.tournament_results[submission_id][competitor_id]:
                     task_category = self.TASKS_METADATA[task]["category"]
-                    if category in (task_category, self.TASKS_CATEGORY_OVERALL):
+                    if category in (task_category, self.TASKS_CATEGORY_OVERALL, self.TASKS_CATEGORY_OVERALL_DETAILS):
                         if to_csv:
                             match_results[task] = self.tournament_results[submission_id][competitor_id][task]["significant"]
                         else:
@@ -554,7 +556,7 @@ class LeaderboardServer:
                     for task in self.TASKS_METADATA.keys():
                         
                         task_category = self.TASKS_METADATA[task]["category"]
-                        if category not in (self.TASKS_CATEGORY_OVERALL, task_category):
+                        if category not in (self.TASKS_CATEGORY_OVERALL, self.TASKS_CATEGORY_OVERALL_DETAILS, task_category):
                             continue
                         else:
                             # tournament_results
@@ -567,7 +569,7 @@ class LeaderboardServer:
                             task_score = num_of_wins / num_of_competitors * 100 if num_of_competitors > 0 else 100
                             win_score.setdefault(task_category, []).append(task_score)
                             
-                            if category == task_category:
+                            if category in (task_category, self.TASKS_CATEGORY_OVERALL_DETAILS):
                                 local_results[task] = task_score
                                 for metric in VISIBLE_METRICS:
                                     visible_metrics_map_word_to_header[task + "_" + metric] = self.TASKS_METADATA[task]["abbreviation"] + " " + metric
@@ -580,9 +582,10 @@ class LeaderboardServer:
                     for c in win_score:
                         win_score[c] = sum(win_score[c]) / len(win_score[c])
                     
-                    if category == self.TASKS_CATEGORY_OVERALL:
-                        for c in win_score:
-                            local_results[c] = win_score[c]
+                    if category in (self.TASKS_CATEGORY_OVERALL, self.TASKS_CATEGORY_OVERALL_DETAILS):
+                        if category == self.TASKS_CATEGORY_OVERALL:
+                            for c in win_score:
+                                local_results[c] = win_score[c]
                         local_results["average_score"] = sum(win_score.values()) / len(win_score)
                     else:
                         local_results["average_score"] = win_score[category]