mace4 < kauer.in > kauer.out
mace4 < group2.in > group2.out
mace4 < ncg-48.in > ncg-48.out
mace4 < noncommutative-ring.in > noncommutative-ring.out
mace4 < nonmodular-oml.in > nonmodular-oml.out
mace4 < rw1.in > rw1.out (the answer)
mace4 < sheffer8.in > sheffer8.out
mace4 < qg.in > qg.out
mace4 < tba.in > tba.out
mace4 < cl_ql.in > cl_ql.out
mace4 < ec.in > ec.out
mace4 < steam.in > steam.out
mace4 < toughnut.in > toughnut.out
These activities are projects of the Mathematics and Computer Science Division of Argonne National Laboratory.