Try to filter out the source TPTP from the list of all TPTP files.