run:
  mode: autoline
save:
  en: true
  pub:
    prefix: HDLBatch05Baseline
    subdir: Paper_Experiments/hdlbits_batches/batch_05/baseline
  log:
    debug_en: false
gpt:
  model: qwen-max
  rtlgen_model: qwen-max
autoline:
  result_path: results/hdlbits_batches/batch_05_baseline
  cga:
    enabled: false
    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:
    - fsm3
    - fsm3comb
    - fsm3onehot
    - fsm3s
  promptscript: pychecker
  timeout: 300
  save_compile: false
  debug:
    max: 3
  itermax: 10
  update_desc: false
  TBcheck:
    discrim_mode: col_70_wrong_row_25_correct