[Termtools] second stage (5 minutes) overwrites previous results?

[Johannes Waldmann]

Dear all,

Dieter and I were looking at the results
from the second stage of the competition,
and we noticed one strange thing about SRS/Trafo - un17:

TPA can now prove it in 117 seconds,
but Torpa cannot prove it any longer
It could, in the first stage,
BUT Torpa's first-stage proof is gone
(it is overwritten by the DONTKNOW from the second stage)?
Note that also some of Jambox's loops have vanished.

Normally, this problem would not occur
because the second stage should not be executed
for problems that already had an answer.
-- 
-- 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