Base name for each file is unique for each trace-formula pair
so that benchmarks for multiple input formulas can coexist in the same directory