Контрприклад для ефективного алгоритму Корнейля для Ізоморфізму Графа

У роботі Ефективний алгоритм для ізоморфізму графів Корнейла та Готлиба, 1970 р., Було викладено гіпотезу, згідно з якою зазначений алгоритм спирався на розв’язання ГІ у поліноміальний час. А саме:

що репрезентативні графіки демонструють розділення автоматифізму даного графа

Очевидно, ця гіпотеза досі не доведена (інакше ми б знали, що GI знаходиться в P). Моє запитання: чи було вже показано помилковим і, можливо, був приведений зустрічний приклад?

Метон показав, що гіпотеза, використовувана Корнейлом і Готлібом, помилкова. Перша довідка констатує цей факт.

1- П. Фоджа, К. Сансон, М. Венто, Порівняння продуктивності п’яти алгоритмів графічного ізоморфізму, Proc. 3-те представлення на основі графіку IAPR-TC15 в розпізнаванні візерунків, 2001, стор. 188-199.

2- Р. Матхон, Зразкові графіки для тестування на ізоморфізм, Congressus Numerantium, 21, pp. 499-517, 1978