Website Statistics
Overall Statistics on http://rio.ecs.umass.edu
Software Statistics on ASRELATION.TAR.GZ
Software Statistics on infer-PTE.tar.gz