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()); }