Difference between revisions of "Termination Competition 2016 Registration"

From Termination-Portal.org
Jump to navigationJump to search
Line 5: Line 5:
 
most recent public test runs  
 
most recent public test runs  
  
* [http://nfa.imn.htwk-leipzig.de/termcomp-devel/competitions/135 Termination of Rewriting] Mon Aug 29 01:01:03 CEST 2016
+
* [http://nfa.imn.htwk-leipzig.de/termcomp-devel/competitions/142 Termination of Rewriting]  
* [http://nfa.imn.htwk-leipzig.de/termcomp-devel/competitions/138 Complexity of Rewriting] 2016-08-29 11:02:56.421724 UTC
+
* [http://nfa.imn.htwk-leipzig.de/termcomp-devel/competitions/143 Complexity of Rewriting]  
* [http://nfa.imn.htwk-leipzig.de/termcomp-devel/competitions/139 Termination of Programs] 2016-08-29 11:45:43.211753 UTC
+
* [http://nfa.imn.htwk-leipzig.de/termcomp-devel/competitions/144 Termination of Programs]  
* [http://nfa.imn.htwk-leipzig.de/termcomp-devel/competitions/137 Complexity of Programs] 2016-08-29 10:52:53.294875 UTC
+
* [http://nfa.imn.htwk-leipzig.de/termcomp-devel/competitions/145 Complexity of Programs]
  
 
== Solvers ==
 
== Solvers ==

Revision as of 16:35, 30 August 2016

general information: Termination_Competition_2016

Test Runs

most recent public test runs

Solvers

For registering your solver, I (J. Waldmann) need the starexec ids of space, solver, and configuration, for each competition category that you want to take part in.

For registration and updates, use the templates linked at the top of the status page (or last year's).

This helps me cut/pasting your data into the actual code.

I need read access to the space that contains your solver. Make that space public, or make me a member of the space.

Benchmarks

(provisional) It is helpful when you put your benchmarks on starexec and announce the space id. Make that space readable for (at least) R. Thiemann and J. Waldmann. The earlier, the better - so I can start running tests.

Benchmarks received:

  • 121 Integer Transition Systems (for complexity analysis) (A. Montoya) 184632
  • 28 cycle-SRS (H. Zantema) 184732
  • 226 one-rule SRS (M. Wenzel) 182728
  • 13 one-rule cycle-SRS (M. Wenzel) 182727
  • complexity of integer transition systems (KOAT syntax) (M. Brockschmidt) 184696
  • complexity of C programs (M. Sinn) 184687