{
  "##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": "-Og", 
  "##choices#compiler_flags#bool--ffp-contract=": "-ffp-contract=off", 
  "##choices#compiler_flags#bool-auto-inc-dec": "-fauto-inc-dec", 
  "##choices#compiler_flags#bool-cx-fortran-rules": "-fno-cx-fortran-rules", 
  "##choices#compiler_flags#bool-devirtualize-at-ltrans": "-fdevirtualize-at-ltrans", 
  "##choices#compiler_flags#bool-if-conversion2": "-fif-conversion2", 
  "##choices#compiler_flags#bool-ipa-cp-alignment": "-fipa-cp-alignment", 
  "##choices#compiler_flags#bool-ipa-icf": "-fno-ipa-icf", 
  "##choices#compiler_flags#bool-ira-loop-pressure": "-fira-loop-pressure", 
  "##choices#compiler_flags#bool-isolate-erroneous-paths-attribute": "-fno-isolate-erroneous-paths-attribute", 
  "##choices#compiler_flags#bool-ivopts": "-fivopts", 
  "##choices#compiler_flags#bool-live-range-shrinkage": "-flive-range-shrinkage", 
  "##choices#compiler_flags#bool-modulo-sched": "-fno-modulo-sched", 
  "##choices#compiler_flags#bool-move-loop-invariants": "-fno-move-loop-invariants", 
  "##choices#compiler_flags#bool-omit-frame-pointer": "-fno-omit-frame-pointer", 
  "##choices#compiler_flags#bool-optimize-sibling-calls": "-fno-optimize-sibling-calls", 
  "##choices#compiler_flags#bool-ssa-phiopt": "-fno-ssa-phiopt", 
  "##choices#compiler_flags#bool-strict-overflow": "-fstrict-overflow", 
  "##choices#compiler_flags#bool-tree-loop-im": "-ftree-loop-im", 
  "##choices#compiler_flags#bool-tree-loop-optimize": "-fno-tree-loop-optimize", 
  "##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"
}