Running and verifying the solution