{
  "##choices#calibration_time": 10.0, 
  "##choices#cmd_key": "encode", 
  "##choices#compile_type": "dynamic", 
  "##choices#compiler_description_uoa": "gcc-7.1.0-auto", 
  "##choices#compiler_flags#base_opt": "-Os", 
  "##choices#compiler_flags#bool-caller-saves": "-fno-caller-saves", 
  "##choices#compiler_flags#bool-compare-elim": "-fno-compare-elim", 
  "##choices#compiler_flags#bool-cse-skip-blocks": "-fno-cse-skip-blocks", 
  "##choices#compiler_flags#bool-function-cse": "-fno-function-cse", 
  "##choices#compiler_flags#bool-gcse-lm": "-fgcse-lm", 
  "##choices#compiler_flags#bool-ira-loop-pressure": "-fira-loop-pressure", 
  "##choices#compiler_flags#bool-omit-frame-pointer": "-fno-omit-frame-pointer", 
  "##choices#compiler_flags#bool-optimize-sibling-calls": "-foptimize-sibling-calls", 
  "##choices#compiler_flags#bool-peel-loops": "-fpeel-loops", 
  "##choices#compiler_flags#bool-sched-pressure": "-fno-sched-pressure", 
  "##choices#compiler_flags#bool-sched-spec-insn-heuristic": "-fno-sched-spec-insn-heuristic", 
  "##choices#compiler_flags#bool-section-anchors": "-fno-section-anchors", 
  "##choices#compiler_flags#bool-tree-builtin-call-dce": "-ftree-builtin-call-dce", 
  "##choices#compiler_flags#bool-tree-coalesce-vars": "-ftree-coalesce-vars", 
  "##choices#compiler_flags#bool-tree-copyrename": "-fno-tree-copyrename", 
  "##choices#compiler_flags#bool-tree-dominator-opts": "-fno-tree-dominator-opts", 
  "##choices#compiler_flags#bool-tree-loop-distribute-patterns": "-fno-tree-loop-distribute-patterns", 
  "##choices#compiler_flags#bool-tree-partial-pre": "-ftree-partial-pre", 
  "##choices#compiler_flags#bool-unroll-loops": "-funroll-loops", 
  "##choices#data_uoa": "zlib", 
  "##choices#dataset_file": "data.y4m", 
  "##choices#dataset_uoa": "video-raw-0001", 
  "##choices#device_id": "", 
  "##choices#host_os": "linux-32", 
  "##choices#module_uoa": "b0ac08fe1d3c2615", 
  "##choices#no_state_check": "yes", 
  "##choices#program_tags": "", 
  "##choices#repeat": 10, 
  "##choices#target": "", 
  "##choices#target_os": "linux-32", 
  "##choices#target_os_bits": "32"
}