Fixed Correctness of TestSolver