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