Create new `self.tournament_results` more effectively

server.py

@@ -259,13 +259,16 @@ class LeaderboardServer:
 
                     gr.Info('Running tournament...', duration=15)
                     with self.var_lock.rw:
-                        self.tournament_results = {k: {} for k in self.submission_ids}
-                    for submission_id in self.submission_ids:
+                        self.tournament_results = {}
+                        submission_ids_backup = self.submission_ids
+                        self.submission_ids = set()
+                    for submission_id in submission_ids_backup:
                         with self.var_lock.ro:
                             file = self.submission_id_to_file[submission_id]
                             tournament_results = self.start_tournament(submission_id, file)
                         with self.var_lock.rw:
                             self.tournament_results = tournament_results
+                            self.submission_ids.add(submission_id)
                     
                     gr.Info('Uploading tournament results...', duration=5)
                     if self.tournament_results: