Termination Competition 2019 - Revision history

Akihisa Yamada: /* Result */ new url

2020-06-12T09:25:10Z

Result: new url

← Older revision		Revision as of 09:25, 12 June 2020
Line 9:		Line 9:
	== Result ==		== Result ==

	[~~http~~://~~group-mmm~~.~~org/termination/competitions~~/Y2019/ Result]		[https://termcomp.github.io/Y2019/ Result]

	== Dates ==		== Dates ==

Akihisa Yamada: added result link

2019-04-01T05:20:25Z

added result link

← Older revision		Revision as of 05:20, 1 April 2019
Line 6:		Line 6:
	a few weeks/days before the presentation of results,		a few weeks/days before the presentation of results,
	at the discretion of the organizer, Akihisa Yamada.		at the discretion of the organizer, Akihisa Yamada.

			== Result ==

			[http://group-mmm.org/termination/competitions/Y2019/ Result]

	== Dates ==		== Dates ==

Griff: /* Dates */

2019-03-13T12:05:22Z

Dates

← Older revision		Revision as of 12:05, 13 March 2019
Line 9:		Line 9:
	== Dates ==		== Dates ==

	* Tool and Problem Submission: March 15, 2019		* Tool and Problem Submission: <s>March 15, 2019</s> March 16, 2019 (AoE)
	* Communication of Initial Results: March 22, 2019		* Communication of Initial Results: March 22, 2019
	* Finalization of Results: March 31, 2019		* Finalization of Results: March 31, 2019

J.waldmann: /* StarExec Information */

2019-03-05T15:02:13Z

StarExec Information

← Older revision		Revision as of 15:02, 5 March 2019
Line 89:		Line 89:

	* [https://wiki.uiowa.edu/display/stardev/User+Guide user guide]		* [https://wiki.uiowa.edu/display/stardev/User+Guide user guide]
			* (new in 2019) [https://github.com/StarExec/StarExec/issues issue tracker]
	* [https://www.tapatalk.com/groups/starexec/index.php announcements and discussion] ([https://www.tapatalk.com/groups/starexec/app.php/feed combined feed for recent messages])		* [https://www.tapatalk.com/groups/starexec/index.php announcements and discussion] ([https://www.tapatalk.com/groups/starexec/app.php/feed combined feed for recent messages])
	* [http://starexec.forumotion.com/ announcements and discussion] (discontinued, but contains some information that is still valid and not available elsewhere)		* (obsolete) [http://starexec.forumotion.com/ announcements and discussion] (discontinued, but contains some information that is still valid and not available elsewhere)

	== Technical Detail ==		== Technical Detail ==

Akihisa Yamada: fixed penalty from -40 to -10

2019-02-23T14:11:45Z

fixed penalty from -40 to -10

← Older revision		Revision as of 14:11, 23 February 2019
Line 56:		Line 56:
	The tools are expected to give an answer (YES, NO, MAYBE) in the first line on stdout, followed by a proof in ASCII, HTML, or CPF format. Exceptions to these rules are the [http://www.termination-portal.org/wiki/Termination_Competition_Certified_Categories_Competition certified] (see also the [http://cl-informatik.uibk.ac.at/software/cpf/ CPF-website]) and [http://cl-informatik.uibk.ac.at/users/georg/cbr/competition/ complexity] categories. See all existing [http://www.termination-portal.org/wiki/Category:Categories categories] for more details.		The tools are expected to give an answer (YES, NO, MAYBE) in the first line on stdout, followed by a proof in ASCII, HTML, or CPF format. Exceptions to these rules are the [http://www.termination-portal.org/wiki/Termination_Competition_Certified_Categories_Competition certified] (see also the [http://cl-informatik.uibk.ac.at/software/cpf/ CPF-website]) and [http://cl-informatik.uibk.ac.at/users/georg/cbr/competition/ complexity] categories. See all existing [http://www.termination-portal.org/wiki/Category:Categories categories] for more details.

	For those problems where a correct answer is (partially) known, any contradictory answer will be penalized by -40 points.		For those problems where a correct answer is (partially) known, any contradictory answer will be penalized by -10 points.
	However, we will try to accept bugfixes if they are sufficiently in advance to the finalization of results.		However, we will try to accept bugfixes if they are sufficiently in advance to the finalization of results.

Akihisa Yamada: rem'd the

2019-01-31T08:20:01Z

rem'd the

← Older revision		Revision as of 08:20, 31 January 2019
Line 10:		Line 10:

	* Tool and Problem Submission: March 15, 2019		* Tool and Problem Submission: March 15, 2019
	* Communication of ~~the~~ Initial Results: March 22, 2019		* Communication of Initial Results: March 22, 2019
	* Finalization of ~~the~~ Results: March 31, 2019		* Finalization of Results: March 31, 2019
	* Presentation: April 7, 2019		* Presentation: April 7, 2019

Akihisa Yamada: /* Registration */ configuration IDs are wanted

2019-01-30T10:52:42Z

Registration: configuration IDs are wanted

← Older revision		Revision as of 10:52, 30 January 2019
Line 78:		Line 78:

	Then, please email the competition's organizer (A. Yamada)		Then, please email the competition's organizer (A. Yamada)
	indicating which categories you want to participate and the startexec IDs of your account, your tool, and a configuration per category ~~(if decided)~~. Participants of the previous competition can just indicate so if they want to participate to the same categories.		indicating which categories you want to participate and the startexec IDs of your account, your tool, and a configuration per category. Participants of the previous competition can just indicate so if they want to participate to the same categories.

	We recommend to register early. After the deadline, access to [http://www.starexec.org StarExec] might be restricted. We need time to prepare the competition, and other competitions may be running in parallel.		We recommend to register early. After the deadline, access to [http://www.starexec.org StarExec] might be restricted. We need time to prepare the competition, and other competitions may be running in parallel.

Akihisa Yamada: tool registration --> tool submission

2019-01-30T10:50:25Z

tool registration --> tool submission

← Older revision		Revision as of 10:50, 30 January 2019
Line 9:		Line 9:
	== Dates ==		== Dates ==

	* Tool ~~Registration~~ and Problem Submission: March 15, 2019		* Tool and Problem Submission: March 15, 2019
	* Communication of the Initial Results: March 22, 2019		* Communication of the Initial Results: March 22, 2019
	* Finalization of the Results: March 31, 2019		* Finalization of the Results: March 31, 2019

Akihisa Yamada: minor

2019-01-30T05:41:11Z

minor

← Older revision		Revision as of 05:41, 30 January 2019
Line 96:		Line 96:
	The competition will be running on [http://www.starexec.org/ StarExec] - a cross-community solver (tool) execution and benchmark (problem) library service under joint development (since 2012) at the University of Iowa and the University of Miami.		The competition will be running on [http://www.starexec.org/ StarExec] - a cross-community solver (tool) execution and benchmark (problem) library service under joint development (since 2012) at the University of Iowa and the University of Miami.

	Competition data will be presented via [https://github.com/AkihisaYamada/starexec-master starexec-master],		Competition data will be presented via [https://github.com/AkihisaYamada/starexec-master starexec-master]
	a successor of [https://github.com/stefanvonderkrone/star-exec-presenter star-exec-presenter] - developed at HTWK Leipzig.		(a successor of [https://github.com/stefanvonderkrone/star-exec-presenter star-exec-presenter] developed at HTWK Leipzig).

	Technical details about the execution platform (as of 2014) can be found [http://www.termination-portal.org/wiki/Termination_Competition_2014_technical_details here].		Technical details about the execution platform (as of 2014) can be found [http://www.termination-portal.org/wiki/Termination_Competition_2014_technical_details here].

Akihisa Yamada: added details of TermComp 2019

2019-01-30T05:32:25Z

added details of TermComp 2019

Show changes