[ckrause]

In general, we can validate only up to a finite number of terms. Yes, there are incorrect programs, because for some sequences there are just too few terms, or it is hard to distinguish the sequence from others.

These are the current requirements: - the OEIS sequence must have at least 10 terms - the first 100 terms must match (if it has so many terms) - if it has more than 100 terms, we check up to 2000 terms. If the program yields a different term, it is discarded. It is accepted if the program can't be evaluated for n>100 because the maximum number of steps exceeded or the number get too big.