Check correctness of the result