Synthesis_incorporation/value_search/value_search.py [658:674]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
                        start_time,
                        solutions,
                        solution_expression_set,
                        benchmark,
                        settings,
                    )
                    if possible_first_solution and solutions:
                        end_time = min(
                            end_time,
                            timeit.default_timer() + settings.max_extra_solutions_time,
                        )
                    if len(solutions) >= settings.max_solutions:
                        return solutions, value_set, values_by_weight, statistics

        if settings.printing.progress:
            print(
                "Found {} distinct values of weight {}, or {} total.".format(
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



Synthesis_incorporation/value_search/value_search.py [1170:1186]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
                        start_time,
                        solutions,
                        solution_expression_set,
                        benchmark,
                        settings,
                    )
                    if possible_first_solution and solutions:
                        end_time = min(
                            end_time,
                            timeit.default_timer() + settings.max_extra_solutions_time,
                        )
                    if len(solutions) >= settings.max_solutions:
                        return solutions, value_set, values_by_weight, statistics

        if settings.printing.progress:
            print(
                "Found {} distinct values of weight {}, or {} total.".format(
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -