{
  "##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": "-Ofast", 
  "##choices#compiler_flags#bool--ffp-contract=": "-ffp-contract=fast", 
  "##choices#compiler_flags#bool-auto-inc-dec": "-fno-auto-inc-dec", 
  "##choices#compiler_flags#bool-check-data-deps": "-fno-check-data-deps", 
  "##choices#compiler_flags#bool-defer-pop": "-fdefer-pop", 
  "##choices#compiler_flags#bool-delayed-branch": "-fdelayed-branch", 
  "##choices#compiler_flags#bool-gcse-lm": "-fgcse-lm", 
  "##choices#compiler_flags#bool-hoist-adjacent-loads": "-fhoist-adjacent-loads", 
  "##choices#compiler_flags#bool-inline-functions-called-once": "-finline-functions-called-once", 
  "##choices#compiler_flags#bool-loop-strip-mine": "-fno-loop-strip-mine", 
  "##choices#compiler_flags#bool-partial-inlining": "-fpartial-inlining", 
  "##choices#compiler_flags#bool-reorder-blocks": "-fno-reorder-blocks", 
  "##choices#compiler_flags#bool-sched-pressure": "-fsched-pressure", 
  "##choices#compiler_flags#bool-sched-spec": "-fno-sched-spec", 
  "##choices#compiler_flags#bool-section-anchors": "-fsection-anchors", 
  "##choices#compiler_flags#bool-tree-loop-optimize": "-fno-tree-loop-optimize", 
  "##choices#compiler_flags#bool-tree-sra": "-fno-tree-sra", 
  "##choices#compiler_flags#bool-unroll-all-loops": "-fno-unroll-all-loops", 
  "##choices#compiler_flags#bool-unswitch-loops": "-funswitch-loops", 
  "##choices#compiler_flags#bool-vect-cost-model": "-fvect-cost-model", 
  "##choices#compiler_flags#bool-web": "-fno-web", 
  "##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"
}