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

Experiments for Confluence of PRSs (Table 1)

For experiments we considered the 69 PRSs in Cops. Note that clicking a cell in the Results table below shows the corresponding tool output.