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

These problems were used to test Otter's experimental splitting rule.

`otter < GEO010-2.in > GEO010-2.out`

`otter < GEO036-2.in > GEO036-2.out`

`otter < group2.in > group2.out`

`otter < GRP025-1.in > GRP025-1.out`

`otter < noncomm-group.in > noncomm-group.out`

`otter < pair.in > pair.out`

`otter < pigeon5.in > pigeon5.out`

`otter < power.in > power.out`

`otter < wang3.in > wang3.out`

`otter < zebra2.in > zebra2.out`

`otter < zebra4.in > zebra4.out`

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