[Termtools] Termination Competition extra data

[Johannes Waldmann]

Dear all,

since I was curious, (and star-exec was idle),
I did an extra run with 15 min time-out last week:
http://nfa.imn.htwk-leipzig.de/termcomp/competition/24

for reference, official results (5 min time-out):
http://nfa.imn.htwk-leipzig.de/termcomp/competition/20

There are no differences in rankings,
but some (small) changes in numbers.

I hear that SMT is also doing super-extended experiments
(with time-outs of several hours), cf.
http://starexec.wordpress.com/2014/07/25/new-deploy-update-jquery-job-explorer-different-timeouts-per-queue/

- Johannes.