[Termtools] compare 2015 to 2014

[Johannes Waldmann]

Dear all,

I rewrote some code and it is now possible
to view 2014 and 2015 competition results side by side -
but it is a bit clumsy.

Navigate to a job from this year, e.g.

http://nfa.imn.htwk-leipzig.de/termcomp-2015/results/standard/noquery/10298

find the corresponding job from last year, starting here
http://nfa.imn.htwk-leipzig.de/termcomp-2014/competition/20

and add the job number to the URL, like this

http://nfa.imn.htwk-leipzig.de/termcomp-2015/results/standard/noquery/10298/5375

the go to flexible-query:

http://nfa.imn.htwk-leipzig.de/termcomp-2015/flexible-table/Query%20%5B%5D/10298/5375

look for rows that are all yellow for the old jobs.
and not all-yellow for the new ones.

http://nfa.imn.htwk-leipzig.de/termcomp-2015/results/standard/Query%20%5BFilter_Rows%20%28And%20%5BEquals%20%22nothing%22,Equals%20%22solver-maybe%22,Equals%20%22solver-maybe%22,Equals%20%22solver-yes%22,Equals%20%22solver-maybe%22,Equals%20%22solver-maybe%22,Equals%20%22solver-maybe%22%5D%29%5D/10298/5375

This shows that two problems of TRS relative
that were not solved last year, were solved now.
In this case, by NaTT (Akihisa Yamada)
using the new "DP for relative termination" method
http://nfa.imn.htwk-leipzig.de/termcomp-2015/pairs/121506127

Repeat for other categories of interest,
and report your findings here.

- J.