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