For the F-statistic, the numerator degrees of freedom is the difference between the number of parameters in the full model and the number of parameters in the reduced model, and the denominator degrees of freedom is n - p_f, where n is the sample size and p_f is the number of parameters (including intercept) in the full model.

But wouldn't it be easier just to look at whether b1 is significant?