Statistics for SAT-based answer set programming