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

[0.0, 120, 180, 300, '!rst_n', '/tmp/acl2/saved_acl2', 'ACL2 not installed', 'E1_no_sorry', 'E2_no_undefined', 'E4_bar_monotonicity', 'FAILED', 'Q.E.D.', 'REFUTED', 'acl2', 'acl2_induction', 'acl2_result', 'all_gates_passed', 'all_passed', 'all_proved', 'audit_axioms', 'audit_theorem_name', 'available', 'axiom_clean', 'bmc', 'bound', 'by_construction', 'category', 'cegar', 'compiles', 'completeness', 'cover', 'details', 'ebmc_or_acl2', 'elapsed_sec', 'enforcement_gates', 'environmental', 'equivalence', 'error', 'exit_code', 'failed', 'files', 'flatten', 'gate', 'gates', 'inconclusive', 'k_induction', 'k_induction_result', 'kairos_orch_flat_', 'lake_project', 'lean', 'message', 'method', 'module_path', 'name', 'ncs_composition', 'obligations', 'obligations_proved', 'obligations_total', 'orchestrate_step', 'orchestrate_summary', 'output_dir', 'pair', 'pairs', 'passed', 'pending', 'proof_obligations', 'proved', 'proved_acl2', 'proved_cegar', 'proved_lean', 'proved_unbounded', 'qed_count', 'reference', 'spec_pipeline', 'status', 'step', 'target_id', 'theorem_statement', 'timed_out', 'timeout', 'total', 'total_elapsed_sec', 'tractability_gate', 'tractability_result', 'tractable', 'unbounded', 'unknown', 'verdict']