As mentioned above in 6_sec:polybench, our polyhedral databases are generated by tracing PIPS execution on public benchmarks, and stored in directory-structured files. There is a possibility that we have a small redundancy in our polyhedral databases. The chosen analyses are transformers, preconditions and must regions.