Change theoretical best solver to virtual best solver

schedgen/schedgen-query.py

@@ -145,7 +145,7 @@ if __name__ == "__main__":
     if args.query in ["all", "best"]:
         if args.score:
             if args.query == "all":
-                print("\nTheoretical best solver scores:")
+                print("\nVirtual best solver scores:")
             print(f"Solves:       {len(solved_best.loc[solved_best <= timeout])}")
             print(f"Solving time: {solved_best.loc[solved_best <= timeout].sum():.2f}")
             solved_best.loc[solved_best > timeout] = 2 * timeout
@@ -153,7 +153,7 @@ if __name__ == "__main__":
             solved_best.loc[solved_best > timeout] = float("inf")
         else:
             if args.query == "all":
-                print("\nBenchmarks solved by the theoretical best solver:")
+                print("\nBenchmarks solved by the virtual best solver:")
             print(solved_best.to_string())
 
     if args.query in ["all", "unsolved"]:
@@ -165,7 +165,7 @@ if __name__ == "__main__":
     if args.query in ["all", "compare"]:
         if args.query == "all":
             print(
-                "\nBenchmarks solved by the theoretical best solver, but not by the schedule:"
+                "\nBenchmarks solved by the virtual best solver, but not by the schedule:"
             )
         ls = list(
             exps[sc].loc[exps[sc] == float("inf")].loc[solved_best < float("inf")].index