Statistics for Deciding Second-order Logics using Database Evaluation Techniques