The plot below shows the monthly solving times for Edprof. These are six-month rolling averages
(i.e. the result for each month averages the solving times for the past six months).
There's an untraced bug that sometimes causes items to be plotted out of sequence. Refreshing the page usually resolves this.