Statistics for Verifying Temporal Relational Models with Pardinus