{
  "##choices#cmd_key": "cmd1", 
  "##choices#compile_type": "dynamic", 
  "##choices#compiler_flags#base_opt": "-O3", 
  "##choices#compiler_flags#fcrossjumping": "-fno-crossjumping", 
  "##choices#compiler_flags#fipa_matrix_reorg": "-fno-ipa-matrix-reorg", 
  "##choices#compiler_flags#fipa_pta": "-fno-ipa-pta", 
  "##choices#compiler_flags#floop_interchange": "-floop-interchange", 
  "##choices#compiler_flags#fmodulo_sched": "-fmodulo-sched", 
  "##choices#compiler_flags#foptimize_sibling_calls": "-foptimize-sibling-calls", 
  "##choices#compiler_flags#freschedule_modulo_scheduled_loops": "-freschedule-modulo-scheduled-loops", 
  "##choices#compiler_flags#fsched_spec_load": "-fno-sched-spec-load", 
  "##choices#compiler_flags#fsched_stalled_insns": "-fsched-stalled-insns=50", 
  "##choices#compiler_flags#fschedule_insns2": "-fschedule-insns2", 
  "##choices#compiler_flags#fsignaling_nans": "-fno-signaling-nans", 
  "##choices#compiler_flags#fstrict_overflow": "-fstrict-overflow", 
  "##choices#compiler_flags#ftree_ccp": "-fno-tree-ccp", 
  "##choices#compiler_flags#ftree_ch": "-fno-tree-ch", 
  "##choices#compiler_flags#ftree_loop_ivcanon": "-ftree-loop-ivcanon", 
  "##choices#compiler_flags#param_max_last_value_rtl": "--param max-last-value-rtl=19026", 
  "##choices#compiler_flags#param_max_pipeline_region_insns": "--param max-pipeline-region-insns=462", 
  "##choices#compiler_flags#param_max_sched_extend_regions_iters": "--param max-sched-extend-regions-iters=1", 
  "##choices#compiler_flags#param_min_crossjump_insns": "--param min-crossjump-insns=7", 
  "##choices#compiler_flags#param_omega_max_geqs": "--param omega-max-geqs=196", 
  "##choices#compiler_flags#param_selsched_max_lookahead": "--param selsched-max-lookahead=48", 
  "##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"
}