[Termtools] competition (re-run) is finishing, please eyeball the results

[Johannes Waldmann]

Dear all,

the competition (re-run) is drawing to a close now

    http://nfa.imn.htwk-leipzig.de/termcomp/competition/20

with just a few job pairs missing in TRS Standard.

If you have the time, please eyeball the results:
in particular, check for inconsistencies
and report them here (termtools list),
so the community can discuss,
and the SC can take action (if necessary).

Of course, any other observation or comment is useful as well -
for the competition report (tomorrow)
and also for designing future competitions
(we just have to remember to read this list's archive).

Also, you are welcome to send suggestions for improving
the presentation platform.

- Johannes.


Note: we have these (provisional) tools
for comparing and filtering results:

* compare jobs: put any sequence of job ids in URL like this:
http://nfa.imn.htwk-leipzig.de/termcomp/show_job_results/5376/5380

* filter results: that's the "flexible query" link, where
you can successively restrict  by row type (click these/other).
e.g.,
http://nfa.imn.htwk-leipzig.de/termcomp/flexible-table/Query%20%5B%5D/5391
 oops - this shows a YES/NO conflict