{
  "##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": "-O3", 
  "##choices#compiler_flags#bool--ffp-contract=": "-ffp-contract=on", 
  "##choices#compiler_flags#bool-cprop-registers": "-fno-cprop-registers", 
  "##choices#compiler_flags#bool-devirtualize-speculatively": "-fdevirtualize-speculatively", 
  "##choices#compiler_flags#bool-dse": "-fdse", 
  "##choices#compiler_flags#bool-gcse-lm": "-fgcse-lm", 
  "##choices#compiler_flags#bool-inline-functions-called-once": "-finline-functions-called-once", 
  "##choices#compiler_flags#bool-ira-share-save-slots": "-fira-share-save-slots", 
  "##choices#compiler_flags#bool-loop-nest-optimize": "-fno-loop-nest-optimize", 
  "##choices#compiler_flags#bool-peel-loops": "-fpeel-loops", 
  "##choices#compiler_flags#bool-sched-dep-count-heuristic": "-fsched-dep-count-heuristic", 
  "##choices#compiler_flags#bool-sched-spec": "-fsched-spec", 
  "##choices#compiler_flags#bool-strict-overflow": "-fstrict-overflow", 
  "##choices#compiler_flags#bool-tree-bit-ccp": "-ftree-bit-ccp", 
  "##choices#compiler_flags#bool-tree-copy-prop": "-ftree-copy-prop", 
  "##choices#compiler_flags#bool-tree-dominator-opts": "-fno-tree-dominator-opts", 
  "##choices#compiler_flags#bool-tree-forwprop": "-ftree-forwprop", 
  "##choices#compiler_flags#bool-tree-loop-optimize": "-fno-tree-loop-optimize", 
  "##choices#compiler_flags#bool-tree-sink": "-fno-tree-sink", 
  "##choices#compiler_flags#bool-unswitch-loops": "-funswitch-loops", 
  "##choices#compiler_flags#bool-variable-expansion-in-unroller": "-fvariable-expansion-in-unroller", 
  "##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"
}