Sequential local algorithms with certain local rules fail to solve the random k-XORSAT problem when the clause density exceeds the clustering threshold, even though solutions exist with high probability.
