Modify done statement when executing symreg_benchmark