/home/mccune/otter-3.3/examples-mace2/basic


Examples for a fixed domain size.

mace2 -n4 < cd.in > cd.out

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.