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.Statistics
| CSI^ho | |
|---|---|
| #yes | 50 |
| total time | 12.5 |
| average time | 0.2 |
| #no | 10 |
| total time | 2.3 |
| average time | 0.2 |
| #maybe | 3 |
| total time | 0.5 |
| average time | 0.3 |
| #timeout | 6 |
| total time | 360.0 |
| average time | 60.0 |
| #total | 69 |
| total time | 375.3 |