run:
  mode: autoline
save:
  en: true
  pub:
    prefix: HDLKeyCases
    subdir: Paper_Experiments/hdlbits_batches/key_cases
  log:
    debug_en: false
gpt:
  model: qwen-max
  rtlgen_model: qwen-max
autoline:
  result_path: results/hdlbits_batches/key_cases
  cga:
    enabled: true
    max_iter: 10
    target_coverage: 100.0
  probset:
    path: data/HDLBits/HDLBits_data.jsonl
    mutant_path: data/HDLBits/HDLBits_data_mutants.jsonl
    more_info_paths:
    - data/HDLBits/HDLBits_data_RTL_4o_20.jsonl
    only:
    - fsm_ps2
    - lemmings3
    - lemmings4
    - 2014_q3fsm
    - ece241_2013_q8
    - m2014_q6
    - review2015_fsm
  promptscript: pychecker
  timeout: 300
  save_compile: false
  debug:
    max: 3
  itermax: 10
  update_desc: false
  TBcheck:
    discrim_mode: col_70_wrong_row_25_correct