Synthesis_incorporation/value_search/value_search.py [888:900]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
                            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
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



Synthesis_incorporation/value_search/value_search.py [1170:1182]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
                        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
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -