Spring RTS Engine

Hi,
a-solver is an altatool.Its usage is: a-solver [options] filename model-name [opt-filename]. I don't know what i must write to "model-name [opt-filename]" in terminal.Could you help me?

Thanks