run:
    mode: autoline
save:
    en: True
    pub:
        prefix: "PAPER"
        subdir: Paper_Experiments
    log:
        debug_en: False
gpt:
    model: qwen-max
    rtlgen_model: qwen-max
autoline:
    result_path: results/paper
    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:
            - 2012_q2fsm
            - 2013_q2afsm
            - 2013_q2bfsm
            - 2014_q3bfsm
            - 2014_q3fsm
            - fsm1
            - fsm1s
            - fsm2
            - fsm2s
            - fsm3
            - fsm3comb
            - fsm3onehot
            - fsm3s
            - fsm_hdlc
            - fsm_onehot
            - fsm_ps2
            - fsm_ps2data
            - fsm_serial
            - fsm_serialdata
            - lemmings1
            - lemmings2
            - lemmings3
            - lemmings4
            - review2015_fsm
            - review2015_fsmonehot
            - review2015_fsmseq
            - review2015_fsmshift
    promptscript: pychecker
    timeout: 300
    save_compile: False
    debug:
        max: 3
    itermax: 10
    update_desc: False
    TBcheck:
        discrim_mode: col_70_wrong_row_25_correct