Nbt1_unsuccessful.txt Nbud2_successful.txt Zbud2_unsuccessful.txt Nbud1_successful.txt Zbud1_unsuccessful.txtAutomatic termination proofs:
Ndt1_successful.html Zdt2_timeout.html Zr_successful.html Zbt1_successful.html Zdub2_successful.html Zbud1_successful.html Zdub2_webinterface_timeout.htmlRewrite rules:
Nbt1.trs Nbud2.trs Zbud1.trs Zdt1.trs Zdub2.trs Nbud1.trs Zbt1.trs Zbud2.trs Zdt2.trs Zr.trs
Last modified: July 15, 2016