Add more test case to SolutionCheckerTest