Detailed Results
Here is a summary of the results of the TermComp 2014. The testbed is the same as for the competition, but is additionally cleared of any
duplicates and Oops examples.
Since 2014 the competition is hosted on
StarExec,
detailed results of previous competitions can be found on the
Termination Portal.