This site provides experiments for the paper CSI: New Evidence – A Progress Report by Julian Nagele, Bertram Felgenhauer, and Aart Middeldorp.

• Confluence of TRSs
• Unique Normal Forms of TRSs
• Confluence of PRSs (CSI^ho)