Add script to list all cases in which generating the PBES failed.
Check whether the sizes of the stategraph reduced PBESs are smaller than the parelm reduced ones
Merge branch 'master' of https://github.com/jkeiren/pbesstategraph-experiments