[Termtools] scores over 100 %

[Peter Schneider-Kamp]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Dear all,

thanks to the organizers and all participants for a really exciting
competition which easily rivalled the soccer championships!

I am deeply impressed with the performance of Jambox which
totally dominated for SRSs and with a few minor additions
(transformations etc.) could have beaten AProVE for TRSs!

The only thing I found disappointing was that neither TTT nor
any of the direct tools for logic programming took part in
the competition. For the latter you can have a look
at a comparison of TALP and AProVE to the direct tools
cTI and TerminWeb on a very similar set of examples, though:

http://aprove.informatik.rwth-aachen.de/eval/LP/

Zantema, H. wrote:
> About the scores I think it is strange that the second round is taken
> into account here. Examples of two really undesired consequences:

Another undesired consequence is, that Jambox is now further
behind AProVE than it deserves.

Best regards,
Peter
- --
Peter Schneider-Kamp   mailto:psk at informatik.rwth-aachen.de
LuFG Informatik II     http://www-i2.informatik.rwth-aachen.de/~nowonder
RWTH Aachen            phone: ++49 241 80-21211
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.3 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFEpNnK3VbrCXkKHhwRAhrFAJ9k40b6tpX1RdgR8urkaC86kctykwCfQuDm
3Swc7bMRx6bnikA00geVx0k=
=1xs2
-----END PGP SIGNATURE-----

_______________________________________________
Termtools mailing list
Termtools at lists.lri.fr
http://lists.lri.fr/mailman/listinfo/termtools