Termination Competition Platform

From Termination-Portal.org
Jump to navigationJump to search

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?

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 query interrface for tpdb already. what features are missing?)

  • give me all problems from 2007 that are left linear/overlapping/dummy SRSs/...