Benchmarking program for my synthesis competition entry