Computation with Bounded Resources
Research Group

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.