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