Statistics for Algorithmic Analysis of Infinite-State Systems