exhaustive_search_verification