[Termtools] termcomp 2019

[Johannes Waldmann]

Dear all,


many thanks to Akihisa for running the competition!


To compare results to previous years, you can still use

https://termcomp.imn.htwk-leipzig.de/flexible-table/Query%20[]/30034/33010
( TRS Standard )

https://termcomp.imn.htwk-leipzig.de/flexible-table/Query%20%5B%5D/30037/33017
( SRS Relative)

where you pick the job numbers from official results tables
http://54.199.109.250/competitions/Y2018/
http://54.199.109.250/competitions/Y2019/

I haven't updated this software much, but I can keep it running.


Let me emphasize - displaying results is easy,
the hard part is managing the participating solvers
and running the jobs. Kudos to Akihisa!


Best regards, Johannes.