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

[0.0, 600, '-f', 'EqyResult', 'PROVED', 'REFUTED', 'elapsed_sec', 'equiv.eqy', 'eqy', 'error', 'exit_code', 'impl_sv', 'kairos_eqy_', 'properties_proved', 'properties_refuted', 'proved', 'pure_rtl_eqy_verify', 'refuted', 'spec_sv', 'timed_out', 'top_module', 'unknown', 'verdict', 'verify']