public virtual string GetVerificationStatistics()
{
StringBuilder sb = new StringBuilder();
sb.AppendLine("********Verification Statistics********");
sb.Append(GetAddtionalStatsString());
sb.Append(VerificationOutput.GetVerificationStatistics());
Times = VerificationOutput.getTimes();
Memories = VerificationOutput.getMems();
Transitions = VerificationOutput.getTransitions();
States = VerificationOutput.getStates();
Result = VerificationOutput.getResult();
return(sb.ToString());
}
