Difference between revisions of "Termination Competition 2015 Bugs"
From Termination-Portal.org
Jump to navigationJump to searchJ.waldmann (talk | contribs) (Created page with " * http://nfa.imn.htwk-leipzig.de/termcomp-devel/problems/9663/9665/9682/9683 * http://nfa.imn.htwk-leipzig.de/termcomp-devel/problems/9632/9652 * http://nfa.imn.htwk-leipzig...") |
J.waldmann (talk | contribs) |
||
| Line 1: | Line 1: | ||
| − | + | strange outputs from test runs before competition | |
* http://nfa.imn.htwk-leipzig.de/termcomp-devel/problems/9663/9665/9682/9683 | * http://nfa.imn.htwk-leipzig.de/termcomp-devel/problems/9663/9665/9682/9683 | ||
* 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 | ||
