[Termtools] Termination Competition 2014 - NOW RUNNING

[Juergen Giesl]

Dear Johannes,

I think that Albert and in particular you also deserve a lot of thanks for
all the work you did to get the competition running.

Thanks and Best Regards
Juergen
Dear all,


the Termination Competition 2014 was started a few minutes ago.
Results will be displayed live at:

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

With the raw power of Star-Exec at our disposal,
we will be running all solvers on all benchmarks,
with 5 minutes wallclock timeout.

What we are seeing now, is the result of a lot of work
by a lot of people: foremost, the authors of the participating
solvers, and the authors of benchmarks.

On the technical side, I'd like to thank especially
* Stefan von der Krone, HTWK Leipzig
  - programming the presentation platform
* Aaron Stump, U Iowa
  - running and extending the star-exec execution platform
* Rene Thiemann, U Innsbruck
  - providing the CeTA validator
  - collecting the TPDB 9 benchmark set

I hope everything will be running smoothly.
(As did the several tests during the week.)

Best regards, Johannes Waldmann, HTWK Leipzig.


( General information on the competition:
http://www.termination-portal.org/wiki/Termination_Competition_2014 )
_______________________________________________
Termtools mailing list
Termtools at lists.lri.fr
http://lists.lri.fr/cgi-bin/mailman/listinfo/termtools
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.lri.fr/pipermail/termtools/attachments/20140719/bff80702/attachment.html>