(prover
  (name z3)
  (version (tag "Z3 version 4.8.11 - 64 bit"))
  (cmd <unknown>)
  (binary z3)
  (ulimit (time memory ))
  (sat "(^sat)|(s SATISFIABLE)")
  (unsat "unsat|(s UNSATISFIABLE)")
  (produces_proof false)
  (produces_proof "")
  (proof_checker "")
  (inherits ""))