http://termination-portal.org/mediawiki/index.php?action=history&feed=atom&title=Termination_Competition_2017_Registration 2026-04-23T08:46:51Z 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 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 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 2017-07-17T08:52:35Z

<p>Created page with &quot;general information: <a href="/wiki/Termination_Competition_2017" title="Termination Competition 2017">Termination_Competition_2017</a> == Test Runs == not yet availabe &lt;!-- most recent public test run * [http://termcomp.imn.htwk-leipzig.de/competitions...&quot;</p> <p><b>New page</b></p><div>general information: [[Termination_Competition_2017]]<br /> <br /> == Test Runs ==<br /> <br /> not yet availabe<br /> <br /> &lt;!--<br /> most recent public test run<br /> <br /> * [http://termcomp.imn.htwk-leipzig.de/competitions/164 all-in-one]<br /> --&gt;<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 /> &lt;!--<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 /> --&gt;</div>

Albert