(prover (name minisat) (version <unknown>) (cmd <unknown>) (binary minisat) (ulimit (time memory )) (sat "^SATISFIABLE") (unsat "^UNSATISFIABLE") (unknown "INDETERMINATE") (produces_proof false) (produces_proof "") (proof_checker "") (inherits ""))