Statistics for Discovering and harnessing structures in solving application satisfiability instances