{
  "##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-branch-count-reg": "-fno-branch-count-reg", 
  "##choices#compiler_flags#bool-conserve-stack": "-fno-conserve-stack", 
  "##choices#compiler_flags#bool-dce": "-fno-dce", 
  "##choices#compiler_flags#bool-devirtualize": "-fno-devirtualize", 
  "##choices#compiler_flags#bool-merge-all-constants": "-fmerge-all-constants", 
  "##choices#compiler_flags#bool-optimize-sibling-calls": "-fno-optimize-sibling-calls", 
  "##choices#compiler_flags#bool-predictive-commoning": "-fpredictive-commoning", 
  "##choices#compiler_flags#bool-sched-dep-count-heuristic": "-fno-sched-dep-count-heuristic", 
  "##choices#compiler_flags#bool-sched-interblock": "-fsched-interblock", 
  "##choices#compiler_flags#bool-sched-rank-heuristic": "-fno-sched-rank-heuristic", 
  "##choices#compiler_flags#bool-sched-spec-load": "-fsched-spec-load", 
  "##choices#compiler_flags#bool-schedule-insns": "-fschedule-insns", 
  "##choices#compiler_flags#bool-selective-scheduling2": "-fno-selective-scheduling2", 
  "##choices#compiler_flags#bool-shrink-wrap": "-fshrink-wrap", 
  "##choices#compiler_flags#bool-tree-loop-im": "-fno-tree-loop-im", 
  "##choices#compiler_flags#bool-tree-pre": "-fno-tree-pre", 
  "##choices#compiler_flags#bool-tree-sink": "-fno-tree-sink", 
  "##choices#compiler_flags#bool-tree-tail-merge": "-fno-tree-tail-merge", 
  "##choices#compiler_flags#bool-tree-ter": "-ftree-ter", 
  "##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"
}