{
  "##choices#cmd_key": "cmd1", 
  "##choices#compile_type": "dynamic", 
  "##choices#compiler_flags#base_opt": "-O1", 
  "##choices#compiler_flags#fforward_propagate": "-fforward-propagate", 
  "##choices#compiler_flags#fivopts": "-fno-ivopts", 
  "##choices#compiler_flags#floop_interchange": "-floop-interchange", 
  "##choices#compiler_flags#fmerge_constants": "-fno-merge-constants", 
  "##choices#compiler_flags#fmodulo_sched_allow_regmoves": "-fno-modulo-sched-allow-regmoves", 
  "##choices#compiler_flags#fpeephole": "-fno-peephole", 
  "##choices#compiler_flags#fpeephole2": "-fpeephole2", 
  "##choices#compiler_flags#fpredictive_commoning": "-fpredictive-commoning", 
  "##choices#compiler_flags#fprefetch_loop_arrays": "-fprefetch-loop-arrays", 
  "##choices#compiler_flags#fsched_interblock": "-fno-sched-interblock", 
  "##choices#compiler_flags#fsched_spec_load": "-fsched-spec-load", 
  "##choices#compiler_flags#fsee": "-fno-see", 
  "##choices#compiler_flags#ftree_dse": "-ftree-dse", 
  "##choices#compiler_flags#ftree_fre": "-ftree-fre", 
  "##choices#compiler_flags#ftree_ter": "-fno-tree-ter", 
  "##choices#compiler_flags#param_ipcp_unit_growth": "--param ipcp-unit-growth=7", 
  "##choices#compiler_flags#param_ira_max_conflict_table_size": "--param ira-max-conflict-table-size=2822", 
  "##choices#compiler_flags#param_max_grow_copy_bb_insns": "--param max-grow-copy-bb-insns=13", 
  "##choices#compiler_flags#param_max_sched_insn_conflict_delay": "--param max-sched-insn-conflict-delay=2", 
  "##choices#compiler_flags#param_min_inline_recursive_probability": "--param min-inline-recursive-probability=26", 
  "##choices#compiler_flags#param_min_vect_loop_bound": "--param min-vect-loop-bound=6", 
  "##choices#compiler_flags#param_omega_max_geqs": "--param omega-max-geqs=198", 
  "##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"
}