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 [1106:1121]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
                                    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,
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -