the Automatic Benchmark Synthesis Utility