The instance normalized-langford-4-2 was not completed due to processing limitations.