{
  "##choices#calibration_time": 10.0, 
  "##choices#cmd_key": "corners", 
  "##choices#compile_type": "dynamic", 
  "##choices#compiler_description_uoa": "gcc-7.1.0-auto", 
  "##choices#compiler_flags#base_opt": "-O3", 
  "##choices#compiler_flags#bool-conserve-stack": "-fconserve-stack", 
  "##choices#compiler_flags#bool-dce": "-fdce", 
  "##choices#compiler_flags#bool-devirtualize-speculatively": "-fno-devirtualize-speculatively", 
  "##choices#compiler_flags#bool-hoist-adjacent-loads": "-fno-hoist-adjacent-loads", 
  "##choices#compiler_flags#bool-if-conversion": "-fno-if-conversion", 
  "##choices#compiler_flags#bool-inline": "-finline", 
  "##choices#compiler_flags#bool-inline-small-functions": "-fno-inline-small-functions", 
  "##choices#compiler_flags#bool-ipa-cp-clone": "-fipa-cp-clone", 
  "##choices#compiler_flags#bool-sched-spec-insn-heuristic": "-fno-sched-spec-insn-heuristic", 
  "##choices#compiler_flags#bool-schedule-insns": "-fschedule-insns", 
  "##choices#compiler_flags#bool-schedule-insns2": "-fno-schedule-insns2", 
  "##choices#compiler_flags#bool-selective-scheduling2": "-fno-selective-scheduling2", 
  "##choices#compiler_flags#bool-split-ivs-in-unroller": "-fno-split-ivs-in-unroller", 
  "##choices#compiler_flags#bool-strict-aliasing": "-fstrict-aliasing", 
  "##choices#compiler_flags#bool-tree-builtin-call-dce": "-fno-tree-builtin-call-dce", 
  "##choices#compiler_flags#bool-tree-ch": "-ftree-ch", 
  "##choices#compiler_flags#bool-tree-copy-prop": "-ftree-copy-prop", 
  "##choices#compiler_flags#bool-tree-forwprop": "-ftree-forwprop", 
  "##choices#compiler_flags#bool-web": "-fweb", 
  "##choices#data_uoa": "cbench-automotive-susan", 
  "##choices#dataset_file": "data.pgm", 
  "##choices#dataset_uoa": "image-pgm-0001", 
  "##choices#device_id": "", 
  "##choices#host_os": "linux-32", 
  "##choices#module_uoa": "b0ac08fe1d3c2615", 
  "##choices#no_state_check": "yes", 
  "##choices#program_tags": "", 
  "##choices#repeat": 100, 
  "##choices#target": "", 
  "##choices#target_os": "linux-32", 
  "##choices#target_os_bits": "32"
}