Difference between revisions of "Termination Competition 2016 Data"
From Termination-Portal.org
Jump to navigationJump to searchJ.waldmann (talk | contribs) |
J.waldmann (talk | contribs) |
||
| Line 1: | Line 1: | ||
| − | + | [http://termcomp.imn.htwk-leipzig.de/competitions/172 live data] | |
| − | |||
| − | |||
== Timeline == | == Timeline == | ||
| Line 10: | Line 8: | ||
* around 11:00 start Termination and Complexity Analysis of Rewriting | * around 11:00 start Termination and Complexity Analysis of Rewriting | ||
* around 14:00 results should be available | * around 14:00 results should be available | ||
| + | |||
| + | == Extra Information == | ||
| + | |||
| + | * [http://termcomp.imn.htwk-leipzig.de/registered/Y2016 participants] | ||
| + | * [http://termcomp.imn.htwk-leipzig.de/combine/20/4/172 compare] current results to previous competitions (last column, provides options to merge solvers into "virtual best solver") | ||
Revision as of 22:47, 5 September 2016
Timeline
(all times are Obergurgl local time = CEST)
- around 09:00 start Termination and Complexity Analysis of Programs
- around 11:00 start Termination and Complexity Analysis of Rewriting
- around 14:00 results should be available
Extra Information
- participants
- compare current results to previous competitions (last column, provides options to merge solvers into "virtual best solver")
