Hamming Distance Plot Techniques For Sls Sat Solvers: Exploring The Behavior Of State-Of-The-Art Sls Solvers On Random K-Sat Problems