pypomp.core.results.ResultsHistory.time¶ ResultsHistory.time() → DataFrame[source]¶ Return a DataFrame summarizing execution times.