Output de DTMCs em diretório.