The AutoKron can't determine the cohomology of $\text{Gr}_3(\mathbb{R}^{9,1})$.

There are 2 possibilities.
Here are their Poincaré polynomials: $$x^{18} y^{3} + x^{17} y^{3} + 2 x^{16} y^{3} + 3 x^{15} y^{3} + 3 x^{14} y^{3} + x^{14} y^{2} + 3 x^{13} y^{3} + 2 x^{13} y^{2} + 3 x^{12} y^{3} + 4 x^{12} y^{2} + 2 x^{11} y^{3} + 5 x^{11} y^{2} + x^{10} y^{3} + 7 x^{10} y^{2} + x^{9} y^{3} + 7 x^{9} y^{2} + 7 x^{8} y^{2} + x^{8} y + 5 x^{7} y^{2} + 2 x^{7} y + 4 x^{6} y^{2} + 3 x^{6} y + 2 x^{5} y^{2} + 3 x^{5} y + x^{4} y^{2} + 3 x^{4} y + 3 x^{3} y + 2 x^{2} y + x y + 1$$ $$x^{18} y^{3} + x^{17} y^{3} + 2 x^{16} y^{3} + 3 x^{15} y^{3} + 3 x^{14} y^{3} + x^{14} y^{2} + 3 x^{13} y^{3} + 2 x^{13} y^{2} + 3 x^{12} y^{3} + 4 x^{12} y^{2} + 2 x^{11} y^{3} + 5 x^{11} y^{2} + x^{10} y^{3} + 7 x^{10} y^{2} + 8 x^{9} y^{2} + 8 x^{8} y^{2} + 5 x^{7} y^{2} + 2 x^{7} y + 4 x^{6} y^{2} + 3 x^{6} y + 2 x^{5} y^{2} + 3 x^{5} y + x^{4} y^{2} + 3 x^{4} y + 3 x^{3} y + 2 x^{2} y + x y + 1$$ Here are the corresponding generator grids to these 2 possibilities:
1 1 2 2 3 3 3 3 3 3 1 3 3 3 2 2 3 3 3 4 4 4 4 2 2 5 5 5 5 5 1 7 7 7 7 7 7 7 1 7 7 7 7 7 7 7 7 7 7 7 7 7 7 1 5 5 5 5 5 2 2 4 4 4 4 3 3 3 2 2 3 3 3 1 3 3 3 3 3 3 2 2 1 1
1 1 2 2 3 3 3 3 3 3 1 3 3 3 2 2 3 3 3 4 4 4 4 2 2 5 5 5 5 5 1 7 7 7 7 7 7 7 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 5 5 5 5 5 2 2 4 4 4 4 3 3 3 2 2 3 3 3 1 3 3 3 3 3 3 2 2 1 1