### /home/mccune/otter-3.3/examples/auto

These problems are easy for Otter. All use the autonomous mode.

`otter < cn19.in > cn19.out`

`otter < comm.in > comm.out`

`otter < ec_yq.in > ec_yq.out`

`otter < group.in > group.out`

`otter < lifsch.in > lifsch.out`

`otter < mv25.in > mv25.out`

`otter < pigeon.in > pigeon.out`

`otter < ring_x2.in > ring_x2.out`

`otter < robbins.in > robbins.out`

`otter < salt.in > salt.out`

`otter < sam.in > sam.out`

`otter < steam.in > steam.out`

`otter < tba_gg.in > tba_gg.out`

`otter < wang1.in > wang1.out`

`otter < w_sk.in > w_sk.out`

`otter < x2_quant.in > x2_quant.out`

`otter < z11.in > z11.out`

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