Random EDF task sets via UUniFast. Processor Demand Analysis (forward enumeration of absolute deadlines) vs Zhang-Burns QPA (backward sweep). Both are exact; the question is how many evaluations of h(t) each needs.