### /home/mccune/otter-3.3/examples-mace2/lattice

Examples on the relationships between various varieties of lattice.

`mace2 -N5 -p < lt-ml.in > lt-ml.out`

`mace2 -N6 -p < lt-ol.in > lt-ol.out`

`mace2 -N10 -p < ml-mol.in > ml-mol.out`

`mace2 -N6 -p < mol-ba.in > mol-ba.out`

`mace2 -N10 -p < ol-e1.in > ol-e1.out`

`mace2 -N10 -p < ol-e4.in > ol-e4.out`

`mace2 -N6 -p < ol-oml.in > ol-oml.out`

`mace2 -n5 -N10 -p < oml-mol.in > oml-mol.out`

These activities are projects of the Mathematics and Computer Science Division of Argonne National Laboratory.