Difference between revisions of "Termination Competition 2015 Bugs"

From Termination-Portal.org
Jump to navigationJump to search
(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...")
 
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

Revision as of 08:48, 29 July 2015