Es raro, normalmente los reconoce todo salvo algún tema de incompatibilidades. ¿Los que no te reconoce son todos de la misma productora? Lo digo porque suelen utilizar el mismo patrón y si es un tema de incompatibilidad pues tiene sentido.
De todas maneras prueba a borrar la cache interna para los menús de BD, no recuerdo exactamente donde pero en alguna opción de los settings se puede hacer. Suele ayudar cuando se queda colgado en algún menú de BD y luego no te deja volver a entrar.
Sí claro, el smart D1 procesa cualquier archivo full HD y los 3D sbs pero no los 4K, cuando salió al mercado ni siquiera existía el formato.Luego también me pasa que los mkv que están en 4k tampoco me los lee (mad max, total recall, ...) supongo que ahí ya tendría que irme al model dune 4k.
Saludos.