# Listing all posets on 9 points?

I'm looking for a list of all (non-isomorphic) posets on 9 points. I know there are 183231 of them (OEIS A000112), but in order to progress with a problem I'm working on, I'd need the posets themselves, not only their number.

Background: A poset is a set $$S$$ together with a relation $$\le$$ on $$S$$ which is reflexive, transitive, and antisymmetric. Elements of $$S$$ are called points here. Two posets are isomorphic if there is a relation-respecting bijection between them. Deciding whether two posets are isomorphic is known to be a difficult problem, and the numbers of isomorphism classes of finite posets are known only for posets with up to 16 points (see the OEIS entry cited above). State of the art is a 2002 paper by Brinkmann and McKay: "Posets on up to 16 Points", Order 19 (2) (2002) 147-179.

• John Stembridge has been so kind to provide me with a list of all posets on 8 points, which has been of great help to solve my problem for 8-point structures. Now I'd like to one-up my research, but without access to all 9-point posets, that will be hopeless. – Uli Fahrenberg Feb 25 at 23:13

Using posets(9) from Finite posets in SageMath will give you an iterator of all posets (up to isomorphism) on 9 elements. So, this isn't a list you can download like in the other answer, but gives a way to work with posets on $$n$$ elements up to isomorphism. I tried on my laptop and was able to iterate on 10% of the posets on 9 elements in about 4 minutes.