{
  "##choices#calibration_time": 10.0, 
  "##choices#cmd_key": "decode", 
  "##choices#compile_type": "dynamic", 
  "##choices#compiler_description_uoa": "gcc-4.9.0-auto", 
  "##choices#compiler_flags#base_opt": "-O1", 
  "##choices#compiler_flags#bool--fexcess-precision=": "-fexcess-precision=fast", 
  "##choices#compiler_flags#bool-branch-target-load-optimize2": "-fno-branch-target-load-optimize2", 
  "##choices#compiler_flags#bool-btr-bb-exclusive": "-fbtr-bb-exclusive", 
  "##choices#compiler_flags#bool-cse-skip-blocks": "-fcse-skip-blocks", 
  "##choices#compiler_flags#bool-data-sections": "-fno-data-sections", 
  "##choices#compiler_flags#bool-function-sections": "-ffunction-sections", 
  "##choices#compiler_flags#bool-if-conversion": "-fno-if-conversion", 
  "##choices#compiler_flags#bool-ira-loop-pressure": "-fno-ira-loop-pressure", 
  "##choices#compiler_flags#bool-peephole": "-fpeephole", 
  "##choices#compiler_flags#bool-prefetch-loop-arrays": "-fno-prefetch-loop-arrays", 
  "##choices#compiler_flags#bool-reschedule-modulo-scheduled-loops": "-freschedule-modulo-scheduled-loops", 
  "##choices#compiler_flags#bool-sched-group-heuristic": "-fno-sched-group-heuristic", 
  "##choices#compiler_flags#bool-sched-pressure": "-fno-sched-pressure", 
  "##choices#compiler_flags#bool-signaling-nans": "-fno-signaling-nans", 
  "##choices#compiler_flags#bool-strict-aliasing": "-fno-strict-aliasing", 
  "##choices#compiler_flags#bool-tree-loop-if-convert": "-ftree-loop-if-convert", 
  "##choices#compiler_flags#bool-tree-vrp": "-ftree-vrp", 
  "##choices#compiler_flags#bool-unit-at-a-time": "-funit-at-a-time", 
  "##choices#compiler_flags#bool-vpt": "-fno-vpt", 
  "##choices#data_uoa": "zlib", 
  "##choices#dataset_file": "data", 
  "##choices#dataset_uoa": "video-raw-0001-deflated", 
  "##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"
}