Computational experiments have shown that, if a counterexample exists, it would have to have more than 177 vertices.
Számítási kísérletek alapján megmutatták, hogy ha létezik ellenpélda, annak több mint 177 csúcsból kell állnia.