Why would anyone play this game when he could just diagonalize (nxm)x(nxm) matrix in F2 and get a basis? (in case of non-singular, otherwise impossible) upd: misunderstood the game, it's about solving Ax=b in F2, so Gauss elimination.