{
  "##choices#cmd_key": "cmd1", 
  "##choices#compile_type": "dynamic", 
  "##choices#compiler_flags#base_opt": "-O3", 
  "##choices#compiler_flags#falign_jumps": "-falign-jumps", 
  "##choices#compiler_flags#falign_loops": "-fno-align-loops", 
  "##choices#compiler_flags#fdefer_pop": "-fno-defer-pop", 
  "##choices#compiler_flags#fgcse_after_reload": "-fno-gcse-after-reload", 
  "##choices#compiler_flags#fivopts": "-fno-ivopts", 
  "##choices#compiler_flags#fmodulo_sched_allow_regmoves": "-fno-modulo-sched-allow-regmoves", 
  "##choices#compiler_flags#fregmove": "-fregmove", 
  "##choices#compiler_flags#fschedule_insns": "-fno-schedule-insns", 
  "##choices#compiler_flags#ftree_ch": "-fno-tree-ch", 
  "##choices#compiler_flags#ftree_fre": "-ftree-fre", 
  "##choices#compiler_flags#param_ipcp_unit_growth": "--param ipcp-unit-growth=13", 
  "##choices#compiler_flags#param_large_stack_frame_growth": "--param large-stack-frame-growth=904", 
  "##choices#compiler_flags#param_max_fields_for_field_sensitive": "--param max-fields-for-field-sensitive=111", 
  "##choices#compiler_flags#param_max_inline_insns_recursive": "--param max-inline-insns-recursive=945", 
  "##choices#compiler_flags#param_max_inline_recursive_depth_auto": "--param max-inline-recursive-depth-auto=16", 
  "##choices#compiler_flags#param_max_sched_region_blocks": "--param max-sched-region-blocks=29", 
  "##choices#compiler_flags#param_max_unroll_times": "--param max-unroll-times=2", 
  "##choices#compiler_flags#param_max_unrolled_insns": "--param max-unrolled-insns=1132", 
  "##choices#compiler_flags#param_omega_hash_table_size": "--param omega-hash-table-size=307", 
  "##choices#compiler_flags#param_omega_max_wild_cards": "--param omega-max-wild-cards=25", 
  "##choices#data_uoa": "slambench-1.1-cpu", 
  "##choices#dataset_uoa": "slambench-living-room-traj2-loop-1frame", 
  "##choices#device_id": "", 
  "##choices#host_os": "linux-32", 
  "##choices#module_uoa": "b0ac08fe1d3c2615", 
  "##choices#repeat": 200, 
  "##choices#target_os": "linux-32", 
  "##choices#target_os_bits": "32"
}