[Termtools] how to win big in the certified categories

[Johannes Waldmann]

Dear all,


this is final registration data:
https://termcomp.imn.htwk-leipzig.de/registered/Y2017


and - you might enjoy this practical joke:

100 percent YES. in no time. fully certified.
notwithstanding some fully certified NOs for the same benchmarks.
using this year's latest and greatest CeTA.

https://termcomp.imn.htwk-leipzig.de/results/standard/noquery/23925
(the table does not show it, but this *is* certified.
You can check individual job pair logs)

Explanation:
https://www.tapatalk.com/groups/starexec/bug-reports-f65/


- J.