[Termtools] Termination Competition Data

[Johannes Waldmann]

Dear all,

during Termination Competition (and Demonstration) 2014,
a total of 13 GB data (job pair outputs and logs)
were produced on star-exec. Most data-intensive categories are:

8.4G Haskell
1.1G TRS_Standard
554M SRS_Standard certified
548M Runtime_Complexity__Innermost_Rewriting
360M TRS_Standard certified
281M SRS_Standard

(for comparison: CASC total was 12 GB)

- Johannes.