Termination Competition 2012 Comments
Appearance
Participants and observers may put their comments here. These could be used when a report on the competition is prepared.
SRS Certified
machbox-cert gets a "failed validation" here. What happened? It prints YES on stdout, but then CPF output raises an exception because a pattern for RIsEmpty is missing here. Obviously the author did not believe that any of the problems could be solved by linear additive weights alone ...