Добавляйте уникальный суффикс в папку результатов для каждого запуска, чтобы избежать перезаписи предыдущих результатов.
Категория параметров конфигурации модели: Polyspace
По умолчанию: Off 
Каждый раз, когда вы перезапускаете анализ, результаты перезаписываются.
Для каждого запуска анализа, Polyspace® задает новое расположение для папки результатов путем добавления уникального номера к имени папки.
Используйте pslinkoptions свойства AddSuffixToResultDir.
The pslinkoptions функция позволяет вам создать Объект опций Polyspace, которую можно повторно использовать для нескольких моделей. Вы также можете использовать set_param (Simulink) функция для связи этого свойства с моделью. Используйте параметр PSAddSuffixToResultDir с тем же значением, что и для pslinkoptions свойства AddSuffixToResultDir. См. Pslinkoptions Properties.
pslinkoptions | pslinkoptions Свойства