[Termtools] Duplicate systems in category CSR

[Carsten Fuhs]

Dear all,

I have just had a look at the CSR category of the TPDB for the rerun of 
the competition of 2007:

http://colo5-c703.uibk.ac.at:8080/termcomp/competition/categoryDetail.seam?categoryId=12629&cid=350

There seem to be several duplicate examples in this category:

I checked "tpdb-4.0/TRS/CSR/ExIntrod_Zan97.trs" (#49) 
and "tpdb-4.0/TRS/CSR/tmp/ExIntrod_Zan97.trs" (#130), and it looks like 
the two CSRs are identical. I presume that all CSRs with "tmp/" in 
their path are duplicates of the corresponding examples of the same 
filenames without "tmp/" in the path (in total 43 examples).

The same issue arises for "tpdb-4.0/TRS/CSR/ExSec11_1_Luc02a.trs" (#51) 
and "tpdb-4.0/TRS/TRCSR/ExSec11_1_Luc02a.trs" (#132).

What is the intended policy for these 44 examples at the upcoming 
competition?

Best regards,

  Carsten
-- 
Carsten Fuhs          mailto:fuhs at informatik.rwth-aachen.de
LuFG Informatik 2     http://verify.rwth-aachen.de/fuhs
RWTH Aachen           phone: +49 241 80-21241