[Termtools] Termination Competition 2017 - finished

[Salvador Lucas]

Dear Johannes,

Thanks for your work in organizing the competition!

Regards,

Salvador.


El 5/9/17 a las 16:56, Johannes Waldmann escribió:
> Dear all,
>
>
> Starexec just finished running the competition jobs.
>
> results: https://termcomp.imn.htwk-leipzig.de/competitions/65
>
> inconsistencies this year:
> https://termcomp.imn.htwk-leipzig.de/problems/False/24394/24399/24400/24402
>
> compare to last year:
> https://termcomp.imn.htwk-leipzig.de/combine/Y2016/65
> (but note https://github.com/jwaldmann/star-exec-presenter/issues/178 )
>
> comments welcome.
>
>
> I will be running the "demonstration categories"
> (with just one participant) tomorrow morning.
>
>
> - Johannes.
> _______________________________________________
> Termtools mailing list
> Termtools at lists.lri.fr
> http://lists.lri.fr/cgi-bin/mailman/listinfo/termtools