# file: /home/azureuser/agents/platform/athanor-sdk/src/kairos/sv/cegar_incremental.py
# hypothesis_version: 6.152.1

[0.0, 300, '!rst_n', 'FAILED', 'REFUTED', 'accepted', 'bad_lemma', 'base_case_sec', 'base_elaboration_sec', 'bmc', 'bound', 'cegar', 'cegar_base_', 'cegar_ind_', 'classification', 'cover', 'elapsed_sec', 'endmodule', 'files', 'iteration', 'iterations', 'k_induction', 'k_induction_sec', 'kairos_cegar_inc_', 'lemmas_accepted', 'lemmas_rejected', 'lemmas_used', 'max_iter', 'message', 'per_iteration_sec', 'proposer_sec', 'proved', 'spec_with_lemma.sv', 'top_module', 'total_sec']