WinsCRT                 WinsCRT: Win-statistics inference for CRT
                        prioritized event logs
dat                     Example prioritized event-log dataset
