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
Merge remote-tracking branch 'origin/BenchNFM' into BenchNFM