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

[0.0, 600, 1200, 'SiliconReviewResult', 'acl2_verdict', 'block_name', 'codegen_success', 'composite_verdict', 'ebmc_verdict', 'elapsed_sec', 'error', 'exit_code', 'k_induction', 'proved', 'pure_rtl', 'pure_rtl_verdict', 'refuted', 'regenerated_sv', 'review', 'sv_file', 'tape_out_ready', 'theorems_proved', 'timed_out', 'top_module', 'total_elapsed_sec', 'unknown']