SMT files for the pigeonhole example will be generated here.