{
  "##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-early-inlining": "-fno-early-inlining", 
  "##choices#compiler_flags#bool-float-store": "-ffloat-store", 
  "##choices#compiler_flags#bool-ira-loop-pressure": "-fno-ira-loop-pressure", 
  "##choices#compiler_flags#bool-isolate-erroneous-paths-attribute": "-fno-isolate-erroneous-paths-attribute", 
  "##choices#compiler_flags#bool-loop-strip-mine": "-floop-strip-mine", 
  "##choices#compiler_flags#bool-modulo-sched": "-fno-modulo-sched", 
  "##choices#compiler_flags#bool-reorder-blocks-and-partition": "-fno-reorder-blocks-and-partition", 
  "##choices#compiler_flags#bool-rerun-cse-after-loop": "-fno-rerun-cse-after-loop", 
  "##choices#compiler_flags#bool-sched-dep-count-heuristic": "-fsched-dep-count-heuristic", 
  "##choices#compiler_flags#bool-sched-group-heuristic": "-fsched-group-heuristic", 
  "##choices#compiler_flags#bool-sched-spec-insn-heuristic": "-fsched-spec-insn-heuristic", 
  "##choices#compiler_flags#bool-signed-zeros": "-fsigned-zeros", 
  "##choices#compiler_flags#bool-split-wide-types": "-fsplit-wide-types", 
  "##choices#compiler_flags#bool-thread-jumps": "-fno-thread-jumps", 
  "##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-distribute-patterns": "-fno-tree-loop-distribute-patterns", 
  "##choices#compiler_flags#bool-tree-loop-ivcanon": "-ftree-loop-ivcanon", 
  "##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"
}