[Termtools] termcomp2015: compexity mostly done, starting Java now, TRS/SRS next
johannes.waldmann at htwk-leipzig.de
Thu Aug 6 13:20:40 CEST 2015
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
(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.
More information about the Termtools