You should be able to run all of the tests with the following 4 commands.
(Make sure that ../mace points at the otter and anldp binaries.)

Run_mace first_order
Run_mace quasigroup
Run_anldp propositional
Run_anldp sorted

To run the tests individually, 

+  first_order, quasigroup: run these with mace (because they are in the
   Otter language); look at the first line of the input file
   for the suggested mace parameters, e.g.,
   
        ../mace -n6 -p -m1 < first_order/noncommutative_group.in

+  propositional: run these with anldp with no parameters.

        ../anldp < propositional/q10.in

+  sorted: run these with anldp -z.
