Difference between revisions of "News:Full TPDB run, December 2013"
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...") |
J.waldmann (talk | contribs) |
||
| Line 12: | Line 12: | ||
{{News | {{News | ||
| − | |text=A | + | |text=A complete run of all Termcomp 2013 participating solvers on all TPDB problems has been performed. Results are at [http://termcomp.uibk.ac.at/termcomp/competition/competitionSummary.seam?comp=455446&cid=2669] |
|date=Jan 7, 2014 | |date=Jan 7, 2014 | ||
}} | }} | ||
Latest revision as of 17:43, 21 February 2014
Jan 7, 2014
A complete run of all Termcomp 2013 participating solvers on all TPDB problems has been performed. Results are at [1]
