/nfs/mcs-homes62/mccune/otter-3.2/source/mace/examples/big


Here are some big examples, too big to be quickly run as tests.

noncommutive_ring1 : noncommutive_ring1.in : noncommutive_ring1.pIII950 :

ortho-e1 : ortho-e1.in : ortho-e1.pIII950 :

ortho-e4 : ortho-e4.in : ortho-e4.pIII950 :


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