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