TPTP Problem Domain: PHI

`PHI001^1.p`	`PHI002^1.p`	`PHI002_1.rm`	`PHI002^2.p`	`PHI002^8.p`	`PHI003^1.p`	`PHI003_1.rm`
`PHI003^2.p`	`PHI003^6.p`	`PHI003^7.p`	`PHI003^8.p`	`PHI004^1.p`	`PHI004_1.rm`	`PHI004^2.p`
`PHI004^4.p`	`PHI004^8.p`	`PHI005^1.p`	`PHI005_1.rm`	`PHI005^2.p`	`PHI005^3.p`	`PHI005^4.p`
`PHI005^6.p`	`PHI005^8.p`	`PHI006^4.p`	`PHI006^5.p`	`PHI007^4.p`	`PHI007^5.p`	`PHI008^4.p`
`PHI009+1.p`	`PHI010+1.p`	`PHI011+1.p`	`PHI012+1.p`	`PHI013+1.p`	`PHI014+1.p`	`PHI015+1.p`
`PHI016+1.p`	`PHI017+1.p`	`PHI018+1.p`	`PHI019+1.p`	`PHI020+1.p`	`PHI021+1.p`	`PHI022+1.p`
`PHI023+1.p`	`PHI024+1.p`	`PHI025+1.p`	`PHI026+1.p`	`PHI027+1.p`	`PHI028+1.p`	`PHI029+1.p`
`PHI030+1.p`	`PHI031+1.p`	`PHI032+1.p`	`PHI033+1.p`	`PHI034+1.p`	`PHI035+1.p`	`PHI036+1.p`
`PHI037+1.p`	`PHI038+1.p`	`PHI039+1.p`	`PHI040+1.p`	`PHI041+1.p`	`PHI042+1.p`	`PHI043^1.p`
`PHI043^2.p`	`PHI044_1.p`	`PHI045^6.p`