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