[Termtools] Competition: qualification rounds

[Zantema, H.]

Dear Claude,

Indeed nice to see how the present tools find completely different termination proofs for the SRS consisting of the single rule a -> b.

The fact that this is terminating is not surprising, but the fact that Matchbox needs a 13 levels deep nested unreadable proof for this, is....

As extra test cases for string rewriting I propose the old challenges 
Zantema/z086.srs and Waldmann/jw1.srs.




            Best regards, Hans Zantema.

_________________________________________________________
Dr Hans Zantema            
Technische Universiteit Eindhoven, Department of Computer Science 
P.O. Box 513, 5600 MB Eindhoven, The Netherlands 
e-mail: H.Zantema at tue.nl, homepage: www.win.tue.nl/~hzantema
office: Hoofdgebouw room 6.73, tel: (040)2472749
 

-----Original Message-----
From: termtools-bounces at lists.lri.fr [mailto:termtools-bounces at lists.lri.fr] On Behalf Of Claude Marché
Sent: woensdag 30 mei 2007 17:01
To: termtools at lri.fr
Subject: [Termtools] Competition: qualification rounds


As for previous editions, I'm currently "qualification rounds" to
check whether tools are running correctly. The results are available
on the web page :

http://www.lri.fr/~marche/termination-competition/2007/

I'm still facing difficulties: minor problems with aprove and TTT2,
and a major difficulty with TPA and Rainbow.

These must be solved before actually running the competition, so I
expect some delay. Therefore, I give some extra delays for sending the
final versions of tools: they must reach me on monday morning, June
4th, before 7am, GMT time. Same delay for sending secret problems.
I will start competition as soon as everything is OK.

In the meantime, I can run some extra tests on qualification rounds:
if there is one particular example you would like me to run to test
your tools, I can do it: just send me the name of the corresponding
file in the TPDB 4.0.

- Claude

-- 
Claude Marché                          | tel: +33 1 72 92 59 69           
INRIA Futurs - ProVal                  | mobile: +33 6 33 14 57 93 
Parc Orsay Université - ZAC des Vignes | fax: +33 1 74 85 42 29   
3, rue Jacques Monod - Bâtiment N      | http://www.lri.fr/~marche/
F-91893 ORSAY Cedex                    |




 

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