XL works in polynomial time only if the system is overridden.
In the general case, each system of multidimensional nonlinear equations over GF (2) is equivalent to some instance of 3-SAT. Therefore, the problem of finding a solution is NP-hard.
I can suggest two other methods that are applicable in general (and in my cases were much faster than XL):
source
share