fixed solver tests