Test cases for solver