Although the truth of Barnette's conjecture remains unknown, computational experiments have shown that there is no counterexample with fewer than 86 vertices.
Хотя неизвестно, верна ли гипотеза Барнетта, вычислительные эксперименты показывают, что конрпримера с числом вершин меньше 86 нет.