{
  "##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": "-O2", 
  "##choices#compiler_flags#bool-check-data-deps": "-fno-check-data-deps", 
  "##choices#compiler_flags#bool-early-inlining": "-fearly-inlining", 
  "##choices#compiler_flags#bool-gcse-lm": "-fno-gcse-lm", 
  "##choices#compiler_flags#bool-guess-branch-probability": "-fguess-branch-probability", 
  "##choices#compiler_flags#bool-if-conversion2": "-fif-conversion2", 
  "##choices#compiler_flags#bool-inline": "-fno-inline", 
  "##choices#compiler_flags#bool-ipa-pta": "-fipa-pta", 
  "##choices#compiler_flags#bool-ira-loop-pressure": "-fira-loop-pressure", 
  "##choices#compiler_flags#bool-ivopts": "-fno-ivopts", 
  "##choices#compiler_flags#bool-loop-nest-optimize": "-floop-nest-optimize", 
  "##choices#compiler_flags#bool-lra-remat": "-flra-remat", 
  "##choices#compiler_flags#bool-merge-constants": "-fmerge-constants", 
  "##choices#compiler_flags#bool-partial-inlining": "-fno-partial-inlining", 
  "##choices#compiler_flags#bool-schedule-insns2": "-fschedule-insns2", 
  "##choices#compiler_flags#bool-semantic-interposition": "-fsemantic-interposition", 
  "##choices#compiler_flags#bool-shrink-wrap": "-fno-shrink-wrap", 
  "##choices#compiler_flags#bool-toplevel-reorder": "-ftoplevel-reorder", 
  "##choices#compiler_flags#bool-tree-copy-prop": "-ftree-copy-prop", 
  "##choices#compiler_flags#bool-tree-fre": "-fno-tree-fre", 
  "##choices#compiler_flags#bool-tree-loop-optimize": "-fno-tree-loop-optimize", 
  "##choices#compiler_flags#bool-tree-pre": "-fno-tree-pre", 
  "##choices#compiler_flags#bool-wpa": "-fno-wpa", 
  "##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"
}