{
  "##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--ffp-contract=": "-ffp-contract=on", 
  "##choices#compiler_flags#bool-cprop-registers": "-fcprop-registers", 
  "##choices#compiler_flags#bool-delayed-branch": "-fdelayed-branch", 
  "##choices#compiler_flags#bool-finite-math-only": "-ffinite-math-only", 
  "##choices#compiler_flags#bool-float-store": "-fno-float-store", 
  "##choices#compiler_flags#bool-gcse-after-reload": "-fno-gcse-after-reload", 
  "##choices#compiler_flags#bool-gcse-lm": "-fgcse-lm", 
  "##choices#compiler_flags#bool-inline-small-functions": "-finline-small-functions", 
  "##choices#compiler_flags#bool-isolate-erroneous-paths-attribute": "-fisolate-erroneous-paths-attribute", 
  "##choices#compiler_flags#bool-ivopts": "-fno-ivopts", 
  "##choices#compiler_flags#bool-section-anchors": "-fno-section-anchors", 
  "##choices#compiler_flags#bool-selective-scheduling": "-fselective-scheduling", 
  "##choices#compiler_flags#bool-selective-scheduling2": "-fno-selective-scheduling2", 
  "##choices#compiler_flags#bool-split-ivs-in-unroller": "-fno-split-ivs-in-unroller", 
  "##choices#compiler_flags#bool-tree-fre": "-fno-tree-fre", 
  "##choices#compiler_flags#bool-tree-loop-im": "-ftree-loop-im", 
  "##choices#compiler_flags#bool-tree-switch-conversion": "-fno-tree-switch-conversion", 
  "##choices#compiler_flags#bool-tree-ter": "-fno-tree-ter", 
  "##choices#compiler_flags#bool-tree-vectorize": "-ftree-vectorize", 
  "##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"
}