(prover
  (name msat)
  (version
   (git branch=master commit=8ef4913c92eb03bef8db170ab37ed20796ebaa93))
  (cmd <unknown>)
  (binary /home/simon/workspace/msat/tests/../msat.exe)
  (ulimit (time memory ))
  (sat "^Sat")
  (unsat "^Unsat")
  (produces_proof false))