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

[0.0, 5.0, 600, 4000, '--bound', '--budget-usd', '--clk', '--max-iter', '--spec', '--top', '--walltime-sec', '--workdir', '/opt/athanor/builder', 'BUILDER_ROOT', 'CegarError', 'CegarResult', 'IterArtifact', 'TerminatedReason', 'all_proved', 'bound', 'budget_usd', 'candidate.json', 'candidate_confidence', 'candidate_rationale', 'cap', 'cegar', 'cegar-', 'cegar.sh', 'cegar_loop', 'cegar_run.json', 'cegar_terminated', 'classification', 'clk', 'confidence', 'cost_usd', 'decision.json', 'ebmc.stderr', 'ebmc.stdout', 'ebmc_bound', 'ebmc_engine', 'ebmc_proved', 'ebmc_refuted', 'ebmc_timed_out', 'elapsed_sec', 'exit_code', 'final_spec.sv', 'final_spec_first_4k', 'final_spec_path', 'function', 'genuine_bug', 'hypothesis_sv', 'iter_', 'iteration', 'iterations', 'kairos.sv.cegar', 'max_iter', 'mode', 'probe_crashed', 'rationale', 'sink', 'solve', 'spec.sv', 'sysverilog', 'target_property', 'terminated_reason', 'top_module', 'total_cost_usd', 'total_elapsed_sec', 'unexpected', 'user_decision', 'user_stop', 'vacuity_reason', 'walltime_sec', '{', '}']