/nfs/mcs-homes62/mccune/otter-3.2/examples/split


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

GEO010-2 : GEO010-2.in : GEO010-2.pIII950 :

GEO036-2 : GEO036-2.in : GEO036-2.pIII950 :

GRP025-1 : GRP025-1.in : GRP025-1.pIII950 :

group2 : group2.in : group2.pIII950 :

noncomm-group : noncomm-group.in : noncomm-group.pIII950 :

pair : pair.in : pair.pIII950 :

pigeon5 : pigeon5.in : pigeon5.pIII950 :

power : power.in : power.pIII950 :

wang3 : wang3.in : wang3.pIII950 :

zebra2 : zebra2.in : zebra2.pIII950 :

zebra4 : zebra4.in : zebra4.pIII950 :


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