Difference between revisions of "Termination Competition 2015 Bugs"

From Termination-Portal.org
Jump to navigationJump to search
Line 4: Line 4:
 
* http://nfa.imn.htwk-leipzig.de/termcomp-devel/problems/9632/9652
 
* http://nfa.imn.htwk-leipzig.de/termcomp-devel/problems/9632/9652
 
* http://nfa.imn.htwk-leipzig.de/termcomp-devel/problems/9546/9548/9568/9569
 
* http://nfa.imn.htwk-leipzig.de/termcomp-devel/problems/9546/9548/9568/9569
 +
 +
comments on the above
 +
 +
* http://lists.lri.fr/pipermail/termtools/2015-July/001063.html
 +
* http://lists.lri.fr/pipermail/termtools/2015-July/001064.html

Revision as of 11:11, 29 July 2015

strange outputs from test runs before competition, cf. [1]

comments on the above

Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Termination_Competition_2015_Bugs&oldid=1613"