{
  "##choices#cmd_key": "cmd1", 
  "##choices#compile_type": "dynamic", 
  "##choices#compiler_flags#base_opt": "-O3", 
  "##choices#compiler_flags#fbranch_target_load_optimize": "-fbranch-target-load-optimize", 
  "##choices#compiler_flags#fbranch_target_load_optimize2": "-fbranch-target-load-optimize2", 
  "##choices#compiler_flags#fearly_inlining": "-fno-early-inlining", 
  "##choices#compiler_flags#fregmove": "-fno-regmove", 
  "##choices#compiler_flags#fsched_interblock": "-fno-sched-interblock", 
  "##choices#compiler_flags#fsplit_ivs_in_unroller": "-fno-split-ivs-in-unroller", 
  "##choices#compiler_flags#fstrict_overflow": "-fno-strict-overflow", 
  "##choices#compiler_flags#fthread_jumps": "-fthread-jumps", 
  "##choices#compiler_flags#ftree_copy_prop": "-ftree-copy-prop", 
  "##choices#compiler_flags#ftree_sink": "-fno-tree-sink", 
  "##choices#compiler_flags#ftree_vrp": "-fno-tree-vrp", 
  "##choices#compiler_flags#fvariable_expansion_in_unroller": "-fno-variable-expansion-in-unroller", 
  "##choices#compiler_flags#param_large_stack_frame_growth": "--param large-stack-frame-growth=1611", 
  "##choices#compiler_flags#param_max_cse_insns": "--param max-cse-insns=1336", 
  "##choices#compiler_flags#param_max_goto_duplication_insns": "--param max-goto-duplication-insns=4", 
  "##choices#compiler_flags#param_max_pipeline_region_blocks": "--param max-pipeline-region-blocks=22", 
  "##choices#compiler_flags#param_max_sched_region_blocks": "--param max-sched-region-blocks=8", 
  "##choices#compiler_flags#param_min_inline_recursive_probability": "--param min-inline-recursive-probability=10", 
  "##choices#compiler_flags#param_min_vect_loop_bound": "--param min-vect-loop-bound=6", 
  "##choices#compiler_flags#param_omega_hash_table_size": "--param omega-hash-table-size=409", 
  "##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"
}