Fast exhaustive search for polynomial systems in F2