Evaluation of the maximum proportion of invertible submatrices in invertible binary matrices.