[Termtools] termcomp 2015 status update

[Johannes Waldmann]

Dear all,


I restored the combined results presentation, now linked from
http://www.termination-portal.org/wiki/Termination_Competition_2015#News

As always, comments on the results are welcome
(post here on the list).


With help from starexec, I now have a working job-starter
(but it cannot realize the "random subset benchmark selection"
algorithm, so we are using all of TPDB)


So, things are looking good for tomorrow.
We will start at 10 a.m. CEST (when it's coffee break at CADE)


Thanks for sending me the space-ids on short notice,
that *was* indeed helpful.


- Johannes.