Synthesis_incorporation/value_search/value_search.py [614:626]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
                                    )
                            elif all_operations.find_operation_with_name('IntOperation').apply([predicted_value], settings) == 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,
                                        statistics
                                    )
                            else:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



Synthesis_incorporation/value_search/value_search.py [847:859]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
                                    )
                            elif all_operations.find_operation_with_name('IntOperation').apply([predicted_value], settings) == 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,
                                        statistics
                                    )
                            else:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -