Results are verified for correctness