http://termination-portal.org/mediawiki/index.php?action=history&feed=atom&title=WScT08-Minutes-Competition 2026-05-03T16:07:56Z Revision history for this page on the wiki MediaWiki 1.34.2 http://termination-portal.org/mediawiki/index.php?title=WScT08-Minutes-Competition&diff=513&oldid=prev 2008-06-02T13:38:09Z

<p></p> <table class="diff diff-contentalign-left" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revision as of 13:38, 2 June 2008</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1" >Line 1:</td> <td colspan="2" class="diff-lineno">Line 1:</td></tr> <tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">(These are minutes of the meeting. Please do not edit this page except for correcting obvious mistakes. Make links to separate pages for further discussions.) </ins></div></td></tr> <tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* Unique IDs for problems in database</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* Unique IDs for problems in database</div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>** Idea: short IDs that can be used in papers</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>** Idea: short IDs that can be used in papers</div></td></tr> </table>

J.waldmann http://termination-portal.org/mediawiki/index.php?title=WScT08-Minutes-Competition&diff=503&oldid=prev 2008-06-02T13:32:56Z

<p></p> <table class="diff diff-contentalign-left" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revision as of 13:32, 2 June 2008</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1" >Line 1:</td> <td colspan="2" class="diff-lineno">Line 1:</td></tr> <tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;"></del></div></td><td colspan="2"> </td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* Unique IDs for problems in database</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* Unique IDs for problems in database</div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>** Idea: short IDs that can be used in papers</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>** Idea: short IDs that can be used in papers</div></td></tr> <tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l40" >Line 40:</td> <td colspan="2" class="diff-lineno">Line 39:</td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>** Discussion whether there are separate timeouts on proof-finding and checking,  or one global timeout</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>** Discussion whether there are separate timeouts on proof-finding and checking,  or one global timeout</div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>** Majority was for separate timeouts</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>** Majority was for separate timeouts</div></td></tr> <tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">=== Proposed XML Format for Import/Export to the termination database ===</ins></div></td></tr> <tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">See here: [[TPDB_XML_Format]]</ins></div></td></tr> </table>

J.waldmann http://termination-portal.org/mediawiki/index.php?title=WScT08-Minutes-Competition&diff=500&oldid=prev 2008-06-02T13:31:28Z

<p>New page: * Unique IDs for problems in database ** Idea: short IDs that can be used in papers ** Different suggested formats (nrs are relative, e.g., 2008-1 and 2009-1 possible): *** nameOfAuthor-y...</p> <p><b>New page</b></p><div><br /> * Unique IDs for problems in database<br /> ** Idea: short IDs that can be used in papers<br /> ** Different suggested formats (nrs are relative, e.g., 2008-1 and 2009-1 possible):<br /> *** nameOfAuthor-year-nr (problem of uniqueness)<br /> *** abbreviatedNameOfAuthor-year-nr (problem of uniqueness)<br /> *** login-year-nr <br /> *** year-archiveNr-fileNr<br /> *** year-fileNr<br /> *** nr<br /> ** Question: Who decides format? Would be nice to have decision soon<br /> <br /> * Annotation of termination problems<br /> ** Comments can be added by user<br /> ** Status at time of submission (open in theory, solved on paper, solved, solved certified, ...) <br /> ** Presentation will show above points and computed information (like date of submission, solved by xx tools, ...)<br /> <br /> * Submission of many problems<br /> ** Zip-files which contain xml-file for adding initial comments, etc.<br /> ** Format of xml-file has to be fixed<br /> ** Should be same format for adding and for retrieving examples<br /> ** To discuss: relation to system-part of XTC-format<br /> <br /> * Wishlist for termination competition platform<br /> ** Testing should be frequently possible<br /> ** Extract challenging problems and letting them run with higher time-limit<br /> ** Quotas for experiments? Accessing non-approved examples? Using non-approved tools? Mainly Innsbruck is in charge and makes rules public<br /> ** SQL-variant for selection problems and evaluate results, where several properties can be used within queries<br /> ** Scoring should be flexible<br /> ** Categories as queries (incl. randomSubsetOf(..)) + timeout(s) + scoring<br /> ** New category: XML-proofs given, certifiers compete<br /> ** Possibility to manually attach proofs for problem (difficult to find/human assisted, or large and put it as challenge for certificating category)<br /> ** Open source (Obergurgl 2007 this was stated)<br /> ** https<br /> <br /> <br /> * Discussion whether TRSs should be removed from standard categories which do not satisfy variable condition<br /> <br /> * Timeouts for verified competition<br /> ** Discussion whether there are separate timeouts on proof-finding and checking, or one global timeout<br /> ** Majority was for separate timeouts</div>

J.waldmann