Create new empirical data
Formal analysis of BFS
Results of empirical analysis
housekeeping