completed_exhaustive_search_verification