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.