Statistics for Machine Learning for SAT Solvers