{
  "##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-compare-elim": "-fno-compare-elim", 
  "##choices#compiler_flags#bool-devirtualize": "-fdevirtualize", 
  "##choices#compiler_flags#bool-dse": "-fno-dse", 
  "##choices#compiler_flags#bool-gcse-lm": "-fgcse-lm", 
  "##choices#compiler_flags#bool-guess-branch-probability": "-fguess-branch-probability", 
  "##choices#compiler_flags#bool-inline": "-fno-inline", 
  "##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-keep-static-consts": "-fkeep-static-consts", 
  "##choices#compiler_flags#bool-omit-frame-pointer": "-fomit-frame-pointer", 
  "##choices#compiler_flags#bool-sched-pressure": "-fno-sched-pressure", 
  "##choices#compiler_flags#bool-sched-spec-insn-heuristic": "-fno-sched-spec-insn-heuristic", 
  "##choices#compiler_flags#bool-selective-scheduling2": "-fselective-scheduling2", 
  "##choices#compiler_flags#bool-thread-jumps": "-fthread-jumps", 
  "##choices#compiler_flags#bool-tracer": "-fno-tracer", 
  "##choices#compiler_flags#bool-tree-loop-distribute-patterns": "-fno-tree-loop-distribute-patterns", 
  "##choices#compiler_flags#bool-unroll-all-loops": "-fno-unroll-all-loops", 
  "##choices#compiler_flags#bool-unsafe-loop-optimizations": "-fno-unsafe-loop-optimizations", 
  "##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"
}