Added more solver tests