View source for News:Plan for complete run (all tools, all problems)

From Termination-Portal.org

← News:Plan for complete run (all tools, all problems)

You do not have permission to edit this page, for the following reason:

---

You can view and copy the source of this page.

<!-- Please insert the corresponding information below so that the news page can be generated automatically. Line breaks are allowed! You may use MediaWiki syntax here to link to articles, highlight text, ... Please add some date to the news entry (e.g. today's date for current news, a time period for the competition, ....). Example: |text = The [[WST]] takes place in [http://en.wikipedia.org/wiki/Juneau Juneau] this year! |date = Sep 8 - Nov 1, 2008 --> {{News |text=A complete termcomp run (all tools, all problems) is currently executed ([http://lists.lri.fr/pipermail/termtools/2011-December/000877.html Announcement]). [http://termcomp.uibk.ac.at/termcomp/competition/liveView.seam?comp=260918&elements=0&increment=0&ticker=10&cols=3&wtool=300&wres=80&cid=18 Partial results] are available, but will require some postprecessing after everything has been run (e.g., remove some outdated tools which should not have been run at all). Categories are run sequentially. |date=Dec 6, 2011 }}

Return to News:Plan for complete run (all tools, all problems).