### /home/mccune/otter-3.3/examples-mace2/quasigroup

Quasigroup problems from Frank Bennett.

`mace2 -n9 -p -x < omts9.in > omts9.out`

`mace2 -n7 -x -m1000 < qg1d.in > qg1d.out`

`mace2 -n7 -x -m1000 < qg2d.in > qg2d.out`

`mace2 -n8 -x -m1000 < qg3.in > qg3.out`

`mace2 -n8 -x -m1000 < qg4.in > qg4.out`

`mace2 -n11 -x -m1000 < qg5l.in > qg5l.out`

`mace2 -n11 -x -m1000 < qg6.in > qg6.out`

`mace2 -n11 -x -m1000 < qg7bl.in > qg7bl.out`

These activities are projects of the Mathematics and Computer Science Division of Argonne National Laboratory.