Adjust text printed with predicted schedule performance in optimize.

schedgen/schedgen-optimize.py

@@ -295,7 +295,7 @@ if __name__ == "__main__":
             (best_count, _, best_time) = runtime(
                 [(longest, best_opt)], r.frame, timeout
             )
-            message(f"This solves {best_count} in {best_time}s.", logics)
+            message(f"This solves {best_count} benchmarks. Time needed: {best_time}s.", logics)
             for e in exps:
                 (new_count, _, time) = runtime([(longest, e)], r.frame, timeout)
                 if new_count > best_count:
@@ -309,7 +309,7 @@ if __name__ == "__main__":
                     best_opt = e
             message("The best schedule is:", logics)
             message(f"  Run\t'{best_opt}'", logics)
-            message(f"This solves {best_count} in {best_time}s.", logics)
+            message(f"This solves {best_count} benchmarks. Time needed: {best_time}s.", logics)
             after_count = best_count
             after_total_time = best_time
             best_schedule = [(t, best_opt)]
@@ -346,7 +346,7 @@ if __name__ == "__main__":
                 best_schedule, r.frame, timeout
             )
             message(
-                f"This schedule solves {after_count}/{total_count} in {after_total_time:.2f}s.",
+                f"This schedule solves {after_count}/{total_count} benchmarks. Time needed: {after_total_time:.2f}s.",
                 logics,
             )