Difference between revisions of "Termination Competition Platform"

From Termination-Portal.org
Jump to navigationJump to search
(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...)
 
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?

Revision as of 14:57, 20 November 2008

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 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?

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?