The instance normalized-ramsey-45-4 was not completed due to processing limitations.