http://termination-portal.org/mediawiki/index.php?title=Termination_Competition_2017_Registration&feed=atom&action=history
Termination Competition 2017 Registration - Revision history
2024-03-28T12:12:54Z
Revision history for this page on the wiki
MediaWiki 1.34.2
http://termination-portal.org/mediawiki/index.php?title=Termination_Competition_2017_Registration&diff=1754&oldid=prev
J.waldmann: /* Solvers */
2017-07-26T22:14:09Z
<p><span dir="auto"><span class="autocomment">Solvers</span></span></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 22:14, 26 July 2017</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l16" >Line 16:</td>
<td colspan="2" class="diff-lineno">Line 16:</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>for each competition category that you want to take part in.</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>for each competition category that you want to take part in.</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;"></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;"></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>For registration and updates, use the templates linked at the top of the [https://termcomp.imn.htwk-leipzig.de/termcomp-<del class="diffchange diffchange-inline">devel</del>/registered/<del class="diffchange diffchange-inline">Y2017 </del>registration <del class="diffchange diffchange-inline">page</del>]<del class="diffchange diffchange-inline">.</del></div></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>For registration and updates, use the templates linked at the top of the [https://termcomp.imn.htwk-leipzig.de<ins class="diffchange diffchange-inline">/registered/Y2017 registration page]. (Cf. also [https:/</ins>/termcomp<ins class="diffchange diffchange-inline">.imn.htwk</ins>-<ins class="diffchange diffchange-inline">leipzig.de</ins>/registered/<ins class="diffchange diffchange-inline">Y2016 last year's </ins>registration]<ins class="diffchange diffchange-inline">)</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;"></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;"></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>This helps me cut/pasting your data into the actual [https://github.com/jwaldmann/star-exec-presenter/blob/master/Presenter/Registration/Form_2017.hs#L90 code].</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>This helps me cut/pasting your data into the actual [https://github.com/jwaldmann/star-exec-presenter/blob/master/Presenter/Registration/Form_2017.hs#L90 code].</div></td></tr>
</table>
J.waldmann
http://termination-portal.org/mediawiki/index.php?title=Termination_Competition_2017_Registration&diff=1753&oldid=prev
J.waldmann: /* Solvers */
2017-07-26T22:04:31Z
<p><span dir="auto"><span class="autocomment">Solvers</span></span></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 22:04, 26 July 2017</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l16" >Line 16:</td>
<td colspan="2" class="diff-lineno">Line 16:</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>for each competition category that you want to take part in.</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>for each competition category that you want to take part in.</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;"></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;"></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>For registration and updates, use the templates linked at the top of the [<del class="diffchange diffchange-inline">http</del>://<del class="diffchange diffchange-inline">nfa</del>.imn.htwk-leipzig.de/termcomp-devel/registered/<del class="diffchange diffchange-inline">Y2016 last year's </del>page].</div></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>For registration and updates, use the templates linked at the top of the [<ins class="diffchange diffchange-inline">https</ins>://<ins class="diffchange diffchange-inline">termcomp</ins>.imn.htwk-leipzig.de/termcomp-devel/registered/<ins class="diffchange diffchange-inline">Y2017 registration </ins>page].</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;"></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;"></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>This helps me cut/pasting your data into the actual [https://github.com/jwaldmann/star-exec-presenter/blob/master/Presenter/Registration/<del class="diffchange diffchange-inline">Form_2016</del>.hs#L90 code].</div></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>This helps me cut/pasting your data into the actual [https://github.com/jwaldmann/star-exec-presenter/blob/master/Presenter/Registration/<ins class="diffchange diffchange-inline">Form_2017</ins>.hs#L90 code].</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> </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> </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>I need read access to the space that contains your solver. Make that space public, or make me a member of the space.</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>I need read access to the space that contains your solver. Make that space public, or make me a member of the space.</div></td></tr>
</table>
J.waldmann
http://termination-portal.org/mediawiki/index.php?title=Termination_Competition_2017_Registration&diff=1744&oldid=prev
Albert: Created page with "general information: Termination_Competition_2017 == Test Runs == not yet availabe <!-- most recent public test run * [http://termcomp.imn.htwk-leipzig.de/competitions..."
2017-07-17T08:52:35Z
<p>Created page with "general information: <a href="/wiki/Termination_Competition_2017" title="Termination Competition 2017">Termination_Competition_2017</a> == Test Runs == not yet availabe <!-- most recent public test run * [http://termcomp.imn.htwk-leipzig.de/competitions..."</p>
<p><b>New page</b></p><div>general information: [[Termination_Competition_2017]]<br />
<br />
== Test Runs ==<br />
<br />
not yet availabe<br />
<br />
<!--<br />
most recent public test run<br />
<br />
* [http://termcomp.imn.htwk-leipzig.de/competitions/164 all-in-one]<br />
--><br />
<br />
== Solvers ==<br />
<br />
For registering your solver, I (J. Waldmann) need the starexec ids of space, solver, and configuration,<br />
for each competition category that you want to take part in.<br />
<br />
For registration and updates, use the templates linked at the top of the [http://nfa.imn.htwk-leipzig.de/termcomp-devel/registered/Y2016 last year's page].<br />
<br />
This helps me cut/pasting your data into the actual [https://github.com/jwaldmann/star-exec-presenter/blob/master/Presenter/Registration/Form_2016.hs#L90 code].<br />
<br />
I need read access to the space that contains your solver. Make that space public, or make me a member of the space.<br />
<br />
== Benchmarks ==<br />
<br />
Not yet available<br />
<br />
<!--<br />
(provisional) It is helpful when you put your benchmarks on starexec and announce the space id. <br />
Make that space readable for (at least) R. Thiemann and J. Waldmann. The earlier, the better - so I can start running tests.<br />
<br />
Benchmarks received:<br />
<br />
* 121 Integer Transition Systems (for complexity analysis) (A. Montoya) 184632<br />
* 28 cycle-SRS (H. Zantema) 184732<br />
* 226 one-rule SRS (M. Wenzel) 182728<br />
* 13 one-rule cycle-SRS (M. Wenzel) 182727<br />
* complexity of integer transition systems (KOAT syntax) (M. Brockschmidt) 184696<br />
* complexity of C programs (M. Sinn) 184687<br />
--></div>
Albert