{
  "##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-cse-follow-jumps": "-fcse-follow-jumps", 
  "##choices#compiler_flags#bool-data-sections": "-fno-data-sections", 
  "##choices#compiler_flags#bool-function-cse": "-fno-function-cse", 
  "##choices#compiler_flags#bool-if-conversion2": "-fno-if-conversion2", 
  "##choices#compiler_flags#bool-inline": "-finline", 
  "##choices#compiler_flags#bool-ipa-ra": "-fipa-ra", 
  "##choices#compiler_flags#bool-ree": "-free", 
  "##choices#compiler_flags#bool-reorder-blocks": "-fno-reorder-blocks", 
  "##choices#compiler_flags#bool-sched-dep-count-heuristic": "-fno-sched-dep-count-heuristic", 
  "##choices#compiler_flags#bool-sched-group-heuristic": "-fsched-group-heuristic", 
  "##choices#compiler_flags#bool-sched2-use-superblocks": "-fsched2-use-superblocks", 
  "##choices#compiler_flags#bool-schedule-fusion": "-fschedule-fusion", 
  "##choices#compiler_flags#bool-single-precision-constant": "-fsingle-precision-constant", 
  "##choices#compiler_flags#bool-tree-ch": "-fno-tree-ch", 
  "##choices#compiler_flags#bool-tree-dominator-opts": "-fno-tree-dominator-opts", 
  "##choices#compiler_flags#bool-tree-fre": "-ftree-fre", 
  "##choices#compiler_flags#bool-tree-loop-distribute-patterns": "-ftree-loop-distribute-patterns", 
  "##choices#compiler_flags#bool-tree-partial-pre": "-ftree-partial-pre", 
  "##choices#compiler_flags#bool-tree-slsr": "-fno-tree-slsr", 
  "##choices#compiler_flags#bool-web": "-fno-web", 
  "##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"
}