Put the time limit information in a Run.
Ignore data folder.
Code cleanup.
Add a name to a Run.
Start work on a tool to compare two runs.
Remove unused imports.
Handle cases where a model is not covered by a run.
Use a class to store computed results.
Check if runs have the same number of states.