Как называется самый большой хищный горгонопсид и какой он длины?

Я думаю, что это Иностранцевия. Она была в длину 5 метров. А по некоторым костям учёные определили, что она может достигать а длину и 9 метров. Может быть, есть горгонопсид, который больше 9 метров?