Abstract: We describe what algorithm has enabled to compute of nonisomorphic posets on 12 elements: P12=1,104,891,746, which currently constitutes the greatest known value of this enumeration.