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

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

   misc - other examples (mostly from earlier releases).

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

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

The script Run_all will run all of the examples in a subdirectory and
compare the results to the results on my computer (a 486-DX2/66 running
Linux).  Run it, for example, like this

   Run_all kalman

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

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