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

[0.0, '(', '()', ')', '--produce-models', '.smt2', 'Cvc5Result', 'cvc5', 'error', 'kairos_cvc5_', 'run_cvc5', 'sat', 'timeout', 'unknown', 'unsat', 'w']