Probability That Problem Is Solved