Statistics for An empirical study of negation in datalog programs