{
  "##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--flto-partition=": "-flto-partition=none", 
  "##choices#compiler_flags#bool-branch-target-load-optimize2": "-fbranch-target-load-optimize2", 
  "##choices#compiler_flags#bool-check-data-deps": "-fno-check-data-deps", 
  "##choices#compiler_flags#bool-crossjumping": "-fno-crossjumping", 
  "##choices#compiler_flags#bool-function-cse": "-ffunction-cse", 
  "##choices#compiler_flags#bool-ipa-pure-const": "-fno-ipa-pure-const", 
  "##choices#compiler_flags#bool-keep-inline-functions": "-fkeep-inline-functions", 
  "##choices#compiler_flags#bool-keep-static-consts": "-fkeep-static-consts", 
  "##choices#compiler_flags#bool-merge-all-constants": "-fmerge-all-constants", 
  "##choices#compiler_flags#bool-sched-dep-count-heuristic": "-fno-sched-dep-count-heuristic", 
  "##choices#compiler_flags#bool-sched-rank-heuristic": "-fsched-rank-heuristic", 
  "##choices#compiler_flags#bool-sched-spec": "-fsched-spec", 
  "##choices#compiler_flags#bool-schedule-insns2": "-fno-schedule-insns2", 
  "##choices#compiler_flags#bool-sel-sched-pipelining": "-fsel-sched-pipelining", 
  "##choices#compiler_flags#bool-shrink-wrap": "-fno-shrink-wrap", 
  "##choices#compiler_flags#bool-strict-aliasing": "-fno-strict-aliasing", 
  "##choices#compiler_flags#bool-strict-overflow": "-fno-strict-overflow", 
  "##choices#compiler_flags#bool-tree-ch": "-fno-tree-ch", 
  "##choices#compiler_flags#bool-tree-loop-optimize": "-ftree-loop-optimize", 
  "##choices#compiler_flags#bool-unsafe-loop-optimizations": "-funsafe-loop-optimizations", 
  "##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"
}