{
  "##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--ffp-contract=": "-ffp-contract=fast", 
  "##choices#compiler_flags#bool-branch-probabilities": "-fno-branch-probabilities", 
  "##choices#compiler_flags#bool-forward-propagate": "-fno-forward-propagate", 
  "##choices#compiler_flags#bool-gcse": "-fgcse", 
  "##choices#compiler_flags#bool-inline-functions-called-once": "-finline-functions-called-once", 
  "##choices#compiler_flags#bool-inline-small-functions": "-finline-small-functions", 
  "##choices#compiler_flags#bool-loop-interchange": "-floop-interchange", 
  "##choices#compiler_flags#bool-modulo-sched-allow-regmoves": "-fno-modulo-sched-allow-regmoves", 
  "##choices#compiler_flags#bool-peephole2": "-fpeephole2", 
  "##choices#compiler_flags#bool-sched-last-insn-heuristic": "-fno-sched-last-insn-heuristic", 
  "##choices#compiler_flags#bool-schedule-insns2": "-fno-schedule-insns2", 
  "##choices#compiler_flags#bool-selective-scheduling2": "-fselective-scheduling2", 
  "##choices#compiler_flags#bool-trapping-math": "-fno-trapping-math", 
  "##choices#compiler_flags#bool-tree-ch": "-fno-tree-ch", 
  "##choices#compiler_flags#bool-tree-forwprop": "-fno-tree-forwprop", 
  "##choices#compiler_flags#bool-tree-fre": "-fno-tree-fre", 
  "##choices#compiler_flags#bool-tree-loop-im": "-fno-tree-loop-im", 
  "##choices#compiler_flags#bool-tree-pta": "-ftree-pta", 
  "##choices#compiler_flags#bool-tree-slsr": "-ftree-slsr", 
  "##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"
}