(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 ""))