(prover
  (name batsat)
  (version
   (git branch=master commit=ed108125e3516de30bf37dbb636510b2052cf50e))
  (cmd <unknown>)
  (binary /home/simon/w/batsat/benchs/../batsat-bin)
  (ulimit (time memory ))
  (sat "s SATISFIABLE")
  (unsat "s UNSATISFIABLE")
  (unknown "INDETERMINATE")
  (produces_proof false)
  (produces_proof "")
  (proof_checker "")
  (inherits ""))