{
  "##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-compare-elim": "-fno-compare-elim", 
  "##choices#compiler_flags#bool-delete-null-pointer-checks": "-fdelete-null-pointer-checks", 
  "##choices#compiler_flags#bool-devirtualize-speculatively": "-fdevirtualize-speculatively", 
  "##choices#compiler_flags#bool-indirect-inlining": "-findirect-inlining", 
  "##choices#compiler_flags#bool-isolate-erroneous-paths-dereference": "-fisolate-erroneous-paths-dereference", 
  "##choices#compiler_flags#bool-ivopts": "-fivopts", 
  "##choices#compiler_flags#bool-loop-parallelize-all": "-floop-parallelize-all", 
  "##choices#compiler_flags#bool-modulo-sched": "-fmodulo-sched", 
  "##choices#compiler_flags#bool-peephole": "-fno-peephole", 
  "##choices#compiler_flags#bool-reorder-blocks": "-fno-reorder-blocks", 
  "##choices#compiler_flags#bool-reschedule-modulo-scheduled-loops": "-fno-reschedule-modulo-scheduled-loops", 
  "##choices#compiler_flags#bool-sched-spec-insn-heuristic": "-fno-sched-spec-insn-heuristic", 
  "##choices#compiler_flags#bool-sched2-use-superblocks": "-fsched2-use-superblocks", 
  "##choices#compiler_flags#bool-trapping-math": "-fno-trapping-math", 
  "##choices#compiler_flags#bool-tree-loop-vectorize": "-ftree-loop-vectorize", 
  "##choices#compiler_flags#bool-tree-pta": "-ftree-pta", 
  "##choices#compiler_flags#bool-tree-sink": "-ftree-sink", 
  "##choices#compiler_flags#bool-unroll-all-loops": "-fno-unroll-all-loops", 
  "##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"
}