{
  "##choices#calibration_time": 10.0, 
  "##choices#cmd_key": "decode", 
  "##choices#compile_type": "dynamic", 
  "##choices#compiler_description_uoa": "gcc-7.1.0-auto", 
  "##choices#compiler_flags#base_opt": "-Os", 
  "##choices#compiler_flags#bool--fexcess-precision=": "-fexcess-precision=standard", 
  "##choices#compiler_flags#bool--ffp-contract=": "-ffp-contract=off", 
  "##choices#compiler_flags#bool-associative-math": "-fno-associative-math", 
  "##choices#compiler_flags#bool-caller-saves": "-fno-caller-saves", 
  "##choices#compiler_flags#bool-ipa-icf": "-fno-ipa-icf", 
  "##choices#compiler_flags#bool-ipa-pta": "-fno-ipa-pta", 
  "##choices#compiler_flags#bool-isolate-erroneous-paths-dereference": "-fisolate-erroneous-paths-dereference", 
  "##choices#compiler_flags#bool-loop-block": "-fno-loop-block", 
  "##choices#compiler_flags#bool-move-loop-invariants": "-fmove-loop-invariants", 
  "##choices#compiler_flags#bool-omit-frame-pointer": "-fno-omit-frame-pointer", 
  "##choices#compiler_flags#bool-sched-spec": "-fno-sched-spec", 
  "##choices#compiler_flags#bool-selective-scheduling": "-fno-selective-scheduling", 
  "##choices#compiler_flags#bool-signaling-nans": "-fno-signaling-nans", 
  "##choices#compiler_flags#bool-strict-aliasing": "-fstrict-aliasing", 
  "##choices#compiler_flags#bool-tree-copyrename": "-ftree-copyrename", 
  "##choices#compiler_flags#bool-tree-dominator-opts": "-ftree-dominator-opts", 
  "##choices#compiler_flags#bool-tree-pre": "-fno-tree-pre", 
  "##choices#compiler_flags#bool-unsafe-loop-optimizations": "-funsafe-loop-optimizations", 
  "##choices#compiler_flags#bool-vect-cost-model": "-fvect-cost-model", 
  "##choices#compiler_flags#bool-vpt": "-fvpt", 
  "##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"
}