News:Full TPDB run, December 2013: Difference between revisions
J.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) No edit summary |
||
| 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]