User contributions
From Termination-Portal.org
Jump to navigationJump to search- 12:27, 31 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 16:35, 30 August 2016 diff hist -122 Termination Competition 2016 Registration →Test Runs
- 11:46, 29 August 2016 diff hist +1 Termination Competition 2016 Registration →Test Runs
- 11:03, 29 August 2016 diff hist +1 Termination Competition 2016 Registration →Test Runs
- 10:54, 29 August 2016 diff hist +1 Termination Competition 2016 Registration →Test Runs
- 10:51, 29 August 2016 diff hist +1 Termination Competition 2016 Registration →Test Runs
- 10:47, 29 August 2016 diff hist +29 Termination Competition 2016 Registration →Test Runs
- 10:44, 29 August 2016 diff hist -28 Termination Competition 2016 Registration
- 23:01, 28 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 12:45, 28 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 12:35, 28 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 16:32, 26 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 14:43, 25 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 20:31, 23 August 2016 diff hist +1 Termination Competition 2016 Registration →Test Runs
- 20:30, 23 August 2016 diff hist +1 Termination Competition 2016 Registration →Test Runs
- 20:24, 23 August 2016 diff hist +1 Termination Competition 2016 Registration →Test Runs
- 20:12, 23 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 20:06, 23 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 19:41, 23 August 2016 diff hist +1 Termination Competition 2016 Registration →Test Runs
- 00:39, 20 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 00:37, 20 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 19:07, 18 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 14:44, 18 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 14:42, 18 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 10:35, 17 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 10:33, 17 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 06:54, 17 August 2016 diff hist +21 Termination Competition 2016 Registration →Test Runs
- 15:16, 16 August 2016 diff hist +30 Termination Competition 2016 Registration →Test Runs
- 15:09, 16 August 2016 diff hist +30 Termination Competition 2016 Registration →Test Runs
- 11:18, 15 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 11:16, 15 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 11:03, 15 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 11:01, 15 August 2016 diff hist +89 Termination Competition 2016 Registration →Test Runs
- 09:06, 15 August 2016 diff hist +10 Termination Competition 2016 Registration →Benchmarks
- 15:29, 14 August 2016 diff hist +44 Termination Competition 2016 Registration →Benchmarks
- 15:26, 14 August 2016 diff hist -59 Termination Competition 2016 Registration →Benchmarks
- 09:40, 14 August 2016 diff hist +68 Termination Competition 2016 Registration →Benchmarks
- 10:14, 10 August 2016 diff hist +39 Termination Competition 2016 Registration →Test Runs
- 10:07, 10 August 2016 diff hist +320 Termination Competition 2016 Registration
- 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
- 13:40, 28 July 2015 diff hist 0 Termination Competition 2015 TODO →accepted
- 13:39, 28 July 2015 diff hist +69 Termination Competition 2015 TODO →accepted
- 13:37, 28 July 2015 diff hist +59 Termination Competition 2015 TODO →accepted
- 13:36, 28 July 2015 diff hist -93 Termination Competition 2015 TODO
- 13:36, 28 July 2015 diff hist -41 Termination Competition 2015 TODO →suggested
- 13:36, 28 July 2015 diff hist +194 Termination Competition 2015 TODO
- 13:34, 28 July 2015 diff hist +62 Termination Competition 2015 TODO
- 19:27, 22 July 2015 diff hist +74 Termination Competition 2015 Registration →Benchmark submissions
- 21:10, 14 July 2015 diff hist 0 Termination Competition 2015 →Dates
- 18:09, 13 July 2015 diff hist +146 Termination Competition 2015 TODO →suggested
- 15:13, 12 July 2015 diff hist -1 Termination Competition 2015 TODO