list of provers

• (prover
    (name "z3")
    (version <unknown>)
    (cmd "z3 -T:$timeout -memory:$memory $file")
    (binary "z3")
    (ulimit (time memory ))
    (sat "(^sat)|(s SATISFIABLE)")
    (unsat "unsat|(s UNSATISFIABLE)")
    (produces_proof false))

• (prover
    (name "smtlib-read-status")
    (version <unknown>)
    (cmd "grep :status $file")
    (binary "smtlib-read-status")
    (ulimit (time memory ))
    (sat ":status sat")
    (unsat ":status unsat")
    (unknown ":status unknown")
    (produces_proof false))

• (prover
    (name "minisat")
    (version <unknown>)
    (cmd "minisat -cpu-lim=$timeout $file")
    (binary "minisat")
    (ulimit (time memory ))
    (sat "^SATISFIABLE")
    (unsat "UNSATISFIABLE")
    (produces_proof false))

• (prover
    (name "cvc5")
    (version <unknown>)
    (cmd "cvc5 --tlimit=$timeout000 $file")
    (binary "cvc5")
    (ulimit (time memory ))
    (sat "^sat")
    (unsat "unsat")
    (produces_proof false))