confluence_checker=csi -s 'AUTO[30]' -ext trs -
termination_checker=ttt2 -s 'COMP[30]' -ext trs -
non_joinability_checker=csi -s '(nonconfluence -nonjoinability -steps 0 -tree)[30]' -C RT -ext trs -
confluence_certifier=csi -ext trs -cpf -s 'CERT_ALL[30]' -
termination_certifier=ttt2 -ext trs -cpf -s 'COMPCERT[30]' -
non_joinability_certifier=csi -ext trs -cpf -s '(nonconfluence -nonjoinability -steps 0 -tree -cert)[30]' -C RT -
waldmeister=waldmeister