Zadávání detailů výstupu se zahajuje tlačítkem Params
z úvodní obrazovky. Tím se vyvolá okno dle následujícího obrázku.
Detaily výstupu se určují volbami v části Including of extensions (longer variants of hypotheses) options.
DODELAT !!!!!!!!!!!!!!!!!!!
Volbou Include „worse“ extensions of condition. Podrobnosti jsou zde.
Volbou Extensions minimal length check se zapíná kontrola zadaných minimálních délek. Podrobnosti jsou zde.