Difference between revisions of "News:Plan for complete run (all tools, all problems)"
From Termination-Portal.org
Jump to navigationJump to searchJ.waldmann (talk | contribs) (Created page with " <!-- Please insert the corresponding information below so that the news page can be generated automatically. Line breaks are allowed! You may use MediaWiki syntax h...") |
|||
| Line 12: | Line 12: | ||
{{News | {{News | ||
| − | |text=A complete termcomp run (all tools, all problems) is | + | |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 | |date=Dec 6, 2011 | ||
}} | }} | ||
Latest revision as of 14:59, 12 December 2011
Dec 6, 2011
A complete termcomp run (all tools, all problems) is currently executed (Announcement). 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.
