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

Johannes Waldmann johannes.waldmann at htwk-leipzig.de
Thu Aug 6 13:20:40 CEST 2015

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
(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.

More information about the Termtools mailing list