Statistics for Using integer programming in finding t-designs