Skip to content

Rename tptpresult

This can be confused with the TPTP project. Rename it to gridtptresult.