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

[-500, 'bmc_bounded', 'bound', 'bound_k', 'counterexample', 'elapsed_sec', 'error', 'exception', 'exit_code', 'missing_field', 'property_verdicts', 'proved', 'refutation_summary', 'refuted', 'stdout_tail', 'sv_file', 'timed_out', 'timeout_sec', 'top_module', 'unknown']