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

[0.0, '# SZS output end', '# SZS output start', '--auto-schedule', '--proof-object', '.p', 'EProverResult', 'cnf(', 'eprover', 'error', 'fof(', 'kairos_eprover_', 'run_eprover', 'sat', 'tff(', 'thf(', 'timeout', 'unknown', 'unsat', 'w']