Для проверки соответствия инструмента критериям производительности выбраны 3 файла из набора ISCAS89: s9234.bench (5 844 узлов), s13207.bench (8 651 узлов) и s15850.bench (10 383 узлов), а также случайно сгенерированный граф с заданным размещением в формате FLG на 10 тысяч узлов test10000_20_100.xml.
Корректно (is_correct): 1