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

[0.0, 5.0, 600, '--bound', '--budget-usd', '--clk', '--max-iter', '--spec', '--top', '--walltime-sec', '--workdir', '/opt/athanor/builder', 'ATHANOR_BUILDER_ROOT', 'CegarError', 'CegarResult', 'IterArtifact', 'TerminatedReason', 'all_proved', 'candidate.json', 'cap', 'cegar', 'cegar-', 'cegar.sh', 'clk', 'decision.json', 'ebmc.stderr', 'ebmc.stdout', 'final_spec.sv', 'final_spec_path', 'genuine_bug', 'iter_', 'iterations', 'solve', 'spec.sv', 'sysverilog', 'total_cost_usd', 'total_elapsed_sec', 'unexpected', 'user_stop', '{', '}']