{
  "##choices#calibration_time": 10.0, 
  "##choices#cmd_key": "corners", 
  "##choices#compile_type": "dynamic", 
  "##choices#compiler_description_uoa": "gcc-7.1.0-auto", 
  "##choices#compiler_flags#base_opt": "-O3", 
  "##choices#compiler_flags#bool-delete-null-pointer-checks": "-fno-delete-null-pointer-checks", 
  "##choices#compiler_flags#bool-expensive-optimizations": "-fexpensive-optimizations", 
  "##choices#compiler_flags#bool-gcse": "-fgcse", 
  "##choices#compiler_flags#bool-indirect-inlining": "-fno-indirect-inlining", 
  "##choices#compiler_flags#bool-live-range-shrinkage": "-fno-live-range-shrinkage", 
  "##choices#compiler_flags#bool-modulo-sched": "-fno-modulo-sched", 
  "##choices#compiler_flags#bool-move-loop-invariants": "-fmove-loop-invariants", 
  "##choices#compiler_flags#bool-optimize-sibling-calls": "-fno-optimize-sibling-calls", 
  "##choices#compiler_flags#bool-prefetch-loop-arrays": "-fprefetch-loop-arrays", 
  "##choices#compiler_flags#bool-reschedule-modulo-scheduled-loops": "-fno-reschedule-modulo-scheduled-loops", 
  "##choices#compiler_flags#bool-sched-dep-count-heuristic": "-fno-sched-dep-count-heuristic", 
  "##choices#compiler_flags#bool-section-anchors": "-fsection-anchors", 
  "##choices#compiler_flags#bool-stdarg-opt": "-fstdarg-opt", 
  "##choices#compiler_flags#bool-tree-loop-if-convert": "-fno-tree-loop-if-convert", 
  "##choices#compiler_flags#bool-tree-loop-if-convert-stores": "-fno-tree-loop-if-convert-stores", 
  "##choices#compiler_flags#bool-tree-loop-vectorize": "-fno-tree-loop-vectorize", 
  "##choices#compiler_flags#bool-unsafe-math-optimizations": "-funsafe-math-optimizations", 
  "##choices#compiler_flags#bool-unswitch-loops": "-fno-unswitch-loops", 
  "##choices#data_uoa": "cbench-automotive-susan", 
  "##choices#dataset_file": "data.pgm", 
  "##choices#dataset_uoa": "image-pgm-0001", 
  "##choices#device_id": "", 
  "##choices#host_os": "linux-32", 
  "##choices#module_uoa": "b0ac08fe1d3c2615", 
  "##choices#no_state_check": "yes", 
  "##choices#program_tags": "", 
  "##choices#repeat": 100, 
  "##choices#target": "", 
  "##choices#target_os": "linux-32", 
  "##choices#target_os_bits": "32"
}