Added menu to resolver to determine whether to use a benchmark file or prompt for manual user input.