### /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.