{
  "##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": "-O1", 
  "##choices#compiler_flags#bool--fexcess-precision=": "-fexcess-precision=fast", 
  "##choices#compiler_flags#bool--fira-region=": "-fira-region=all", 
  "##choices#compiler_flags#bool-cse-skip-blocks": "-fcse-skip-blocks", 
  "##choices#compiler_flags#bool-defer-pop": "-fdefer-pop", 
  "##choices#compiler_flags#bool-early-inlining": "-fno-early-inlining", 
  "##choices#compiler_flags#bool-inline-functions": "-fno-inline-functions", 
  "##choices#compiler_flags#bool-inline-small-functions": "-fno-inline-small-functions", 
  "##choices#compiler_flags#bool-ipa-pta": "-fno-ipa-pta", 
  "##choices#compiler_flags#bool-isolate-erroneous-paths-attribute": "-fisolate-erroneous-paths-attribute", 
  "##choices#compiler_flags#bool-sched-interblock": "-fno-sched-interblock", 
  "##choices#compiler_flags#bool-sched-spec-load": "-fsched-spec-load", 
  "##choices#compiler_flags#bool-sched-spec-load-dangerous": "-fsched-spec-load-dangerous", 
  "##choices#compiler_flags#bool-sel-sched-pipelining-outer-loops": "-fno-sel-sched-pipelining-outer-loops", 
  "##choices#compiler_flags#bool-single-precision-constant": "-fsingle-precision-constant", 
  "##choices#compiler_flags#bool-thread-jumps": "-fthread-jumps", 
  "##choices#compiler_flags#bool-tree-copyrename": "-fno-tree-copyrename", 
  "##choices#compiler_flags#bool-tree-dse": "-fno-tree-dse", 
  "##choices#compiler_flags#bool-tree-sra": "-ftree-sra", 
  "##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"
}