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