Termination Competition 2014 Registration - Revision history

J.waldmann: /* Participants */

2014-07-19T14:43:41Z

Participants

J.waldmann: /* Procedure */

2014-06-29T11:43:36Z

Procedure

J.waldmann: /* Participants */

2014-06-23T11:39:35Z

Participants

J.waldmann: /* Participants */

2014-06-17T08:25:17Z

Participants

J.waldmann: /* new benchmarks */

2014-06-16T09:21:40Z

new benchmarks

J.waldmann: /* new benchmarks */

2014-06-16T08:40:36Z

new benchmarks

J.waldmann at 08:39, 16 June 2014

2014-06-16T08:39:36Z

J.waldmann: /* Participants */

2014-06-16T07:40:37Z

Participants

J.waldmann: /* Participants */

2014-06-15T15:37:41Z

Participants

J.waldmann: /* Participants */

2014-06-14T14:31:06Z

Participants

← Older revision		Revision as of 14:43, 19 July 2014
Line 26:		Line 26:
	announcement: http://lists.lri.fr/pipermail/termtools/2014-June/000958.html		announcement: http://lists.lri.fr/pipermail/termtools/2014-June/000958.html

−	check this page for current registration data: http://nfa.imn.htwk-leipzig.de/termcomp~~-devel~~/registered	+	check this page for current registration data: http://nfa.imn.htwk-leipzig.de/termcomp/registered

@@ Line 10: / Line 10: @@
 * upload your solver to starexec. In your solver description on starexec, give: name of solver, name and affiliation of (main) author(s), URL for more detail.
-* send to the organizer, in email, for each of your categories, the pair of solver-id and configuration-id. You can send preliminary id pairs, you can update them until July 1.
+* send to J. Waldmann, in email, for each of your categories, the pair of solver-id and configuration-id, and grant read access on star-exec. You can send preliminary id pairs, you can update them until July 1.
 Benchmark submission (by July 1)
 * upload benchmarks  on starexec (in some subspace of your space)
-* send to organizer, in email, the pathname of this subspace
+* send to R. Thiemann, in email, the pathname of this subspace, and grant read access on star-exec.
-Note: for the above to work, I need to have read access to your space (your solver, your benchmarks). One method for granting access is described here http://starexec.forumotion.com/t80-how-can-the-space-leader-use-non-public-solvers#189 , I hope there's a less roundabout way. (It seems there is not, so you should: create a subspace of your space, put your solver there, and also copy me to this subspace. I will then link to your solver, from the space where I actually run the experiments/competition.)
+Note: for granting access: create a subspace of your space, put your solver/benchmarks there, and copy the respective user to this subspace.
 == Participants ==

← Older revision		Revision as of 11:39, 23 June 2014
Line 19:		Line 19:

	== Participants ==		== Participants ==
		+
		+	update Mon Jun 23 13:37:26 CEST 2014
		+
		+	announcement: http://lists.lri.fr/pipermail/termtools/2014-June/000958.html
		+
		+	check this page for current registration data: http://nfa.imn.htwk-leipzig.de/termcomp-devel/registered
		+
		+
		+	the following is for historic reference only:

	registrations, by (meta-)categories. last updated Tue Jun 17 10:24:51 CEST 2014		registrations, by (meta-)categories. last updated Tue Jun 17 10:24:51 CEST 2014

@@ Line 20: / Line 20: @@
 == Participants ==
-registrations, by (meta-)categories. last updated Mon Jun 16 09:40:05 CEST 2014
+registrations, by (meta-)categories. last updated Tue Jun 17 10:24:51 CEST 2014
 (This list to be edited by the competition organizer only. Please send email in case of any errors or omissions.)
@@ Line 42: / Line 42: @@
 ** Higher-Order rewriting (union beta): Wanda, THOR
 ** integer transition systems: T2, AProVE, Ctrl
-** Integer TRS: AProVE
+** Integer TRS: AProVE, Ctrl
 * Complexity Analysis of Term Rewriting

← Older revision		Revision as of 09:21, 16 June 2014
Line 85:		Line 85:
	* C Programs		* C Programs
	** 208 examples (submitted by Thomas Ströder) http://lists.lri.fr/pipermail/termtools/2014-June/000957.html		** 208 examples (submitted by Thomas Ströder) http://lists.lri.fr/pipermail/termtools/2014-June/000957.html
		+	* integer transition systems
		+	** examples (generated from the JBC examples via AProVE Termination Graphs) are available under ID "34547" (Marc Brockschmidt)

@@ Line 84: / Line 84: @@
 ** hydra (submitted by Harald Zankl)
 * C Programs
-** 208 examples (submitted by Thomas Ströder)
+** 208 examples (submitted by Thomas Ströder) http://lists.lri.fr/pipermail/termtools/2014-June/000957.html

@@ Line 79: / Line 79: @@
 Note: on starexec, you can choose "ceta-postproc" to get immediate verification (by an earlier CeTA version, and with some extra problems, see https://github.com/jwaldmann/ceta-postproc/issues )
-== Nothing ==
+== new benchmarks ==
-(nothing here, except "Four or more headings cause a table of contents to be generated automatically.")
+* TRS Standard

@@ Line 20: / Line 20: @@
 == Participants ==
-registrations, by (meta-)categories. last updated Sun Jun 15 17:37:25 CEST 2014
+registrations, by (meta-)categories. last updated Mon Jun 16 09:40:05 CEST 2014
 (This list to be edited by the competition organizer only. Please send email in case of any errors or omissions.)
@@ Line 40: / Line 40: @@
 ** TRS Innermost certified: AProVE
 ** TRS Outermost certified: AProVE
-** Higher-Order rewriting (union beta): Wanda
+** Higher-Order rewriting (union beta): Wanda, THOR
 ** integer transition systems: T2, AProVE, Ctrl
 ** Integer TRS: AProVE
@@ Line 53: / Line 53: @@
 * Termination of Programming Languages
-** C: AProVE, T2, Ultimate Buchi Automizer
+** C: AProVE, T2, Ultimate Buchi Automizer, lsi.upc tool
 ** Java: AProVE, Julia
 ** Logic Programming: AProVE

@@ Line 20: / Line 20: @@
 == Participants ==
-registrations, by (meta-)categories. last updated Sat Jun 14 16:30:38 CEST 2014
+registrations, by (meta-)categories. last updated Sun Jun 15 17:37:25 CEST 2014
 (This list to be edited by the competition organizer only. Please send email in case of any errors or omissions.)
 * Termination of Term Rewriting (and Transition Systems)
-** TRS Standard: TTT2, NaTT, AProVE, Wanda
+** TRS Standard: TTT2, NaTT, AProVE, Wanda, muterm
-** SRS Standard: TTT2, NaTT, AProVE
+** SRS Standard: TTT2, NaTT, AProVE, muterm
 ** TRS Relative: TTT2, AProVE
 ** SRS Relative: TTT2, AProVE
@@ Line 33: / Line 33: @@
 ** TRS Relative certified: TTT2, AProVE
 ** SRS Relative certified: TTT2, AProVE
-** TRS Equational: AProVE
+** TRS Equational: AProVE, muterm
-** TRS Conditional: AProVE
+** TRS Conditional: AProVE, muterm
-** TRS Context Sensitive: AProVE
+** TRS Context Sensitive: AProVE, muterm
-** TRS Innermost: AProVE
+** TRS Innermost: AProVE, muterm
 ** TRS Outermost: AProVE
 ** TRS Innermost certified: AProVE