Termination Competition Platform - Revision history

Binabik at 15:29, 1 April 2009

2009-04-01T15:29:26Z

Hzantema: /* Wishlist: Query Interface */

2008-11-25T11:48:22Z

Wishlist: Query Interface

J.waldmann at 12:04, 21 November 2008

2008-11-21T12:04:55Z

Blanqui: /* Wishlist: Query Interface */

2008-11-21T05:58:22Z

Wishlist: Query Interface

Griff: /* Wishlist: Query Interface */

2008-11-20T16:47:41Z

Wishlist: Query Interface

J.waldmann: /* Wishlist: Query Interface */

2008-11-20T15:19:02Z

Wishlist: Query Interface

Griff: /* Wishlist: Query Interface */

2008-11-20T15:01:50Z

Wishlist: Query Interface

Griff: /* Wishlist: Query Interface */

2008-11-20T14:58:46Z

Wishlist: Query Interface

J.waldmann at 14:57, 20 November 2008

2008-11-20T14:57:09Z

J.waldmann: New page: = Note = There is (will be) a well-defined process of making design decisions w.r.t. the Termination Competition Execution and Presentation Platform (via mailing list, steering committee...

2008-11-20T14:45:15Z

New page: = Note = There is (will be) a well-defined process of making design decisions w.r.t. the Termination Competition Execution and Presentation Platform (via mailing list, steering committee...

New page

= Note =

There is (will be) a well-defined process of making design decisions w.r.t. the Termination Competition Execution and Presentation Platform (via mailing list, steering committee), and then the Host decides on implementation.

For features that have run through this process, the [http://dev.aspsimon.org/bugzilla/buglist.cgi?bug_file_loc=&bug_file_loc_type=allwordssubstr&bug_id=&bug_status=NEW&bug_status=ASSIGNED&bug_status=REOPENED termcomp Bugzilla] is the right place for bug reports.

Below here, we just collect some ideas for later consideration.

= Wishlist: Query Interface =

The idea is to provide a web interface for queries over the results data base(s).
We aim for flexibility, but will start with some simple prototype.
Please list here some typical queries that you would want to execute.

* what problems were solved in srs-standard, but not in srs-standard-certified?
* what are the problems that were solved in (insert category here)-2008 but not in 2007 (yes, we plan to import earlier competition results into the data base)?
* what is the problem/tool in (insert category here) with the longest/shortest proof (file size)/execution time?
*

← Older revision		Revision as of 15:29, 1 April 2009
Line 34:		Line 34:
	* wild cards		* wild cards
	* give results statistics for parts of a category, e.g., only selected subdirectories		* give results statistics for parts of a category, e.g., only selected subdirectories
		+
		+	= Execution Component =
		+	The termination competition platform will be extended by a component allowing users to create custom experiments comparing different tools on a custom selection of termination problems. the document linked below outlines the proposed functionality this component will offer.
		+
		+	http://dev.aspsimon.org/workspace/projectdocs/termexec.pdf

← Older revision		Revision as of 11:48, 25 November 2008
Line 33:		Line 33:
	* boolean combination of properties		* boolean combination of properties
	* wild cards		* wild cards
		+	* give results statistics for parts of a category, e.g., only selected subdirectories

@@ Line 20: / Line 20: @@
 * what is the average size of the (xml|coq) files generated by a given tool?
 * what are the (problems|results) that are (solved|certified) by all the tools in some set of tools?
 what might also be helpful: can you name a web site with some configurable query functionality

@@ Line 20: / Line 20: @@
 that you think is especially well-designed and worth learning from?
-Christian Sternagel: I would also like to be able to query the problem data base and not only the results data base(s). (J.W.: there is a [http://colo5-c703.uibk.ac.at:8080/termcomp/tpdb/tpsearch.seam query interrface for tpdb] already. what features are missing?)
+Christian Sternagel: I would also like to be able to query the problem data base and not only the results data base(s). (J.W.: there is a [http://colo5-c703.uibk.ac.at:8080/termcomp/tpdb/tpsearch.seam query interface for tpdb] already. what features are missing? C.S.: Since it is currently not working, it is merely a placeholder for a query interface.)
-* give me all problems from 2007 that are left linear/overlapping/dummy SRSs/...
+Missing features:

@@ Line 20: / Line 20: @@
 that you think is especially well-designed and worth learning from?
-Christian Sternagel: I would also like to be able to query the problem data base and not only the results data base(s).
+Christian Sternagel: I would also like to be able to query the problem data base and not only the results data base(s). (J.W.: there is a [http://colo5-c703.uibk.ac.at:8080/termcomp/tpdb/tpsearch.seam query interrface for tpdb] already. what features are missing?)
 * give me all problems from 2007 that are left linear/overlapping/dummy SRSs/...

@@ Line 16: / Line 16: @@
 * what are the problems that were solved in (insert category here)-2008 but not in 2007 (yes, we plan to import earlier competition results into the data base)?
 * what is the problem/tool in (insert category here) with the longest/shortest proof (file size)/execution time?
 what might also be helpful: can you name a web site with some configurable query functionality

← Older revision		Revision as of 15:01, 20 November 2008
Line 19:		Line 19:
	what might also be helpful: can you name a web site with some configurable query functionality		what might also be helpful: can you name a web site with some configurable query functionality
	that you think is especially well-designed and worth learning from?		that you think is especially well-designed and worth learning from?
		+
		+	Christian Sternagel: I would also like to be able to query the problem data base and not only the results data base(s).
		+
		+	* give me all problems from 2007 that are left linear/overlapping/dummy SRSs/...

← Older revision		Revision as of 14:57, 20 November 2008
Line 17:		Line 17:
	* what is the problem/tool in (insert category here) with the longest/shortest proof (file size)/execution time?		* what is the problem/tool in (insert category here) with the longest/shortest proof (file size)/execution time?
	*		*
		+
		+	what might also be helpful: can you name a web site with some configurable query functionality
		+	that you think is especially well-designed and worth learning from?