run_benchmarking function

Run Formal Benchmarking