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