%\chaptersmtzthreetrue
%\chapterproplogictrue
%\chaptersatsolvertrue
%\chapterndproptrue
%\chapterpredlogictrue
%\chapterndpredtrue
%\chaptersmttrue
%\chapterbddtrue
\chaptereqcheckingtrue
%\chaptersymbenctrue
%\chaptertemporaltrue