mace2 -n4 -m50 < cl_ql.in > cl_ql.out
mace2 -n3 -m100000 < cl_sw.in > cl_sw.out
mace2 -n6 -m1000 < noncommutative_group.in > noncommutative_group.out
mace2 -n4 -m1000 < ordered_semi.in > ordered_semi.out
mace2 -n4 -m100 < ring.in > ring.out
mace2 -n3 -m10000 < tba.in > tba.out
mace2 -n8 < tough-nut.in > tough-nut.out
These activities are projects of the Mathematics and Computer Science Division of Argonne National Laboratory.