{
  "##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": "-Os", 
  "##choices#compiler_flags#bool-devirtualize": "-fno-devirtualize", 
  "##choices#compiler_flags#bool-finite-math-only": "-ffinite-math-only", 
  "##choices#compiler_flags#bool-indirect-inlining": "-findirect-inlining", 
  "##choices#compiler_flags#bool-inline-functions-called-once": "-fno-inline-functions-called-once", 
  "##choices#compiler_flags#bool-ipa-pta": "-fipa-pta", 
  "##choices#compiler_flags#bool-loop-strip-mine": "-fno-loop-strip-mine", 
  "##choices#compiler_flags#bool-optimize-sibling-calls": "-fno-optimize-sibling-calls", 
  "##choices#compiler_flags#bool-partial-inlining": "-fno-partial-inlining", 
  "##choices#compiler_flags#bool-prefetch-loop-arrays": "-fno-prefetch-loop-arrays", 
  "##choices#compiler_flags#bool-sched-group-heuristic": "-fsched-group-heuristic", 
  "##choices#compiler_flags#bool-sched-interblock": "-fno-sched-interblock", 
  "##choices#compiler_flags#bool-sched-spec-insn-heuristic": "-fsched-spec-insn-heuristic", 
  "##choices#compiler_flags#bool-shrink-wrap": "-fshrink-wrap", 
  "##choices#compiler_flags#bool-signed-zeros": "-fno-signed-zeros", 
  "##choices#compiler_flags#bool-tree-copyrename": "-fno-tree-copyrename", 
  "##choices#compiler_flags#bool-tree-fre": "-fno-tree-fre", 
  "##choices#compiler_flags#bool-tree-loop-vectorize": "-ftree-loop-vectorize", 
  "##choices#compiler_flags#bool-unswitch-loops": "-fno-unswitch-loops", 
  "##choices#compiler_flags#bool-web": "-fno-web", 
  "##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"
}