Compress table
Merge branch 'master' of github.com:jkeiren/pbesstategraph-experiments
Use percentages encoding the *change*.
Update the readme such that it is in line with the implementation