Add example solutions to default instances for Reach and Deadlock #613

enellis wants to merge 2 commits intodevfmidue/modelling-tasks:devfrom

example-solutionsfmidue/modelling-tasks:example-solutionsCopy head branch name to clipboard