final int T = options.symbolSize();
final List<Integer> sos = options.symbolOverheadList();
final boolean runEncoding = options.runEncodingBenchmarks();
final boolean runDecoding = options.runDecodingBenchmarks();
final int forks = options.forks();
final VerboseMode verbMode = getVerboseMode(options);
final List<RunResult> results = new ArrayList<>();
final PrintWriter pw = new PrintWriter(STDOUT, true); // true means autoflush is on
final ResultFormat resultFormat = ResultFormatFactory.getInstance(ResultFormatType.TEXT, pw);