Clean up SolutionChecker