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