{
  "##choices#calibration_time": 10.0, 
  "##choices#cmd_key": "decode", 
  "##choices#compile_type": "dynamic", 
  "##choices#compiler_description_uoa": "gcc-4.9.0-auto", 
  "##choices#compiler_flags#base_opt": "-O1", 
  "##choices#compiler_flags#bool-auto-inc-dec": "-fno-auto-inc-dec", 
  "##choices#compiler_flags#bool-caller-saves": "-fcaller-saves", 
  "##choices#compiler_flags#bool-cx-limited-range": "-fcx-limited-range", 
  "##choices#compiler_flags#bool-delete-null-pointer-checks": "-fdelete-null-pointer-checks", 
  "##choices#compiler_flags#bool-ira-loop-pressure": "-fno-ira-loop-pressure", 
  "##choices#compiler_flags#bool-math-errno": "-fmath-errno", 
  "##choices#compiler_flags#bool-merge-constants": "-fno-merge-constants", 
  "##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-reorder-blocks-and-partition": "-fno-reorder-blocks-and-partition", 
  "##choices#compiler_flags#bool-sched-spec-insn-heuristic": "-fno-sched-spec-insn-heuristic", 
  "##choices#compiler_flags#bool-selective-scheduling": "-fselective-scheduling", 
  "##choices#compiler_flags#bool-strict-overflow": "-fstrict-overflow", 
  "##choices#compiler_flags#bool-tree-loop-distribute-patterns": "-ftree-loop-distribute-patterns", 
  "##choices#compiler_flags#bool-tree-pre": "-fno-tree-pre", 
  "##choices#compiler_flags#bool-tree-sink": "-fno-tree-sink", 
  "##choices#compiler_flags#bool-tree-vectorize": "-ftree-vectorize", 
  "##choices#compiler_flags#bool-unswitch-loops": "-funswitch-loops", 
  "##choices#compiler_flags#bool-wpa": "-fno-wpa", 
  "##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"
}