Hsmtlib.Solvers.Cmd.BatchCmd
executeBatch