Click on the numbers to see the structures.
Size of Lattice | Number of Lattices | ||||
OL | WOML | OML | MOL | BA | |
2 | 1 | 1 | 1 | 1 | 1 |
4 | 1 | 1 | 1 | 1 | 1 |
6 | 2 | 2 | 1 | 1 | 0 |
8 | 5 | 4 | 2 | 2 | 1 |
10 | 15 | 8 | 2 | 1 | 0 |
12 | 60 | 18 | 3 | 2 | 0 |
14 | 311 | 47 | 4 | 1 | 0 |
16 | ? | 135 | 7 | 3 | 1 |
18 | ? | ? | 8 | 1 | 0 |
20 | ? | ? | 14 | 2 | 0 |
These lattices were found with Mace4 and Isofilter. Mace4 generates all models of the specified size, but it usually produces many isomorphic models. Isofilter takes a stream of models and removes the isomorphic ones.
Here are the Mace4 input files and the corresponding scripts to generate the lattices in the table above.
Input File | Script |
OL.in | go.OL |
OML.in | go.OML |
MOL.in | go.MOL |
BA.in | go.BA |