benchmarking script for AutoGroup+
Merge branch 'auto_group_with_reduction' of github.com:JHUISI/auto-tools into auto_group_with_reduction