It certainly is true that the status of some popes[Boniface,
Benedict XV(15) and 1 or 2 more]is disputed even to this day. The Church has however made a formal declaration in about 40 cases of anti-popes and this is not up to us to dispute. It is also of course true that the v2 anti-popes have not been formally declared as such so far.