solver tests