[Termtools] termcomp2015: compexity mostly done, starting Java now, TRS/SRS next

[Johannes Waldmann]

Dear all,

complexity categories are nearly finished now.
I am running Java Bytecode just now
and the others (various TRS/SRS) soon after.

You'll notice a strange Java results table
http://nfa.imn.htwk-leipzig.de/termcomp-2015/results/standard/noquery/10316/10317
(4 columns where it should be 2)

This is an unforeseen effect of the last-minute work-around
with the job-starter. I have no time to fix it now.
It is not a serious problem. The data is OK,
but it is contained in two starexec jobs, not one (as it was last year)
so it has to be merged for display.

- J.