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

anldp < f2.in > f2.out

anldp < f3.in > f3.out

anldp < f4.in > f4.out

anldp < p5.in > p5.out

anldp < p6.in > p6.out

anldp < p7.in > p7.out

anldp < p8.in > p8.out

anldp < p9.in > p9.out

anldp < q10.in > q10.out

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