User contributions
From Termination-Portal.org
Jump to navigationJump to search- 11:19, 3 August 2016 diff hist +9 Termination and Complexity Competition 2016 →StarExec Information
- 11:19, 3 August 2016 diff hist +98 Termination and Complexity Competition 2016 →StarExec Information
- 11:50, 2 August 2016 diff hist +70 Termination Competition 2016 Registration →Benchmarks
- 12:50, 1 August 2016 diff hist -197 Termination Competition 2016 Registration →Solvers
- 12:48, 1 August 2016 diff hist +195 Termination Competition 2016 Registration →Solvers
- 12:42, 1 August 2016 diff hist +51 Termination Competition 2016 Registration →Benchmarks
- 12:42, 1 August 2016 diff hist +56 Termination Competition 2016 Registration →Benchmarks
- 12:08, 1 August 2016 diff hist +55 Termination and Complexity Competition 2016 →Dates
- 11:58, 1 August 2016 diff hist +75 Termination and Complexity Competition 2016 →StarExec Information
- 11:57, 1 August 2016 diff hist +188 Termination and Complexity Competition 2016 →StarExec Wiki
- 10:33, 1 August 2016 diff hist +25 Termination Competition 2016 Registration →Benchmarks
- 11:52, 30 July 2016 diff hist +55 Termination Competition 2016 Registration
- 11:43, 30 July 2016 diff hist -5 Termination Competition 2016 Registration
- 11:42, 30 July 2016 diff hist +350 Termination Competition 2016 Registration
- 11:32, 30 July 2016 diff hist +160 Termination Competition 2016 Registration
- 11:26, 30 July 2016 diff hist +516 N Termination Competition 2016 Registration Created page with "For registering your solver, I need the starexec ids of space, solver, and configuration, for each competition category that you want to take part in. [http://nfa.imn.htwk-le..."
- 11:45, 22 July 2016 diff hist +1 Termination Competition →Competition Categories
- 11:43, 22 July 2016 diff hist +27 Termination Competition →Upcoming Competitions
- 11:34, 20 July 2016 diff hist +24 Termination and Complexity Competition 2016 →Registration
- 13:45, 11 October 2015 diff hist +10 Termination Competition 2014 →Current News current
- 11:55, 6 August 2015 diff hist +103 Termination Competition 2015 →News current
- 10:42, 6 August 2015 diff hist 0 Termination Competition 2015 →News
- 10:42, 6 August 2015 diff hist +101 Termination Competition 2015 →News
- 10:41, 6 August 2015 diff hist +148 Termination Competition 2015 →News
- 19:21, 5 August 2015 diff hist +37 Termination Competition 2015 →News
- 19:13, 5 August 2015 diff hist +41 Termination Competition 2015 →News
- 13:11, 5 August 2015 diff hist +144 Termination Competition 2015 →News
- 06:41, 5 August 2015 diff hist +120 Termination Competition 2015 →News
- 06:35, 5 August 2015 diff hist +189 Termination Competition 2015 →News
- 06:14, 5 August 2015 diff hist +98 Termination Competition 2015 →News
- 06:11, 5 August 2015 diff hist -1 Termination Competition 2015 →News
- 06:08, 5 August 2015 diff hist +93 Termination Competition 2015 →News
- 06:00, 5 August 2015 diff hist +121 Termination Competition 2015 →News
- 05:40, 5 August 2015 diff hist +35 Termination Competition 2015 →News
- 05:39, 5 August 2015 diff hist +27 Termination Competition 2015 →News
- 05:38, 5 August 2015 diff hist +491 Termination Competition 2015
- 19:19, 3 August 2015 diff hist +164 Termination Competition →Annual International Termination Competition
- 13:20, 30 July 2015 diff hist +34 Termination Competition 2015 Bugs current
- 13:20, 30 July 2015 diff hist +62 Termination Competition 2015 Bugs
- 13:10, 30 July 2015 diff hist +247 Termination Competition 2015 Bugs
- 11:11, 29 July 2015 diff hist +152 Termination Competition 2015 Bugs
- 08:49, 29 July 2015 diff hist +69 Termination Competition 2015 Bugs
- 08:48, 29 July 2015 diff hist +49 Termination Competition 2015 Bugs
- 08:47, 29 July 2015 diff hist +222 N Termination Competition 2015 Bugs 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..."
- 08:47, 29 July 2015 diff hist -193 Termination Competition 2015 Registration →General current
- 08:41, 29 July 2015 diff hist +144 Termination Competition 2015 Registration →General
- 08:39, 29 July 2015 diff hist +132 Termination Competition 2015 Registration →General
- 18:51, 28 July 2015 diff hist +64 Termination Competition 2015 TODO →done current
- 13:41, 28 July 2015 diff hist +104 Termination Competition 2015 TODO →accepted
- 13:40, 28 July 2015 diff hist 0 Termination Competition 2015 TODO →done