{
  "##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": "-Ofast", 
  "##choices#compiler_flags#bool--fira-region=": "-fira-region=mixed", 
  "##choices#compiler_flags#bool-branch-target-load-optimize": "-fno-branch-target-load-optimize", 
  "##choices#compiler_flags#bool-compare-elim": "-fno-compare-elim", 
  "##choices#compiler_flags#bool-delayed-branch": "-fno-delayed-branch", 
  "##choices#compiler_flags#bool-dse": "-fdse", 
  "##choices#compiler_flags#bool-gcse-after-reload": "-fgcse-after-reload", 
  "##choices#compiler_flags#bool-ipa-cp-clone": "-fno-ipa-cp-clone", 
  "##choices#compiler_flags#bool-ipa-pure-const": "-fipa-pure-const", 
  "##choices#compiler_flags#bool-ira-share-save-slots": "-fira-share-save-slots", 
  "##choices#compiler_flags#bool-ira-share-spill-slots": "-fno-ira-share-spill-slots", 
  "##choices#compiler_flags#bool-keep-inline-functions": "-fkeep-inline-functions", 
  "##choices#compiler_flags#bool-omit-frame-pointer": "-fomit-frame-pointer", 
  "##choices#compiler_flags#bool-peel-loops": "-fno-peel-loops", 
  "##choices#compiler_flags#bool-sched-group-heuristic": "-fsched-group-heuristic", 
  "##choices#compiler_flags#bool-selective-scheduling2": "-fselective-scheduling2", 
  "##choices#compiler_flags#bool-tree-dominator-opts": "-fno-tree-dominator-opts", 
  "##choices#compiler_flags#bool-tree-fre": "-fno-tree-fre", 
  "##choices#compiler_flags#bool-tree-loop-if-convert": "-ftree-loop-if-convert", 
  "##choices#compiler_flags#bool-tree-loop-vectorize": "-fno-tree-loop-vectorize", 
  "##choices#compiler_flags#bool-tree-phiprop": "-ftree-phiprop", 
  "##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"
}