Automata-based verification of relational properties of functions over data structure

We provide three tables of experiments for the three different convolutions (Right/Left/Complete).