# file: /home/azureuser/agents/platform/athanor-builder/solve/sysverilog/cegar/loop.py
# hypothesis_version: 6.152.1

[0.0, 0.1, 0.5, 5.0, 107, 110, 117, 120, 600, 1500, 4000, '\x1b[0m', '\x1b[1m', '\x1b[2m', '\x1b[31m', '\x1b[32m', '\x1b[33m', '\x1b[36m', '(none usable)', '...', '<none>', '<unknown>', 'ATHANOR_CEGAR_MODEL', 'DROPPED-vacuous', 'IterationRecord', 'KAIROS_CEGAR_MODEL', 'NO_COLOR', 'accepted', 'all_proved', 'auto_accepted', 'bmc', 'budget', 'candidate.json', 'cegar_run.json', 'classification', 'clk', 'confidence', 'consider_proving', 'content', 'cost_usd', 'cycle_of_violation', 'decision', 'decision.json', 'dropped_noop', 'dropped_vacuous', 'ebmc.stderr', 'ebmc.stdout', 'ebmc_bound', 'ebmc_engine', 'ebmc_proved', 'ebmc_refuted', 'ebmc_reset_expr', 'ebmc_timed_out', 'elapsed_sec', 'environmental', 'genuine_bug', 'hypothesis_sv', 'isatty', 'iteration', 'iterations', 'k_induction', 'malformed', 'max_iter', 'n', 'name', 'no', 'null hypothesis_sv', 'progress', 'prompt.md', 'prompts', 'proposer.md', 'proposer_error', 'proposer_error.txt', 'q', 'quit', 'rationale', 'rejected', 'reset', 'role', 'spec.sv', 'stop', 'target_property', 'timed_out', 'total_cost', 'unknown', 'usage', 'user', 'user_decision', 'user_stop', 'vacuity', 'vacuity_reason', 'vacuous', 'walltime', 'wrong_signal', 'y', 'yes', '{{BOUND}}', '{{COUNTEREXAMPLE}}', '{{EBMC_STDOUT}}', '{{ITERATION}}', '{{PRIOR_ATTEMPTS}}', '{{REFUTED_PROPERTY}}', '{{RTL}}', '{{SPEC}}', '{{TOP_MODULE}}', '•', '✓', '✗']