{
  "##choices#calibration_time": 10.0, 
  "##choices#cmd_key": "corners", 
  "##choices#compile_type": "dynamic", 
  "##choices#compiler_description_uoa": "gcc-4.9.0-auto", 
  "##choices#compiler_flags#base_opt": "-O3", 
  "##choices#compiler_flags#bool--fexcess-precision=": "-fexcess-precision=fast", 
  "##choices#compiler_flags#bool-auto-inc-dec": "-fno-auto-inc-dec", 
  "##choices#compiler_flags#bool-caller-saves": "-fno-caller-saves", 
  "##choices#compiler_flags#bool-delete-null-pointer-checks": "-fno-delete-null-pointer-checks", 
  "##choices#compiler_flags#bool-ira-share-save-slots": "-fno-ira-share-save-slots", 
  "##choices#compiler_flags#bool-isolate-erroneous-paths-dereference": "-fisolate-erroneous-paths-dereference", 
  "##choices#compiler_flags#bool-merge-all-constants": "-fmerge-all-constants", 
  "##choices#compiler_flags#bool-rename-registers": "-fno-rename-registers", 
  "##choices#compiler_flags#bool-sched-group-heuristic": "-fno-sched-group-heuristic", 
  "##choices#compiler_flags#bool-sched-spec-load-dangerous": "-fno-sched-spec-load-dangerous", 
  "##choices#compiler_flags#bool-schedule-insns": "-fschedule-insns", 
  "##choices#compiler_flags#bool-tracer": "-ftracer", 
  "##choices#compiler_flags#bool-tree-loop-if-convert-stores": "-fno-tree-loop-if-convert-stores", 
  "##choices#compiler_flags#bool-tree-loop-optimize": "-fno-tree-loop-optimize", 
  "##choices#compiler_flags#bool-tree-slsr": "-fno-tree-slsr", 
  "##choices#compiler_flags#bool-tree-tail-merge": "-fno-tree-tail-merge", 
  "##choices#compiler_flags#bool-unroll-all-loops": "-funroll-all-loops", 
  "##choices#compiler_flags#bool-use-linker-plugin": "-fuse-linker-plugin", 
  "##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"
}