Author: Unknown
Subject: Stats vs. spec
Date: Saturday, 28 Mar 2020, 02:23:25

In the announcement about Stats.pl, the output reports 2*(#compares+#lines). However, in the pset spec, the required number of calls to add-/pushD() is 2#compares + #lines. Is the calculation in Stats.pl then an incorrect upper bound for the required efficiency of our solution?