[Termtools] second stage (rules changed?)

[Johannes Waldmann]

Claude - what is next? Are you running the second stage (5 minutes)
for String Rewriting now?

(Alfons:)

 > I am strictly against applying rules that have not been stated when
 > the competition started.

Indeed. This also holds for the second stage of the competition.
It was quite clearly the intention that provers are re-run
for unsolved problems from the first stage. I don't see any reason
to change this to "... unsolved after ten seconds of the first stage"
but apparently that's what's going to happen.

Best regards,
-- 
-- Johannes Waldmann -- Tel/Fax (0341) 3076 6479/80 --
---- http://www.imn.htwk-leipzig.de/~waldmann/ -------

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