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