(prover
  (name mc2)
  (version (tag <unknown>))
  (cmd <unknown>)
  (binary ulimit)
  (ulimit (time memory ))
  (sat "^Sat")
  (unsat "^Unsat")
  (timeout "Timeout")
  (unknown "Unknown")
  (produces_proof false))