Searched refs:event_or_solution_count (Results 1 – 1 of 1) sorted by relevance
114 std::string ProgressMessage(const std::string& event_or_solution_count, in ProgressMessage() argument121 event_or_solution_count, time_in_seconds, obj_best, in ProgressMessage()125 std::string SatProgressMessage(const std::string& event_or_solution_count, in SatProgressMessage() argument128 return absl::StrFormat("#%-5s %6.2fs %s", event_or_solution_count, in SatProgressMessage()