Auszug von changes.txt:
47 files changed, 2143 insertions(+), 2629 deletions(-)
...
We have mainly removed evaluation stuff that proved to be almost
useless, we have now access to a better hardware facility(*) and we
are able to test with a better resolution our evaluation code so to
remove old stuff that we never dared to touch. ...
eine weitere beschleunigung der suche?