SLiR permite relajaciones lineales sólidas y ajustadas de funciones de activación generales utilizando únicamente constantes de Lipschitz o puntos críticos. Logra hasta 7.8x más propiedades de verificación que los métodos de última generación al calcular eficientemente cotas superiores e inferiores mediante un procedimiento de desplazamiento.