Synthesis_incorporation/value_search/value_search.py [831:845]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
                    for predicted_value in predicted_values:
                        if predicted_value not in value_set:
                            if settings.printing.verbose:
                                expression = predicted_value.reconstruct_expression()
                                print("[prediction] {} produces:\n{}".format(expression, predicted_value))

                            if predicted_value == output_value:
                                end_time = _check_solution_found(predicted_value, output_value, benchmark,
                                                                0, start_time, end_time,
                                                                solutions, solution_expression_set, settings, True)
                                if len(solutions) >= settings.max_solutions:
                                    return (
                                        solutions,
                                        value_set,
                                        values_by_weight,
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



Synthesis_incorporation/value_search/value_search.py [1012:1026]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
                for predicted_value in predicted_values:
                    if predicted_value not in value_set:
                        if settings.printing.verbose:
                            expression = predicted_value.reconstruct_expression()
                            print("[prediction] {} produces:\n{}".format(expression, predicted_value))

                        if predicted_value == output_value:
                            end_time = _check_solution_found(predicted_value, output_value, benchmark,
                                                        0, start_time, end_time,
                                                        solutions, solution_expression_set, settings, True)
                            if len(solutions) >= settings.max_solutions:
                                return (
                                    solutions,
                                    value_set,
                                    values_by_weight,
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -