The instance normalized-ramsey-20-3 was not completed due to processing limitations.