Ratings for Main Existence Resolution