Benchmarks used in paper (Compatible with WebChurch)
Merge branch 'faust'
Ignore z3 scripts
Merge branch 'faust'