[Termtools] SRS-standard

[Johannes Waldmann]

Dear all,

SRS-standard is finished, with TTT2 getting
slightly more YES than Aprove, and Jambox about half
(this may be related to TTT2 and Aprove using arctic matrices).

For non-termination, nonloop has twice the NOs of TTT2,
and TTT2 has twice the NOs of Aprove. (And nonloop solved
SRS/Zantema/z073, which was the whole point of the exercise.)
Did TTT2 use the "SAT for loop-detection" idea this time?

Currently, SRS-standard-certifying is underway,
with some strange things happening ...

Best regards, Johannes.


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 257 bytes
Desc: OpenPGP digital signature
Url : http://lists.lri.fr/pipermail/termtools/attachments/20081108/7c499050/attachment.pgp