-static cbv.elf
-dynamic cst.elf
-dynamic order.elf
-dynamic proof-order.elf
-dynamic dst.elf
-dynamic occ.elf
-dynamic proof-occ.elf
-static const-stat.elf
-dynamic const-dyn.elf
-query examples.quy
-query paper.quy
