: --log --disable-oracles --dir summaries 
: --summary-mode md
MTL_NuSMV
FretishAnimated
Fretish_MTL