On Mon, 19 Jul 2010, Matthew Wakeling wrote:
> I have isolated a reasonably small example that fails.
Just ran the example again, and it passed. Looks like an intermittent
problem, not a deterministic one. However, it does seem that the size of
the COPY is a significant factor.
Matthew
--
Here we go - the Fairy Godmother redundancy proof.
-- Computer Science Lecturer