[Termtools] New TPDB available

[Carsten Otto]

Dear all,

On Mon, Jun 18, 2012 at 10:21:18AM +0200, René Thiemann wrote:
> the new version of TPDB (8.0.3) is now available on termcomp. It
> contains all new problems that have been submitted to the SC. Thanks
> to all the contributors.

Our recursive example appears as
JBC/Julia_12_recursive/MarkingGraphVisitor.jar. Could you move it?

Then we see that JBC/BTOG_FoVeOOS_11/LoopingNonterm.jar and
JBC/Julia_12_iterative/Loop.jar are the same (apart from whitespace in
the source). I suggest removing the Julia example, because our example
is already referenced in a publication.

Furthermore, it seems a large part of JBC/Julia_12_recursive/ is just a
copy of the corresponding examples in JBC/BTOG_FoVeOOS_11/ where the loop
was replaced by recursion (for example
JBC/BTOG_FoVeOOS_11/Velroyen08-even.jar and
JBC/Julia_12_recursive/even_rec.jar). Did the SC recognize this? Is it
intended to have this kind of duplicates in the TPDB?

Best regards,
-- 
Carsten Otto           otto at informatik.rwth-aachen.de
LuFG Informatik 2      http://verify.rwth-aachen.de/otto/
RWTH Aachen            phone: +49 241 80-21211
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 198 bytes
Desc: Digital signature
URL: <http://lists.lri.fr/pipermail/termtools/attachments/20120618/cbe70aad/attachment.pgp>