TPTP Problem Domain: PHI


PHI001^1.p PHI002^1.p PHI002^2.p PHI003^1.p PHI003^2.p PHI004^1.p PHI004^2.p
PHI004^4.p PHI005^1.p PHI005^2.p PHI005^3.p PHI005^4.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