The subdirectories contain some example input files for Otter 3.0.x
Most of them run within a few seconds and require little memory.

   auto - examples (mostly from earlier releases) that run in Otter's
          autonomous mode.

   misc - other examples (mostly from earlier releases).

   kalman - some examples contributed by John Kalman (kalman@mat.aukuni.ac.nz).

   program - some examples of "programming" otter.
         WARNING: two_inv.in takes an hour or so to run on a SPARC 2.

   wos - some examples contributed by Larry Wos (wos@mcs.anl.gov)
         WARNING: several take a lot of time and memory.  See wos/README.

   fringe - examples demonstrating some of the esoteric features.

   split - examples demonstrating the new splitting rule in 3.0.5.

   ivy - examples as used by the Ivy system (new in 3.0.6).

The C shell script Run_all will run all of the examples in a
subdirectory and compare the results to the results on a Sparc2.
Run it, for example, like this

   Run_all kalman

Of course, you can also run the examples individually, for example

   cd program
   ../../source/otter < two_inv.in > two_inv.out &
