[Termination tools] Jambox Bug

[Jörg Endrullis]

Unfortunately I have to admit that competition version of Jambox 2005
was buggy. There was a small bug (due to absurd optimization) that has
been corrected in the current CVS version.

There were two SRS affected in the Termination Competition:
  1. secret/jambox1
  2. z065

That's why the actual YES score of Jambox is only 100.

The bug was revealed by an independent implementation of the algorithm
in Matchbox by Johannes Waldmann.

Best regards,
Jörg Endrullis